1 BIN_DIR = /usr/local/bin
3 helm-mathql_interpreter \
4 helm-mathql_generator \
6 helm-cic_transformations \
7 helm-cic_textual_parser2 \
8 helm-cic_textual_parser \
9 helm-tex_cic_textual_parser \
16 PREDICATES = "gnome,init,glade"
17 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
19 OCAMLDEBUGOPTIONS = -g
20 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS)
21 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
22 OCAMLDEP = $(OCAMLFIND) ocamldep -pp camlp4o
23 OCAMLDEBUG = wowcamldebug
25 LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
26 LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
27 TEST_LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(TEST_REQUIRES))
28 TEST_LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(TEST_REQUIRES))
31 opt: styles gTopLevel.opt
34 $(MAKE) -C ../hbugs/ start
36 $(MAKE) -C ../hbugs/ stop
40 logicalOperations.mli \
42 disambiguatingParser.mli \
46 chosenTransformer.mli \
53 $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
54 gTopLevel.ml regtest.ml testlibrary.ml batchParser.ml batchParser.mli
56 TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) gTopLevel.cmo
59 disambiguatingParser.cmo \
61 REGTESTOBJS = $(TESTOBJS) regtest.cmo
62 TESTLIBOBJS = $(TESTOBJS) testlibrary.cmo
64 $(INTERFACE_FILES:%.mli=%.cmo): $(LIBRARIES)
65 $(INTERFACE_FILES:%.mli=%.cmx): $(LIBRARIES_OPT)
68 @echo "***********************************************************************"
69 @if [ -d stylesheets -a -d meta_stylesheets ] ; then echo -e "* stylesheets and metastylesheets found: *\\n* I will create the request hyperlinks in styles *" ; else echo -e "* stylesheets or meta_stylesheets not found: *\\n* you should check-out the two directories from the MoWGLI repository *" ; exit -1 ; fi
70 @echo "***********************************************************************"
72 (cd styles && for i in ../stylesheets/*.xsl ; do ln -s $$i; done)
73 (cd styles && for i in ../stylesheets/generated/*.xsl ; do ln -s $$i; done)
74 (cd styles && rm rootcontent.xsl && ln -s ../rootcontent.xsl)
77 $(OCAMLDEP) $(DEPOBJS) > .depend
79 gTopLevel: $(TOPLEVELOBJS) $(LIBRARIES)
80 $(OCAMLC) -thread -linkpkg -o $@ $(TOPLEVELOBJS)
81 gTopLevel.opt: $(TOPLEVELOBJS:.cmo=.cmx) $(LIBRARIES_OPT)
82 $(OCAMLOPT) -thread -linkpkg -o $@ $(TOPLEVELOBJS:.cmo=.cmx)
84 testlibrary: $(TESTLIBOBJS) $(TEST_LIBRARIES)
85 $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) -linkpkg \
86 -package "$(TEST_REQUIRES)" -o $@ $(TESTLIBOBJS)
87 testlibrary.opt: $(TESTLIBOBJS:.cmo=.cmx) $(TEST_LIBRARIES_OPT)
88 $(OCAMLFIND) ocamlopt -linkpkg -package "$(TEST_REQUIRES)" -o $@ \
89 $(TESTLIBOBJS:.cmo=.cmx)
91 regtest: $(REGTESTOBJS) $(TEST_LIBRARIES)
92 $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) -linkpkg \
93 -package "$(TEST_REQUIRES)" -o $@ $(REGTESTOBJS)
94 regtest.opt: $(REGTESTOBJS:.cmo=.cmx) $(TEST_LIBRARIES_OPT)
95 $(OCAMLFIND) ocamlopt -linkpkg -package "$(TEST_REQUIRES)" -o $@ \
96 $(REGTESTOBJS:.cmo=.cmx)
98 .SUFFIXES: .ml .mli .cmo .cmi .cmx
106 $(TOPLEVELOBJS): $(LIBRARIES)
107 $(TOPLEVELOBJS:.cmo=.cmx)): $(LIBRARIES_OPT)
110 rm -f *.cm[iox] *.o gTopLevel{,.opt} regtest{,.opt} testlibrary{,.opt}
112 cp gTopLevel gTopLevel.opt $(BIN_DIR)
114 rm -f $(BIN_DIR)/gTopLevel $(BIN_DIR)/gTopLevel.opt
116 .PHONY: install uninstall clean test
118 INTESTS := $(wildcard tests/*.cic)
119 OUTTESTS := $(patsubst %, %.test, $(INTESTS))
123 tests/%.cic.test: tests/%.cic regtest
124 time ./regtest -gen $<
126 ./regtest $(INTESTS) 2> /dev/null
128 ./regtest -dump $(INTESTS) 2> /dev/null
129 librarytest: testlibrary.opt
130 ./testlibrary.opt -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG &
135 $(OCAMLFIND) query -recursive -predicates byte -a-format \
136 helm-cic_unification | \
137 sed 's/\(.*\)/load_printer "\1"/' \
139 echo "install_printer CicMetaSubst.fppsubst" >> .debug_script
140 echo "install_printer CicMetaSubst.fppterm" >> .debug_script
141 echo "install_printer CicMetaSubst.fppmetasenv" >> .debug_script
142 ledit $(OCAMLDEBUG) \
143 -source .debug_script \
144 $(shell $(OCAMLFIND) query -recursive -i-format $(REQUIRES)) \
147 ifneq ($(MAKECMDGOALS), depend)