| 74 |
for i in $(CLEAN_DIRS); do \ |
for i in $(CLEAN_DIRS); do \ |
| 75 |
(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \ |
(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \ |
| 76 |
done |
done |
|
rm -f parser/wlexer.ml |
|
| 77 |
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ |
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ |
| 78 |
rm -f cduce cduce.opt webiface.opt ocamlprof.dump |
rm -f cduce cduce.opt webiface.opt ocamlprof.dump |
| 79 |
rm -f dtd2cduce pool webiface |
rm -f dtd2cduce pool webiface |
| 100 |
(cd web/examples; ../../cduce.opt -quiet build.cd) |
(cd web/examples; ../../cduce.opt -quiet build.cd) |
| 101 |
|
|
| 102 |
web/files: cduce.opt web/site.cd |
web/files: cduce.opt web/site.cd |
| 103 |
(cd web; ../cduce.opt -quiet site.cd -- site.xml) |
(cd web; ../cduce.opt -quiet site.cd -- -php site.xml) |
| 104 |
|
|
| 105 |
# Packaging |
# Packaging |
| 106 |
|
|
| 141 |
(cd prepro; make cduce OCAMLCP="ocamlcp -p a" SYNTAX_PARSER=) |
(cd prepro; make cduce OCAMLCP="ocamlcp -p a" SYNTAX_PARSER=) |
| 142 |
|
|
| 143 |
# Site-specific installation |
# Site-specific installation |
| 144 |
build_web: |
|
| 145 |
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface.opt" |
cedre_build: |
| 146 |
|
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface.opt; make web/files" |
| 147 |
install_web: |
install_web: |
| 148 |
ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce; chmod +s cgi-bin/cduce" |
scp web/*.php web/cduce.css cduce@iris:public_html/ |
| 149 |
|
scp webiface.opt cduce@iris:cgi-bin/cduce |
| 150 |
|
ssh cduce@iris "chmod +s cgi-bin/cduce" |
| 151 |
|
|
| 152 |
install_web_local: |
install_web_local: |
| 153 |
ssh root@localhost "cp -f ~beppe/IMPLEM/CDUCE/webiface.opt /var/www/cgi-bin/cduce; cp -f ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;" |
ssh root@localhost "cp -f ~beppe/IMPLEM/CDUCE/webiface.opt /var/www/cgi-bin/cduce; cp -f ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;" |
| 154 |
|
|
| 155 |
build_website: |
website: web/files |
|
rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files" |
|
|
scp web/*.php web/cduce.css cduce@iris:public_html/ |
|
|
|
|
|
build_website_local: web/files |
|
| 156 |
scp web/*.php web/cduce.css cduce@iris:public_html/ |
scp web/*.php web/cduce.css cduce@iris:public_html/ |
| 157 |
|
|
| 158 |
# Distribution |
# Distribution |