]> git.pld-linux.org Git - packages/coq.git/blame - coq-dune-prefix.patch
- this version relies on fpmath=sse, so require sse2 on x86
[packages/coq.git] / coq-dune-prefix.patch
CommitLineData
672cbc20
JB
1--- coq-8.15.0/Makefile.install.orig 2022-01-13 12:55:53.000000000 +0100
2+++ coq-8.15.0/Makefile.install 2022-01-28 18:43:46.051635360 +0100
3@@ -55,12 +55,12 @@ endif
4 # For now, we respect the values given at configure's time.
5 ifdef DUNE_29_PLUS
6 install-dune: $(BCONTEXT)/coq-core.install $(BCONTEXT)/coqide-server.install
7- dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --prefix="$(COQPREFIX)" --etcdir="$(CONFIGDIR)" --docdir="$(DOCDIR)" coq-core
8- dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --prefix="$(COQPREFIX)" --etcdir="$(CONFIGDIR)" --docdir="$(DOCDIR)" coqide-server
9+ dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --etcdir="$(CONFIGDIR)" --docdir="$(DOCDIR)" coq-core
10+ dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --etcdir="$(CONFIGDIR)" --docdir="$(DOCDIR)" coqide-server
11 else
12 install-dune: $(BCONTEXT)/coq-core.install $(BCONTEXT)/coqide-server.install
13- dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --prefix="$(COQPREFIX)" coq-core
14- dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --prefix="$(COQPREFIX)" coqide-server
15+ dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" coq-core
16+ dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" coqide-server
17 endif
18
19 # IMPORTANT NOTE: before Dune 2.9, the --docdir and --etcdir options
20@@ -103,9 +103,9 @@ install-coqide:
21 else
22 ifdef DUNE_29_PLUS
23 install-coqide: $(BCONTEXT)/coqide.install
24- dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --prefix="$(COQPREFIX)" --etcdir="$(CONFIGDIR)" --docdir="$(DOCDIR)" coqide
25+ dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --etcdir="$(CONFIGDIR)" --docdir="$(DOCDIR)" coqide
26 else
27- dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" --prefix="$(COQPREFIX)" coqide
28+ dune install $(_DOPT) $(DESTDIRARG) --mandir="$(MANDIR)" coqide
29 endif
30 endif
31
32--- coq-8.15.0/boot/env.ml.orig 2022-01-13 12:55:53.000000000 +0100
33+++ coq-8.15.0/boot/env.ml 2022-01-29 08:35:32.771267459 +0100
34@@ -48,7 +48,7 @@ let guess_coqlib () =
35 let guess_coqcorelib lib =
36 if Sys.file_exists (Path.relative lib "plugins")
37 then lib
38- else Path.relative lib "../coq-core"
39+ else Path.relative lib "../ocaml/coq-core"
40
41 (* Should we fail on double initialization? That seems a way to avoid
42 mis-use for example when we pass command line arguments *)
This page took 0.075688 seconds and 4 git commands to generate.