Code

Fix stp build#200

Code

Merged

misonijnik merged 5 commits intomainUnitTestBot/klee:mainfrom ocelaiwo/stp_build_fixUnitTestBot/klee:ocelaiwo/stp_build_fixCopy head branch name to clipboardOct 23, 2024

+35-2

Commits

Commits on Oct 22, 2024

• STP master branch now uses submodules -- initialise them

  

  ccadar

  authored and

  ocelaiwo

  committed
  bc44171

  Copy full SHA for bc44171

• STP now has ABC as a dependency -- keep libabc build results

  

  ccadar

  authored and

  ocelaiwo

  committed
  11b1fb1

  Copy full SHA for 11b1fb1

• STP now needs libtinfo-dev installed

  

  ccadar

  authored and

  ocelaiwo

  committed
  63cf443

  Copy full SHA for 63cf443

• Add functions for comparing versions to build scripts

  

  ccadar

  authored and

  ocelaiwo

  committed
  277a670

  Copy full SHA for 277a670

• When handling the ABC dependency of STP, compare the version with 2.3.4 instead of master, which will also handle future releases

  

  ccadar

  authored and

  ocelaiwo

  committed
  4edfe7e

  Copy full SHA for 4edfe7e