X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FMakefile;h=461eb0fb2378b8c1aebe111de205109b89f4de2b;hb=647b419e96770d90a82d7a9e5e8843566a9f93ee;hp=ba9baef615895852b68703dc9eb79bb82e5fd567;hpb=0c547d79d0edc850787ac27edc25565aa271ec2a;p=helm.git

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index ba9baef61..461eb0fb2 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -52,7 +52,6 @@ MLI = \
 	predefined_virtuals.mli \
 	matitaMathView.mli 	\
 	matitaScript.mli	\
-	matitaGui.mli		\
 	$(NULL)
 CMLI =				\
 	matitaTypes.mli		\
@@ -96,7 +95,6 @@ ALL_NORMAL_ML =	                        \
                 cicMathView.ml          \
                 matitadaemon.ml         \
                 matitaGtkMisc.ml        \
-                matita.ml               \
                 virtuals.ml             \
                 lablGraphviz.ml         \
                 matitaEngine.ml         \
@@ -131,7 +129,7 @@ ALL_SYNTAX_ML = matitaScriptLexer.ml
 ALL_SYNTAX_MLI = matitaScriptLexer.mli
 
 PROGRAMS_BYTE = \
-	matita matitac matitadaemon matitaclean
+	matitac matitadaemon matitaclean
 PROGRAMS = $(PROGRAMS_BYTE) 
 PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
 NOINST_PROGRAMS =
@@ -200,8 +198,6 @@ links:
 	$(H)ln -sf matitac.opt matitac
 
 linkonly:
-	$(H)echo "  OCAMLC matita.ml"
-	$(H)$(OCAMLC) $(PKGS) -linkpkg -o matita $(CMOS) $(OCAML_DEBUG_FLAGS) matita.ml
 	$(H)echo "  OCAMLC matitac.ml"
 	$(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) $(OCAML_DEBUG_FLAGS) matitac.ml
 	$(H)echo "  OCAMLC matitadaemon.ml"
@@ -229,6 +225,10 @@ matitadaemon.opt: matitadaemon.ml $(WLIBX_DEPS) $(WCMXS) $(MAINCMXS)
 	$(H)echo "  OCAMLOPT $<"
 	$(H)$(OCAMLOPT) $(WPKGS) -linkpkg -o $@ $(WCMXS) $(MAINCMXS) matitadaemon.ml
 
+webdb_convert: webdb_convert.ml $(WLIB_DEPS) $(WCMOS) $(MAINCMOS)
+	$(H)echo "  OCAMLC $<"
+	$(H)$(OCAMLC) $(WPKGS) -linkpkg -o $@ $(WCMOS) $(MAINCMOS) webdb_convert.ml
+
 rottener: rottener.ml $(CLIB_DEPS) $(CCMOS) $(MAINCMOS)
 	$(H)echo "  OCAMLC $<"
 	$(H)$(OCAMLC) $(CPKGS) -package lablgtk2 -linkpkg -o $@ $(CCMOS) $(MAINCMOS) rottener.ml