added a getter maps updater

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 428492209c6f4baacd421db3541c560eec715636..67a7fabc8c552a5b3c7600dab01c0d4a4a3ff2e8 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -45,6 +45,9 @@ CCMOS =                               \
 
 all: matita matitac cicbrowser
 
+updater:
+       $(OCAMLC) $(PKGS) -linkpkg -o $@ updater.ml
+
 ifeq ($(HAVE_OCAMLOPT),yes)
 CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
 CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))