diff options
| author | Son Ho | 2023-12-23 01:31:14 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-23 01:31:14 +0100 |
| commit | 63ccbd914d5d44aa30dee38a6fcc019310ab640b (patch) | |
| tree | 6cce7d76969870f5bc18c5a7cd585e8873a1c0dc /Makefile | |
| parent | 802e3e4a9c306d4de421535a9a013e6d31f9c981 (diff) | |
Update the Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -330,7 +330,8 @@ thol4p-%: # Nix - TODO: add the lean tests .PHONY: nix -nix: nix-aeneas-tests nix-aeneas-verify-fstar nix-aeneas-verify-coq nix-aeneas-verify-hol4 +nix: + nix build && nix flake check .PHONY: nix-aeneas-tests nix-aeneas-tests: @@ -340,6 +341,10 @@ nix-aeneas-tests: nix-aeneas-verify-fstar: nix build .#checks.x86_64-linux.aeneas-verify-fstar --show-trace -L +.PHONY: nix-aeneas-verify-fstar-split +nix-aeneas-verify-fstar-split: + nix build .#checks.x86_64-linux.aeneas-verify-fstar-split --show-trace -L + .PHONY: nix-aeneas-verify-coq nix-aeneas-verify-coq: nix build .#checks.x86_64-linux.aeneas-verify-coq --show-trace -L |