fix to get past error regarding LWT and the Mutex module

rems-project · Oct 27, 2021 · 9de9522 · 9de9522
1 parent 8e34e54
commit 9de9522
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_tags b/_tags
@@ -48,7 +48,7 @@
 
 <src_marshal_defs/marshal_defs.{d.byte,byte,native,p.native}> : package(lem), package(base64)
 
-<src_top/main.{d.byte,byte,native,p.native}> : package(unix), package(str), package(lem), package(linksem), package(base64)
+<src_top/main.{d.byte,byte,native,p.native}> : thread, package(unix), package(str), package(lem), package(linksem), package(base64)
 # the Makefile also adds package(lambda-term) when building text (and not headless)
 
 <src_top/webppc.{d.byte,byte}> : package(unix), package(js_of_ocaml), package(lem), package(linksem), package(base64)