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) expat 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	include Makefile.distrib
2
3	# For development
4
5	pull: tools/pull.$(EXTENSION)
6	$(LINK) -o $@ $^
7
8	PREPRO = $(SYNTAX) pr_o.cmo
9
10	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	(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; make web/files"
30	install_web:
31	scp web/www/*.php web/cduce.css cduce@iris:public_html/
32	scp webiface cduce@iris:cgi-bin/cduce
33	ssh cduce@iris "chmod +s cgi-bin/cduce"
34
35	website: web/files
36	scp web/www/*.php web/cduce.css cduce@iris.ens.fr:public_html/
37
38
39	# Packaging
40
41	DISTRIB = $(DIRS) expat tools web depend INSTALL INSTALL.WIN32 CHANGES LICENSE README doc
42
43	PACKAGE = cduce-$(VERSION)
44	.PHONY: package
45	package:
46	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	tar czf $(PACKAGE).tar.gz --exclude CVS --exclude ".#*" --exclude IDEAS $(PACKAGE)
54	rm -Rf $(PACKAGE)
55
56