]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/thread/Makefile
ocaml 3.09 transition
[helm.git] / helm / ocaml / thread / Makefile
1
2 PACKAGE = thread
3 REQUIRES = threads
4 INTERFACE_FILES = threadSafe.mli extThread.mli
5 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
6
7 all: thread_fake.cma
8 opt: thread_fake.cmxa
9
10 include ../Makefile.common
11
12 fake/threadSafe.cmi: fake/threadSafe.mli
13         cd fake/        \
14                 && ocamlfind ocamlc -c threadSafe.mli
15 thread_fake.cma: fake/threadSafe.cmi
16         cd fake/        \
17                 && ocamlfind ocamlc -a -o $@ threadSafe.ml      \
18                 && cp $@ ../
19 thread_fake.cmxa: fake/threadSafe.cmi
20         cd fake/        \
21                 && ocamlfind opt -a -o $@ threadSafe.ml \
22                 && cp $@ ../
23
24 clean: clean_fake
25 clean_fake:
26         rm -f fake/*.cm[aiox] fake/*.cmxa fake/*.[ao]
27         rm -f thread_fake.cma thread_fake.cmxa
28