diff options
Diffstat (limited to '')
| -rw-r--r-- | flake.nix | 10 | ||||
| -rw-r--r-- | tests/coq/Makefile | 12 | ||||
| -rw-r--r-- | tests/fstar/Makefile | 12 |
3 files changed, 27 insertions, 7 deletions
@@ -84,7 +84,7 @@ export AENEAS_EXE=./aeneas.exe # Run the tests - make tests + make tests -j ''; # Tests don't generate anything new as the generated files are # versionned, but the installation phase still needs to prodocue @@ -96,6 +96,10 @@ name = "aeneas_verify_fstar"; src = ./tests/fstar; FSTAR_EXE = "${hacl-nix.packages.${system}.fstar}/bin/fstar.exe"; + buildPhase= '' + make prepare-projects + make verify -j + ''; # The tests don't generate anything installPhase = "touch $out"; }; @@ -104,6 +108,10 @@ name = "aeneas_verify_coq"; src = ./tests/coq; buildInputs = [ pkgs.coq ]; + buildPhase= '' + make prepare-projects + make verify -j + ''; # The tests don't generate anything installPhase = "touch $out"; }; diff --git a/tests/coq/Makefile b/tests/coq/Makefile index c2b9e379..af4753ee 100644 --- a/tests/coq/Makefile +++ b/tests/coq/Makefile @@ -9,10 +9,13 @@ COPY_MAKEFILES = $(addprefix copy-makefile-,$(ALL_DIRS)) GEN_COQ_PROJECT = $(addprefix gen-coq-project-,$(ALL_DIRS)) .PHONY: all -all: $(COPY_MAKEFILES) $(GEN_COQ_PROJECT) $(VERIFY_DIRS) +all: prepare-projects verify -.PHONY: clean -clean: $(CLEAN_DIRS) +.PHONY: prepare-projects +prepare-projects: $(COPY_MAKEFILES) $(GEN_COQ_PROJECT) + +.PHONY: verify +verify: $(VERIFY_DIRS) .PHONY: verif-% verif-%: @@ -34,6 +37,9 @@ gen-coq-project-%: sed -i -z "s/ \n/\n/g" $*/_CoqProject # Remove whitespaces at the end of lines cat $*/_CoqProject +.PHONY: clean +clean: $(CLEAN_DIRS) + .PHONY: clean-% clean-%: cd $* && make clean diff --git a/tests/fstar/Makefile b/tests/fstar/Makefile index aad3354e..6cf03386 100644 --- a/tests/fstar/Makefile +++ b/tests/fstar/Makefile @@ -7,10 +7,13 @@ CLEAN_DIRS = $(addprefix clean-,$(ALL_DIRS)) COPY_MAKEFILES = $(addprefix copy-makefile-,$(ALL_DIRS)) .PHONY: all -all: $(COPY_MAKEFILES) $(VERIFY_DIRS) +all: prepare-projects verify -.PHONY: clean -clean: $(CLEAN_DIRS) +.PHONY: prepare-projects +prepare-projects: $(COPY_MAKEFILES) + +.PHONY: verify +verify: $(VERIFY_DIRS) .PHONY: verif-% verif-%: @@ -22,6 +25,9 @@ copy-makefile-%: echo "# This file was automatically generated - modify ../Makefile.template instead" >> $*/Makefile cat Makefile.template >> $*/Makefile +.PHONY: clean +clean: $(CLEAN_DIRS) + .PHONY: clean-% clean-%: cd $* && make clean |