cgi-bin/viewcvs.cgi/Makefile.in

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 INSTALL.WIN32 CHANGES LICENSE README doc 

PACKAGE = $(NAME)-$(VERSION)
.PHONY: package
package:
        rm -Rf $(PACKAGE)
        mkdir $(PACKAGE)
        cp -R $(DISTRIB) $(PACKAGE)/
        cp Makefile.distrib.in $(PACKAGE)/Makefile.in
        cp configure.distrib.in $(PACKAGE)/configure.in
        (cd $(PACKAGE); \
        autoconf;\
        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	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	(cd prepro; make cduce PROFILE=true SYNTAX_PARSER= NATIVE=false)
23
24	# Site-specific installation
25
26	cedre_build:
27	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface; make web/files"
28	install_web:
29	scp web/www/*.php web/cduce.css cduce@iris:public_html/
30	scp webiface cduce@iris:cgi-bin/cduce
31	ssh cduce@iris "chmod +s cgi-bin/cduce"
32
33	website: web/files
34	scp web/www/*.php web/cduce.css cduce@iris.ens.fr:public_html/
35
36
37	# Packaging
38
39	DISTRIB = $(DIRS) tools web depend INSTALL INSTALL.WIN32 CHANGES LICENSE README doc
40
41	PACKAGE = $(NAME)-$(VERSION)
42	.PHONY: package
43	package:
44	rm -Rf $(PACKAGE)
45	mkdir $(PACKAGE)
46	cp -R $(DISTRIB) $(PACKAGE)/
47	cp Makefile.distrib.in $(PACKAGE)/Makefile.in
48	cp configure.distrib.in $(PACKAGE)/configure.in
49	(cd $(PACKAGE); \
50	autoconf;\
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