]> matita.cs.unibo.it Git - helm.git/blob - matita/components/binaries/test_lexer/Makefile
several dialog boxes no longer used removed
[helm.git] / matita / components / binaries / test_lexer / Makefile
1 H=@
2
3 REQUIRES = helm-content_pres
4
5 INTERFACE_FILES = 
6 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) 
7 EXTRA_OBJECTS_TO_INSTALL =
8 EXTRA_OBJECTS_TO_CLEAN = \
9         test_lexer test_lexer.opt
10
11 all: test_lexer
12         $(H)echo -n
13 opt: test_lexer.opt
14         $(H)echo -n
15
16 test_lexer: test_lexer.ml
17         $(H)echo "    OCAMLC $<"
18         $(H)$(OCAMLFIND) ocamlc \
19                 -I ../../tactics/paramodulation/ -rectypes -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
20
21 test_lexer.opt: test_lexer.ml
22         $(H)echo "    OCAMLOPT $<"
23         $(H)$(OCAMLFIND) ocamlopt \
24                 -I ../../tactics/paramodulation/ -thread -package "$(REQUIRES)" -linkpkg -o $@ $<
25
26 clean:
27         $(H)rm -f *.cm[iox] *.a *.o
28         $(H)rm -f test_lexer test_lexer.opt
29
30 depend:
31 depend.opt:
32
33 include ../../../Makefile.defs