]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/thread/Makefile
More errors localized.
[helm.git] / helm / ocaml / thread / Makefile
index dfca8af0c69b2248478ff4c45b9ec551a8dde534..24a96b6e988de3c516e141b85b89d68ff4fbe3e7 100644 (file)
@@ -1,6 +1,5 @@
 
 PACKAGE = thread
-REQUIRES = threads
 INTERFACE_FILES = threadSafe.mli extThread.mli
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 
@@ -23,6 +22,6 @@ thread_fake.cmxa: fake/threadSafe.cmi
 
 clean: clean_fake
 clean_fake:
-       rm -f fake/*.cm[aio] fake/*.cmxa fake/*.[ao]
+       rm -f fake/*.cm[aiox] fake/*.cmxa fake/*.[ao]
        rm -f thread_fake.cma thread_fake.cmxa