diff options
Diffstat (limited to 'scripts/build/v-stp.inc')
| -rw-r--r-- | scripts/build/v-stp.inc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/build/v-stp.inc b/scripts/build/v-stp.inc new file mode 100644 index 00000000..9bbc28f1 --- /dev/null +++ b/scripts/build/v-stp.inc @@ -0,0 +1,8 @@ +# Build information for STP solver +required_variables_stp=( + "STP_VERSION" + "MINISAT_VERSION" +) + +# On which artifacts does STP depend on +artifact_dependency_stp=("sanitizer_compiler") \ No newline at end of file |