| 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 webpages PHP=true"
|
| 30 |
scp web/www/*.php web/cduce.css cduce@iris:public_html/
|
| 31 |
scp webiface cduce@iris:cgi-bin/cduce
|
| 32 |
|
| 33 |
#install_web:
|
| 34 |
# scp web/www/*.php web/cduce.css cduce@iris:public_html/
|
| 35 |
# scp webiface cduce@iris:cgi-bin/cduce
|
| 36 |
# ssh cduce@iris "chmod +s cgi-bin/cduce"
|
| 37 |
#
|
| 38 |
#website: web/files
|
| 39 |
# scp web/www/*.php web/cduce.css cduce@iris.ens.fr:public_html/
|
| 40 |
|
| 41 |
|
| 42 |
# Packaging
|
| 43 |
|
| 44 |
DISTRIB = $(DIRS) expat tools web depend INSTALL INSTALL.WIN32 CHANGES LICENSE README doc
|
| 45 |
|
| 46 |
PACKAGE = cduce-$(VERSION)
|
| 47 |
.PHONY: package
|
| 48 |
package:
|
| 49 |
rm -Rf $(PACKAGE)
|
| 50 |
mkdir $(PACKAGE)
|
| 51 |
cp -R $(DISTRIB) $(PACKAGE)/
|
| 52 |
cp Makefile.distrib $(PACKAGE)/Makefile
|
| 53 |
(cd $(PACKAGE); \
|
| 54 |
rm -f types/IDEAS; \
|
| 55 |
headache -h ../header $(DEPEND))
|
| 56 |
tar czf $(PACKAGE).tar.gz --exclude CVS --exclude ".#*" --exclude IDEAS $(PACKAGE)
|
| 57 |
rm -Rf $(PACKAGE)
|
| 58 |
|
| 59 |
|
Parent Directory
| 
Revision Log