When handling the ABC dependency of STP, compare the version with 2.3…

….4 instead of master, which will also handle future releases

scripts/build/p-stp.inc

@@ -1,12 +1,14 @@
 # Build scripts for STP
 # Variables that any artifact of this package might depend on
 setup_build_variables_stp() {
+  source "${DIR}/common-functions"
+
   STP_SUFFIX="${SANITIZER_SUFFIX}"
 
   MINISAT_BUILD_PATH="${BASE}/minisat-build${STP_SUFFIX}"
   MINISAT_INSTALL_PATH="${BASE}/minisat-install${STP_SUFFIX}"
 
-  if [[ "${STP_VERSION}" == "master" ]]; then
+  if version_gt "${STP_VERSION}" "2.3.4"; then
      ABC_INSTALL_PATH="${BASE}/stp-${STP_VERSION}-build${STP_SUFFIX}/lib/extlib-abc/build/"
   fi
 
@@ -18,14 +20,13 @@ setup_build_variables_stp() {
 }
 
 download_stp() {
-  source "${DIR}/common-functions"
   # Download minisat
   git_clone_or_update https://github.com/stp/minisat "${BASE}/minisat" "master"
 
   # Download STP
   git_clone_or_update "${stp_url}" "${BASE}/stp-${STP_VERSION}" "${STP_VERSION}"
 
-  if [[ "${STP_VERSION}" == "master" ]]; then
+  if version_gt "${STP_VERSION}" "2.3.4"; then
      cd "${BASE}/stp-${STP_VERSION}" || return 1
      git submodule init
      git submodule update
@@ -108,7 +109,7 @@ get_build_artifacts_stp() {
     setup_build_variables_stp
     echo "${MINISAT_INSTALL_PATH}"
     echo "${STP_INSTALL_PATH}"
-    if [[ "${STP_VERSION}" == "master" ]]; then
+    if version_gt "${STP_VERSION}" "2.3.4"; then
        echo "${ABC_INSTALL_PATH}"
     fi
   )