From 63ccbd914d5d44aa30dee38a6fcc019310ab640b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sat, 23 Dec 2023 01:31:14 +0100
Subject: Update the Makefile

---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3ea8cda3..8d49a200 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3