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