]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/METAS/meta.helm-thread.src
ocaml 3.09 transition
[helm.git] / helm / ocaml / METAS / meta.helm-thread.src
index 43228b1bb5000ced36aa2705d15f511c9ad18a28..5253060d2202796a7a00843df883d605278806c2 100644 (file)
@@ -1,5 +1,7 @@
-requires="threads"
+requires=""
 version="0.0.1"
-archive(byte)="thread.cma"
-archive(native)="thread.cmxa"
+archive(byte,mt)="thread.cma"
+archive(native,mt)="thread.cmxa"
+archive(byte)="thread_fake.cma"
+archive(native)="thread_fake.cmxa"
 linkopts=""