Matitaweb:

[helm.git] / matitaB / matita / Makefile

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index ba9baef615895852b68703dc9eb79bb82e5fd567..7339eaf418da5b2387a42cf4a5c7d57f302dc4c9 100644 (file)
--- 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"