simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

symlink in makefile

Browse source
This commit is contained in:
Simon Cruanes 2022-08-14 22:35:34 -04:00
parent 541d0c2545
commit 6fca21bd33
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 13 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
Makefile
View file

@ -22,6 +22,7 @@ build-dev:
clean: clean:
@dune clean @dune clean
@rm sidekick || true
test: test:
@dune runtest $(OPTS) --force --no-buffer @dune runtest $(OPTS) --force --no-buffer
@ -32,31 +33,34 @@ DATE=$(shell date +%FT%H:%M)
snapshots: snapshots:
@mkdir -p snapshots @mkdir -p snapshots
$(TESTTOOL)-quick: snapshots sidekick:
@ln -f -s _build/default/src/main/main.exe ./sidekick
$(TESTTOOL)-quick: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/quick-$(DATE).csv --task sidekick-smt-quick --csv snapshots/quick-$(DATE).csv --task sidekick-smt-quick
$(TESTTOOL)-quick-proofs: snapshots $(TESTTOOL)-quick-proofs: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/quick-$(DATE).csv --task sidekick-smt-quick-proofs --proof-dir out-proofs-$(DATE)/ --csv snapshots/quick-$(DATE).csv --task sidekick-smt-quick-proofs --proof-dir out-proofs-$(DATE)/
$(TESTTOOL)-local: snapshots $(TESTTOOL)-local: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/quick-$(DATE).csv --task sidekick-smt-local --csv snapshots/quick-$(DATE).csv --task sidekick-smt-local
$(TESTTOOL)-smt-QF_UF: snapshots $(TESTTOOL)-smt-QF_UF: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_UF-$(DATE).csv --task sidekick-smt-nodir tests/QF_UF --csv snapshots/smt-QF_UF-$(DATE).csv --task sidekick-smt-nodir tests/QF_UF
$(TESTTOOL)-smt-QF_DT: snapshots $(TESTTOOL)-smt-QF_DT: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_DT-$(DATE).csv --task sidekick-smt-nodir tests/QF_DT --csv snapshots/smt-QF_DT-$(DATE).csv --task sidekick-smt-nodir tests/QF_DT
$(TESTTOOL)-smt-QF_LRA: snapshots $(TESTTOOL)-smt-QF_LRA: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_LRA --csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_LRA
$(TESTTOOL)-smt-QF_UFLRA: snapshots $(TESTTOOL)-smt-QF_UFLRA: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_UFLRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_UFLRA --csv snapshots/smt-QF_UFLRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_UFLRA
$(TESTTOOL)-smt-QF_LIA: snapshots $(TESTTOOL)-smt-QF_LIA: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_LIA --csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_LIA
$(TESTTOOL)-smt-QF_UFLIA: snapshots $(TESTTOOL)-smt-QF_UFLIA: sidekick snapshots
$(TESTTOOL) run $(TESTOPTS) \ $(TESTTOOL) run $(TESTOPTS) \
--csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_UFLIA --csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_UFLIA