diff options
| author | Son Ho | 2022-11-16 14:10:44 +0100 |
|---|---|---|
| committer | Son HO | 2022-11-16 15:45:32 +0100 |
| commit | cc8cd4b9d55e21dd50fac7714203ab8a8f06242b (patch) | |
| tree | d0d6b63c8d3dcc51b6d533987415e1d4bd563723 /Makefile | |
| parent | 8bf0452f91c44ff390556db77bf42697c0443b67 (diff) | |
Add the aeneas-verify-fstar derivation
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -218,5 +218,12 @@ tcoqp-%: # Nix .PHONY: nix -nix: +nix: nix-aeneas-tests nix-aeneas-verify-fstar + +.PHONY: nix-aeneas-tests +nix-aeneas-tests: nix build .#checks.x86_64-linux.aeneas-tests --show-trace -L + +.PHONY: nix-aeneas-verify-fstar +nix-aeneas-verify-fstar: + nix build .#checks.x86_64-linux.aeneas-verify-fstar --show-trace -L |