Support CaDiCaL in performance tests, remove redundant script

NathanJPhillips · May 14, 2018 · f802d87 · f802d87
1 parent 5acf313
commit f802d87
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 131 deletions.
diff --git a/scripts/perf-test/codebuild-glucose.yaml b/scripts/perf-test/codebuild-glucose.yaml
diff --git a/scripts/perf-test/codebuild.yaml b/scripts/perf-test/codebuild.yaml
@@ -74,7 +74,7 @@ Resources:
                                 - echo ${Repository} > COMMIT_INFO
                                 - git rev-parse --short HEAD >> COMMIT_INFO
                                 - git log HEAD^..HEAD >> COMMIT_INFO
-                                - make -C src minisat2-download glucose-download
+                                - make -C src minisat2-download glucose-download cadical-download
                                 - make -C src -j8
                     artifacts:
                         files:
@@ -116,7 +116,7 @@ Resources:
                                 - echo ${Repository} > COMMIT_INFO
                                 - git rev-parse --short HEAD >> COMMIT_INFO
                                 - git log HEAD^..HEAD >> COMMIT_INFO
-                                - make -C src minisat2-download glucose-download
+                                - make -C src minisat2-download glucose-download cadical-download
                                 - make -C src -j8 CXXFLAGS="-O2 -pg -g -finline-limit=4" LINKFLAGS="-pg"
                     artifacts:
                         files: