Makefile 1.39 KB
Newer Older
1
include Makefile.distrib
2

3 4 5

# We put this rule here to avoid re-building wlexer.ml on
# user installation (wlex may not be available)
6 7 8

#parser/wlexer.ml: parser/wlexer.mll
#	wlex parser/wlexer.mll
9

10 11
# For development

12 13
pull: tools/pull.$(EXTENSION)
	$(LINK) -o $@ $^
14

15 16
PREPRO = $(SYNTAX) pr_o.cmo

17 18 19 20 21 22 23 24 25 26 27 28
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
29
#cp parser/wlexer.mll prepro/parser/
30
	cp Makefile depend prepro/
31
	(cd prepro;  $(MAKE) cduce PROFILE=true SYNTAX_PARSER= NATIVE=false)
32

33
# Site-specific installation
34 35

cedre_build:
36
	rsh cedre ". .env; cd IMPLEM/CDUCE; $(MAKE) webiface webpages"
37
	scp CHANGES web/www/*.html web/cduce.css cduce@iris:public_html/
38
	scp webiface cduce@iris:cgi-bin/cduce
39

40
install_web_distant:
41
	$(MAKE) webpages
42
	scp CHANGES web/www/*.html web/cduce.css cduce@iris:public_html/
43

44
# Packaging
45

46
DISTRIB = $(DIRS) cduce.spec expat tools web depend INSTALL INSTALL.WIN32 CHANGES LICENSE README Makefile.conf doc
47

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

61