| 79 |
rm -f cduce cduce.opt webiface.opt ocamlprof.dump |
rm -f cduce cduce.opt webiface.opt ocamlprof.dump |
| 80 |
rm -f dtd2cduce pool webiface |
rm -f dtd2cduce pool webiface |
| 81 |
rm -Rf prepro package |
rm -Rf prepro package |
| 82 |
rm -f web/*.php web/*.html web/*~ |
rm -f web/www/*.php web/www/*.html web/*~ |
| 83 |
|
|
| 84 |
|
|
| 85 |
.SUFFIXES: .ml .mli .cmo .cmi .cmx |
.SUFFIXES: .ml .mli .cmo .cmi .cmx |
| 146 |
cedre_build: |
cedre_build: |
| 147 |
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface.opt; make web/files" |
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface.opt; make web/files" |
| 148 |
install_web: |
install_web: |
| 149 |
scp web/*.php web/cduce.css cduce@iris:public_html/ |
scp web/www/*.php web/cduce.css cduce@iris:public_html/ |
| 150 |
scp webiface.opt cduce@iris:cgi-bin/cduce |
scp webiface.opt cduce@iris:cgi-bin/cduce |
| 151 |
ssh cduce@iris "chmod +s cgi-bin/cduce" |
ssh cduce@iris "chmod +s cgi-bin/cduce" |
| 152 |
|
|
| 153 |
install_web_local: |
install_web_local: |
| 154 |
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/www/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;" |
| 155 |
|
|
| 156 |
website: web/files |
website: web/files |
| 157 |
scp web/*.php web/cduce.css cduce@iris:public_html/ |
scp web/www/*.php web/cduce.css cduce@iris:public_html/ |
| 158 |
|
|
| 159 |
local_website: cduce.opt webiface.opt |
local_website: cduce.opt webiface.opt |
| 160 |
(cd web; ../cduce.opt -quiet site.cd -- site.xml) |
(cd web; ../cduce.opt -quiet site.cd -- site.xml) |