]> matita.cs.unibo.it Git - helm.git/blob - matitaB/components/ng_library/Makefile
missing notation file
[helm.git] / matitaB / components / ng_library / Makefile
1 PACKAGE = ng_library
2 PREDICATES =
3
4 INTERFACE_FILES = \
5         nCicLibrary.mli
6
7 IMPLEMENTATION_FILES = \
8   $(INTERFACE_FILES:%.mli=%.ml)
9 EXTRA_OBJECTS_TO_INSTALL = 
10 EXTRA_OBJECTS_TO_CLEAN =
11 %.cmo: OCAMLOPTIONS += -w Ae
12 %.cmi: OCAMLOPTIONS += -w Ae
13 %.cmx: OCAMLOPTIONS += -w Ae
14
15 all:
16 %: %.ml $(PACKAGE).cma
17         $(OCAMLC) -package helm-$(PACKAGE) -linkpkg -o $@ $<
18 all.opt opt:
19 %.opt: %.ml $(PACKAGE).cmxa
20         $(OCAMLOPT) -package helm-$(PACKAGE) -linkpkg -o $@ $<
21
22 include ../../Makefile.defs
23 include ../Makefile.common
24