tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1From fc15667c867a96887c8c37faf9cc7480f04e6bc5 Mon Sep 17 00:00:00 2001
2From: Thomas Heijligen <src@posteo.de>
3Date: Mon, 2 Jun 2025 14:52:57 +0200
4Subject: [PATCH] fix install
5
6---
7 Makefile | 12 ++++++------
8 1 file changed, 6 insertions(+), 6 deletions(-)
9
10diff --git a/Makefile b/Makefile
11index 03a1da5c31..b70fbec613 100644
12--- a/Makefile
13+++ b/Makefile
14@@ -107,12 +107,12 @@ install:
15 $(CP) share/spark/theories/*why $(THEORIESDIR)
16 $(CP) share/spark/theories/*mlw $(THEORIESDIR)
17 $(CP) share/spark/runtimes/README $(RUNTIMESDIR)
18- @echo "Generate Coq files by preprocessing context files:"
19- $(MAKE) -C include generate
20- $(CP) include/src/*.ad? $(INCLUDEDIR)
21- $(CP) include/*.gpr $(LIBDIR)
22- $(CP) include/*.gpr.templ $(LIBDIR)
23- $(CP) include/proof $(LIBDIR)
24+ #@echo "Generate Coq files by preprocessing context files:"
25+ #$(MAKE) -C include generate
26+ #$(CP) include/src/*.ad? $(INCLUDEDIR)
27+ #$(CP) include/*.gpr $(LIBDIR)
28+ #$(CP) include/*.gpr.templ $(LIBDIR)
29+ #$(CP) include/proof $(LIBDIR)
30
31 doc: $(DOC)
32
33--
342.49.0
35