Commit f37d5557 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-03-22 23:12:24 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 23:12:24+00:00
parent 758c1186
......@@ -38,7 +38,7 @@ TOPLEVEL = $(OBJECTS) toplevel/toploop.cmo
XOBJECTS = $(OBJECTS:.cmo=.cmx)
XCDUCE = $(CDUCE:.cmo=.cmx)
XWEBIFACE = $(WEBIFACE:.cmo=.cmx)
DEBUG = -g
......@@ -93,6 +93,9 @@ pull: tools/pull.cmo
cduce.opt: $(XCDUCE)
$(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XCDUCE)
webiface.opt: $(XWEBIFACE)
$(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XWEBIFACE)
compute_depend:
@echo "Computing dependencies ..."
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend
......@@ -109,7 +112,7 @@ clean:
done
rm -f parser/wlexer.ml
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~
rm -f cduce cduce.opt ocamlprof.dump
rm -f cduce cduce.opt webiface.opt ocamlprof.dump
rm -f dtd2cduce pool webiface
rm -Rf prepro
rm -f web/*.php web/*~
......@@ -153,8 +156,8 @@ test: all.cma
include depend
driver/examples.ml: cduce tests/web.cd tests/examples.xml
./cduce -quiet tests/web.cd
driver/examples.ml: cduce.opt tests/web.cd tests/examples.xml
./cduce.opt -quiet tests/web.cd
web/files: cduce.opt web/site.cd
......@@ -162,11 +165,11 @@ web/files: cduce.opt web/site.cd
# Site-specific installation
build_web:
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface.opt"
install_web:
ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; cp ~frisch/IMPLEM/CDUCE/memento.html public_html/; chmod +s cgi-bin/cduce2"
ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce2; cp ~frisch/IMPLEM/CDUCE/memento.html public_html/; chmod +s cgi-bin/cduce2"
install_web_local:
ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;"
ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface.opt /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;"
build_website:
rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment