diff options
author | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2019-08-11 22:07:20 +0900 |
---|---|---|
committer | Stéphane Glondu <glondu@debian.org> | 2019-11-08 16:48:46 +0100 |
commit | fdf785a725728f1ea1f0a5890315ad3e3af85ecf (patch) | |
tree | cd320de7e694b9f71ae2b8e5df0351884cf1a444 | |
parent | e2de7dfcedabae35b3945f9b70f6ef7080c4d5f0 (diff) |
ocaml 4.08 does not allow dynamic loading of already present pr_dump.cmo
Origin: https://github.com/coq/coq/pull/10650
Gbp-Pq: Name 0012-ocaml-4.08-does-not-allow-dynamic-loading-of-already.patch
-rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 8d1f3f4f..0bf2d3eb 100644 --- a/Makefile.build +++ b/Makefile.build @@ -262,7 +262,7 @@ endef CAMLP5DEPS:=grammar/grammar.cma CAMLP5USE=pa_extend.cmo q_MLast.cmo pa_macro.cmo -D$(CAMLVERSION) -PR_O := $(if $(READABLE_ML4),pr_o.cmo,pr_dump.cmo) +PR_O := $(if $(READABLE_ML4),pr_o.cmo,) # Main packages linked by Coq. SYSMOD:=-package num,str,unix,dynlink,threads |