cgi-bin/viewcvs.cgi/Makefile

include Makefile.distrib

# For development

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

PREPRO = $(SYNTAX) pr_o.cmo

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