/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

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

revision 171 by abate, Tue Jul 10 17:11:11 2007 UTC revision 172 by abate, Tue Jul 10 17:12:31 2007 UTC
# Line 102  Line 102 
102          rm -f cduce cduce.opt ocamlprof.dump          rm -f cduce cduce.opt ocamlprof.dump
103          rm -f dtd2cduce pool webiface          rm -f dtd2cduce pool webiface
104          rm -Rf prepro          rm -Rf prepro
105            rm -f web/index.html
106    
107    
108  .SUFFIXES: .ml .mli .cmo .cmi .cmx  .SUFFIXES: .ml .mli .cmo .cmi .cmx
# Line 145  Line 146 
146  driver/examples.ml: cduce tests/web.cd tests/examples.xml  driver/examples.ml: cduce tests/web.cd tests/examples.xml
147          ./cduce -quiet tests/web.cd          ./cduce -quiet tests/web.cd
148    
149    web/index.html: cduce
150            (cd web; ../cduce -quiet macros.cd)
151    
152  # Site-specific installation  # Site-specific installation
153  build_web:  build_web:
# Line 153  Line 156 
156          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; cp ~frisch/IMPLEM/CDUCE/memento.html public_html/; chmod +s cgi-bin/cduce2"
157  install_web_local:  install_web_local:
158          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"          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"
159    
160    build_website:
161            rsh cedre ". .env; cd IMPLEM/CDUCE; make web/index.html"
162            scp web/index.html cduce@iris:public_html/
Legend:
Removed from v.171  
changed lines
  Added in v.172
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5