From cc8cd4b9d55e21dd50fac7714203ab8a8f06242b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 16 Nov 2022 14:10:44 +0100
Subject: Add the aeneas-verify-fstar derivation

---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1a06152a..3de839fe 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3