/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 260 by abate, Tue Jul 10 17:20:13 2007 UTC revision 261 by abate, Tue Jul 10 17:20:22 2007 UTC
# Line 74  Line 74 
74          $(OCAMLDEFUN) $(DIRS:%=-I defun/%) -p -d defun $$i.ml; \          $(OCAMLDEFUN) $(DIRS:%=-I defun/%) -p -d defun $$i.ml; \
75          done          done
76    
 memento.html: cduce tests/memento.cd tests/memento.xml  
         ./cduce -quiet tests/memento.cd  
   
77  cduce: $(CDUCE)  cduce: $(CDUCE)
78          $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(CDUCE)          $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(CDUCE)
79    
# Line 165  Line 162 
162    
163  # Site-specific installation  # Site-specific installation
164  build_web:  build_web:
165          rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface memento.html"          rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
166  install_web:  install_web:
167          ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; cp ~frisch/IMPLEM/CDUCE/memento.html public_html/; chmod +s cgi-bin/cduce2"          ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"
168  install_web_local:  install_web_local:
169          ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/memento.html /var/www/html/; chmod +s /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/index.html /var/www/html"          ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/memento.html /var/www/html/; chmod +s /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/index.html /var/www/html"
170    
171  build_website:  build_website:
172          rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"          rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"
173          scp web/*.html web/cduce.css cduce@iris:public_html/          scp web/*.php web/cduce.css cduce@iris:public_html/
Legend:
Removed from v.260  
changed lines
  Added in v.261
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5