blob: 5ac4bf219ad7937c70c93437656353b6f2817015 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
diff --color --unified --recursive --text src.orig/spark2014/Makefile src.new/spark2014/Makefile
--- src.orig/spark2014/Makefile 2022-05-12 14:41:28.440880794 -0600
+++ src.new/spark2014/Makefile 2022-05-12 14:44:29.869703151 -0600
@@ -77,9 +77,9 @@
# install-all install of gnatprove and why3
setup:
- cd why3 && ./configure --prefix=$(INSTALLDIR)/libexec/spark \
+ cd why3 && ./configure --prefix=$(INSTALLDIR)/lib/spark \
--enable-relocation --disable-js-of-ocaml \
- --disable-hypothesis-selection --disable-re
+ --disable-hypothesis-selection --disable-re --disable-emacs-compilation
why3:
$(MAKE) -C why3 -j $(nproc)
@@ -89,7 +89,7 @@
$(MAKE) install
$(MAKE) -C why3 install_spark2014_dev
# Create the fake prover scripts to help extract benchmarks.
- $(CP) benchmark_script/fake_* install/libexec/spark/bin
+ $(CP) benchmark_script/fake_* $(INSTALLDIR)/lib/spark/bin
install:
mkdir -p $(INSTALLDIR)/bin $(CONFIGDIR) $(THEORIESDIR) \
|