coq-dune-prefix.patch

   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 *)