From 9f806e52580c806b1dc3e963c0dfdd1dbfed7263 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 9 May 2023 18:31:33 +0200
Subject: Start adding Lean to the Nix flake

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 26daadac..a05ba185 100644
--- a/Makefile
+++ b/Makefile
@@ -262,7 +262,7 @@ tleanp-%:
 
 # Nix
 .PHONY: nix
-nix: nix-aeneas-tests nix-aeneas-verify-fstar nix-aeneas-verify-coq
+nix: nix-aeneas-tests nix-aeneas-verify-fstar nix-aeneas-verify-coq nix-aeneas-verify-lean
 
 .PHONY: nix-aeneas-tests
 nix-aeneas-tests:
@@ -275,3 +275,7 @@ nix-aeneas-verify-fstar:
 .PHONY: nix-aeneas-verify-coq
 nix-aeneas-verify-coq:
 	nix build .#checks.x86_64-linux.aeneas-verify-coq --show-trace -L
+
+.PHONY: nix-aeneas-verify-lean
+nix-aeneas-verify-lean:
+	nix build .#checks.x86_64-linux.aeneas-verify-lean --show-trace -L
-- 
cgit v1.2.3