]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/thread/Makefile
- transcript: patched to generate CoRN_notation.ma instead of CoRN.ma
[helm.git] / helm / software / components / 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.defs
10 include ../Makefile.common
11
12 fake/threadSafe.cmi: fake/threadSafe.mli
13         @echo "  OCAMLC $<"
14         @cd fake/       \
15                 && ocamlfind ocamlc -c threadSafe.mli
16 thread_fake.cma: fake/threadSafe.cmi
17         @echo "  OCAMLC -a $@"
18         @cd fake/       \
19                 && ocamlfind ocamlc -a -o $@ threadSafe.ml      \
20                 && cp $@ ../
21 thread_fake.cmxa: fake/threadSafe.cmi
22         @echo "  OCAMLOPT -a $@"
23         @cd fake/       \
24                 && ocamlfind opt -a -o $@ threadSafe.ml \
25                 && cp $@ ../
26
27 clean: clean_fake
28 clean_fake:
29         rm -f fake/*.cm[aiox] fake/*.cmxa fake/*.[ao]
30         rm -f thread_fake.cma thread_fake.cmxa
31