]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/thread/Makefile
1. Several files in grafite that should be in grafite_parser moved there.
[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         cd fake/        \
13                 && ocamlfind ocamlc -c threadSafe.mli
14 thread_fake.cma: fake/threadSafe.cmi
15         cd fake/        \
16                 && ocamlfind ocamlc -a -o $@ threadSafe.ml      \
17                 && cp $@ ../
18 thread_fake.cmxa: fake/threadSafe.cmi
19         cd fake/        \
20                 && ocamlfind opt -a -o $@ threadSafe.ml \
21                 && cp $@ ../
22
23 clean: clean_fake
24 clean_fake:
25         rm -f fake/*.cm[aiox] fake/*.cmxa fake/*.[ao]
26         rm -f thread_fake.cma thread_fake.cmxa
27