diff options
| author | Andres Erbsen | 2020-06-28 22:25:58 -0400 |
|---|---|---|
| committer | Andres Erbsen | 2020-06-28 22:26:23 -0400 |
| commit | bdf8d342f93191233995b07167661770607e1e54 (patch) | |
| tree | 1f9d0c2d2853162123f3fae2dd2ccef5009e5851 | |
| parent | 6e5fee168d874b7b6fe7d5c8f4384661bf328d79 (diff) | |
Update CAMLDONTLINK in CoqMakefile.in
I used SYSMOD from Makefile.build as the ground truth.
| -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 |