]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/cic_disambiguation/Makefile
...
[helm.git] / helm / software / components / cic_disambiguation / Makefile
1 PACKAGE = cic_disambiguation
2 NOTATIONS = number
3 INTERFACE_FILES =               \
4         cicDisambiguate.mli     \
5         disambiguateChoices.mli
6 IMPLEMENTATION_FILES = \
7         $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
8         $(patsubst %,%_notation.ml,$(NOTATIONS))
9
10 all:
11
12 clean:
13 distclean:
14         rm -f macro_table.dump
15
16 include ../../Makefile.defs
17 include ../Makefile.common
18
19 OCAMLARCHIVEOPTIONS += -linkall
20