--- Makefile	2007/07/10 17:21:20	272
+++ Makefile	2007/07/10 17:21:23	273
@@ -38,7 +38,7 @@
 
 XOBJECTS = $(OBJECTS:.cmo=.cmx)
 XCDUCE = $(CDUCE:.cmo=.cmx)
-
+XWEBIFACE =  $(WEBIFACE:.cmo=.cmx)
 
 
 DEBUG = -g
@@ -93,6 +93,9 @@
 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 @@
 	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 @@
 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 @@
 
 # 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"