From 2217c67eccc96fad6c84cc615e41b60405619ac3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 27 Jul 2005 08:31:03 +0000 Subject: [PATCH] cosmetic changes --- helm/matita/Makefile.in | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in index 3d59960c0..2658d48ba 100644 --- a/helm/matita/Makefile.in +++ b/helm/matita/Makefile.in @@ -21,6 +21,7 @@ OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS) OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS) # objects for matita (GTK GUI) +NULL = CMOS = \ buildTimeConf.cmo \ matitaLog.cmo \ @@ -29,16 +30,17 @@ CMOS = \ matitaMisc.cmo \ matitaDb.cmo \ matitaSync.cmo \ - matitacleanLib.cmo \ + matitacleanLib.cmo \ matitaDisambiguator.cmo \ matitaEngine.cmo \ - matitacLib.cmo \ - matitamakeLib.cmo \ + matitacLib.cmo \ + matitamakeLib.cmo \ matitaScript.cmo \ matitaGeneratedGui.cmo \ matitaGtkMisc.cmo \ matitaGui.cmo \ - matitaMathView.cmo + matitaMathView.cmo \ + $(NULL) # objects for matitac (batch compiler) CCMOS = \ buildTimeConf.cmo \ @@ -51,11 +53,11 @@ CCMOS = \ matitaDisambiguator.cmo \ matitacleanLib.cmo \ matitaEngine.cmo \ - matitacLib.cmo + matitacLib.cmo \ + $(NULL) CLEANCMOS = $(CCMOS) MAKECMOS = $(CCMOS) matitamakeLib.cmo - all: matita.conf.xml matita matitac matitatop cicbrowser matitadep matitaclean matitamake matita.conf.xml: matita.conf.xml.sample @@ -195,3 +197,4 @@ endif ifeq ($(MAKECMDGOALS),opt) $(CMOS:%.cmo=%.cmi): $(LIBX_DEPS) endif + -- 2.39.2