]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/Makefile.common
update in basic_2 and apps_2
[helm.git] / helm / www / lambdadelta / bin / xhtbl / Makefile.common
diff --git a/helm/www/lambdadelta/bin/xhtbl/Makefile.common b/helm/www/lambdadelta/bin/xhtbl/Makefile.common
deleted file mode 100644 (file)
index bf94497..0000000
+++ /dev/null
@@ -1,27 +0,0 @@
-H=@
-
-include ../../etc/Makefile.defs
-
-DIST=$(EXEC)---$(VERSION)
-DATE=$(shell date +%y%m%d)
-
-OCAMLOPTIONS = -linkpkg -thread -rectypes -package \"$(REQUIRES)\" 
-OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS) 
-OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS)
-
-all: $(EXEC).native
-
-$(EXEC).native: $(wildcard *.ml) $(wildcard *.mli) $(wildcard *.mly) $(wildcard *.mll)
-       @echo "  OCAMLBUILD $(EXEC).native" 
-       $(H)ocamlbuild -ocamlc "$(OCAMLC)" -ocamlopt "$(OCAMLOPT)" -yaccflags "$(YACCFLAGS)" $(EXEC).native 
-
-clean:
-       ocamlbuild -clean
-       rm -rf $(DIST) $(DIST).tgz
-
-dist:
-       mkdir -p $(DIST)/Sources
-       cp ReadMe $(DIST)
-       cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
-       cd $(DIST); ln -s Sources/$(EXEC).native $(EXEC)
-       tar -cvzf $(DIST).tgz $(DIST)