pyrox.dev
1From 7458110cc50d91cb7833b2abd232faca52865566 Mon Sep 17 00:00:00 2001
2From: Thomas Heijligen <src@posteo.de>
3Date: Tue, 21 May 2024 22:02:09 +0000
4Subject: [PATCH] fix install
5
6---
7 Makefile | 10 +++++-----
8 1 file changed, 5 insertions(+), 5 deletions(-)
9
10diff --git a/Makefile b/Makefile
11index 4950b2d5cc..9d9358ad08 100644
12--- a/Makefile
13+++ b/Makefile
14@@ -106,11 +106,11 @@ 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/proof $(LIBDIR)
23+ #@echo "Generate Coq files by preprocessing context files:"
24+ #$(MAKE) -C include generate
25+ #$(CP) include/src/*.ad? $(INCLUDEDIR)
26+ #$(CP) include/*.gpr $(LIBDIR)
27+ #$(CP) include/proof $(LIBDIR)
28
29 doc: $(DOC)
30
31--
322.44.0
33