Commit 2ffa30b7 authored by Pietro Abate's avatar Pietro Abate

Update "make package" to work with git

parent 1e43dedd
......@@ -44,17 +44,8 @@ DISTRIB_DOC = doc.xml memento.xml tutorial.xml manual.xml tutorial manual \
PACKAGE = cduce-$(VERSION)
.PHONY: package
package: clean
rm -Rf $(PACKAGE)
mkdir $(PACKAGE)
cp -R $(DISTRIB) $(PACKAGE)/
cp Makefile.distrib $(PACKAGE)/Makefile
mkdir $(PACKAGE)/tools
cp tools/dtd2cduce.ml $(PACKAGE)/tools/
(cd $(PACKAGE); \
rm -f types/IDEAS; \
for F in $(DEPEND); do headache -h ../header $$F; done)
tar czf $(PACKAGE).tar.gz --exclude .svn --exclude ".#*" $(PACKAGE)
rm -Rf $(PACKAGE)
rm -Rf $(PACKAGE).tar.gz
git archive --prefix=$(PACKAGE)/ -o $(PACKAGE).tar.gz HEAD
OCAML_STDLIBDIR := $(shell ocamlc -where)
.PHONY: .ocamlinit
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment