Makefile 1.32 KB
Newer Older
1
include Makefile.distrib
2

3 4
# For development

5 6
pull: tools/pull.$(EXTENSION)
	$(LINK) -o $@ $^
7

8 9
PREPRO = $(SYNTAX) pr_o.cmo

10 11 12 13 14 15 16 17 18 19 20 21 22 23
profile:
	rm -Rf prepro
	mkdir prepro
	for i in $(DIRS); do \
	mkdir prepro/$$i; \
	for j in $$i/*.ml $$i/*.mli; do \
	if [ -f "$$j" ]; then \
	 echo $$j; \
	 $(PREPRO) $$j -o prepro/$$j; \
	fi; \
	done; \
	done
	cp parser/wlexer.mll prepro/parser/
	cp Makefile depend prepro/
24
	(cd prepro;  make cduce PROFILE=true SYNTAX_PARSER= NATIVE=false)
25

26
# Site-specific installation
27 28

cedre_build:
29
	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface webpages PHP=true"
30
	scp web/www/*.php web/cduce.css cduce@iris:public_html/
31
	scp webiface cduce@iris:cgi-bin/cduce
32

33 34 35 36
install_web_distant:
	make webpages PHP=true
	scp web/www/*.php web/cduce.css cduce@iris:public_html/
	scp webiface cduce@iris:cgi-bin/cduce
37 38 39
#
#website: web/files
#	scp web/www/*.php web/cduce.css cduce@iris.ens.fr:public_html/
40

41

42
# Packaging
43

44
DISTRIB = $(DIRS) expat tools web depend INSTALL INSTALL.WIN32 CHANGES LICENSE README doc
45

46
PACKAGE = cduce-$(VERSION)
47 48
.PHONY: package
package:
49 50 51 52 53 54 55
	rm -Rf $(PACKAGE)
	mkdir $(PACKAGE)
	cp -R $(DISTRIB) $(PACKAGE)/
	cp Makefile.distrib $(PACKAGE)/Makefile
	(cd $(PACKAGE); \
	rm -f types/IDEAS; \
	headache -h ../header $(DEPEND))
56
	tar czf $(PACKAGE).tar.gz --exclude CVS --exclude ".#*" --exclude IDEAS $(PACKAGE)
57 58
	rm -Rf $(PACKAGE)

59