X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;fp=helm%2FgTopLevel%2FMakefile;h=54a2f1d1660d48d405f75bba3064a32fde5c2427;hb=f71c28c100c2e7d2f5a279c79be893f74264897e;hp=ec10354a78bb2217da342dc32cd8d5b2245f5769;hpb=e563cf1b47357253b2304eb19b7374afed1df8b5;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index ec10354a7..54a2f1d16 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -1,8 +1,8 @@
 BIN_DIR = /usr/local/bin
 REQUIRES = lablgtkmathview helm-cic_textual_parser helm-tex_cic_textual_parser \
            gdome2-xslt helm-mathql_interpreter helm-mathql_generator \
-	   		   helm-tactics hbugs-client mathml-editor helm-cic_transformations \
-           helm-cic_textual_parser2
+	   helm-tactics hbugs-client mathml-editor helm-cic_transformations \
+           helm-cic_textual_parser2 helm-cic_cache
 PREDICATES = "gnome,init,glade"
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLFIND = ocamlfind
@@ -29,11 +29,13 @@ INTERFACE_FILES = \
 
 DEPOBJS = \
 	$(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
-	gTopLevel.ml regtest.ml batchParser.ml batchParser.mli
+	gTopLevel.ml regtest.ml testlibrary.ml batchParser.ml batchParser.mli
 
 TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) gTopLevel.cmo
 REGTESTOBJS = \
 	$(INTERFACE_FILES:%.mli=%.cmo) batchParser.cmo regtest.cmo
+TESTLIBOBJS = \
+	$(INTERFACE_FILES:%.mli=%.cmo) testlibrary.cmo
 
 $(INTERFACE_FILES:%.mli=%.cmo): $(LIBRARIES)
 $(INTERFACE_FILES:%.mli=%.cmx): $(LIBRARIES_OPT)
@@ -55,6 +57,8 @@ gTopLevel: $(TOPLEVELOBJS) $(LIBRARIES)
 gTopLevel.opt: $(TOPLEVELOBJS:.cmo=.cmx) $(LIBRARIES_OPT)
 	$(OCAMLOPT) -linkpkg -o $@ $(TOPLEVELOBJS:.cmo=.cmx)
 
+testlibrary: $(TESTLIBOBJS) $(LIBRARIES)
+	$(OCAMLC) -linkpkg -o $@ $(TESTLIBOBJS)
 regtest: $(REGTESTOBJS) $(LIBRARIES)
 	$(OCAMLC) -linkpkg -o $@ $(REGTESTOBJS)
 regtest.opt: $(REGTESTOBJS:.cmo=.cmx) $(LIBRARIES)