diff options
| author | Enrico Tassi | 2020-06-29 14:25:37 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-06-29 14:25:37 +0200 |
| commit | a039e78c821ba6a0da5d3364b98491707eab8add (patch) | |
| tree | 278c0227728db4426f7619009e21ae9ee7f2b579 | |
| parent | 61aeca9ca2a7c46b143b90583dfb84b037eccc5b (diff) | |
| parent | bdf8d342f93191233995b07167661770607e1e54 (diff) | |
Merge PR #12604: Update CAMLDONTLINK in CoqMakefile.in
Reviewed-by: gares
| -rw-r--r-- | tools/CoqMakefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in index 1436da30fa..9097195721 100644 --- a/tools/CoqMakefile.in +++ b/tools/CoqMakefile.in @@ -104,7 +104,7 @@ BEFORE ?= AFTER ?= # FIXME this should be generated by Coq (modules already linked by Coq) -CAMLDONTLINK=unix,str +CAMLDONTLINK=num,str,unix,dynlink,threads # OCaml binaries CAMLC ?= "$(OCAMLFIND)" ocamlc -c |