cgi-bin/viewcvs.cgi/Makefile

include Makefile.distrib

# For development

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

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/
        (cd prepro;  make cduce PROFILE=true SYNTAX_PARSER= NATIVE=false)

# Site-specific installation

cedre_build:
        rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface; make web/files"
install_web:
        scp web/www/*.php web/cduce.css cduce@iris:public_html/
        scp webiface cduce@iris:cgi-bin/cduce
        ssh cduce@iris "chmod +s cgi-bin/cduce"

website: web/files
        scp web/www/*.php web/cduce.css cduce@iris.ens.fr:public_html/


# Packaging

DISTRIB = $(DIRS) tools web depend INSTALL CHANGES LICENSE README doc

PACKAGE = cduce-$(VERSION)
.PHONY: package
package:
        rm -Rf $(PACKAGE)
        mkdir $(PACKAGE)
        cp -R $(DISTRIB) $(PACKAGE)/
        cp Makefile.distrib $(PACKAGE)/Makefile
        (cd $(PACKAGE); \
        rm -f types/IDEAS; \
        headache -h ../header $(DEPEND))
        tar czf $(PACKAGE).tar.gz --exclude CVS --exclude IDEAS $(PACKAGE)
        rm -Rf $(PACKAGE)


1	abate	435	include Makefile.distrib
2	abate	22
3	abate	368	# For development
4
5	abate	402	pull: tools/pull.$(EXTENSION)
6			$(LINK) -o $@ $^
7	abate	368
8			profile:
9			rm -Rf prepro
10			mkdir prepro
11			for i in $(DIRS); do \
12			mkdir prepro/$$i; \
13			for j in $$i/.ml $$i/.mli; do \
14			if [ -f "$$j" ]; then \
15			echo $$j; \
16			$(PREPRO) $$j -o prepro/$$j; \
17			fi; \
18			done; \
19			done
20			cp parser/wlexer.mll prepro/parser/
21			cp Makefile depend prepro/
22	abate	402	(cd prepro; make cduce PROFILE=true SYNTAX_PARSER= NATIVE=false)
23	abate	368
24	abate	105	# Site-specific installation
25	abate	369
26			cedre_build:
27	abate	402	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface; make web/files"
28	abate	105	install_web:
29	abate	381	scp web/www/*.php web/cduce.css cduce@iris:public_html/
30	abate	402	scp webiface cduce@iris:cgi-bin/cduce
31	abate	369	ssh cduce@iris "chmod +s cgi-bin/cduce"
32
33			website: web/files
34	abate	433	scp web/www/*.php web/cduce.css cduce@iris.ens.fr:public_html/
35	abate	286
36	abate	370
37	abate	435	# Packaging
38	abate	368
39	abate	435	DISTRIB = $(DIRS) tools web depend INSTALL CHANGES LICENSE README doc
40	abate	402
41	abate	435	PACKAGE = cduce-$(VERSION)
42	abate	368	.PHONY: package
43			package:
44	abate	435	rm -Rf $(PACKAGE)
45			mkdir $(PACKAGE)
46			cp -R $(DISTRIB) $(PACKAGE)/
47			cp Makefile.distrib $(PACKAGE)/Makefile
48			(cd $(PACKAGE); \
49			rm -f types/IDEAS; \
50			headache -h ../header $(DEPEND))
51			tar czf $(PACKAGE).tar.gz --exclude CVS --exclude IDEAS $(PACKAGE)
52			rm -Rf $(PACKAGE)
53	abate	370
54	abate	435