From bdf8d342f93191233995b07167661770607e1e54 Mon Sep 17 00:00:00 2001
From: Andres Erbsen
Date: Sun, 28 Jun 2020 22:25:58 -0400
Subject: Update CAMLDONTLINK in CoqMakefile.in

I used SYSMOD from Makefile.build as the ground truth.
---
 tools/CoqMakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

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
-- 
cgit v1.2.3