File tree Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Original file line number Diff line number Diff line change @@ -80,11 +80,13 @@ REG_TESTS_OK := $(wildcard $(REG_TESTS_DIR)/ok/*)
8080REG_TESTS_DIFF := $(REG_TESTS_OK:$(REG_TESTS_DIR ) /ok/%=$(REG_TESTS_DIR ) /output/%.diff )
8181
8282thirdparty/cryptominisat/build/cryptominisat4_simple :
83- test -d thirdparty/cryptominisat/build || mkdir thirdparty/cryptominisat/build
84- cd thirdparty/cryptominisat/build && cmake .. && make -j4
83+ cd thirdparty
84+ test -d cryptominisat || git clone https://github.com/msoos/cryptominisat.git
85+ test -d cryptominisat/build || mkdir -p cryptominisat/build
86+ cd cryptominisat/build && cmake .. && make -j4
8587
8688tests : test
87- test : dist $(REG_TESTS_OK ) thirdparty/cryptominisat/build/cryptominisat4_simple
89+ test : dist $(REG_TESTS_OK )
8890 tests/bin/run-tests.sh
8991
9092
You can’t perform that action at this time.
0 commit comments