/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

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

revision 125 by abate, Tue Jul 10 17:08:19 2007 UTC revision 126 by abate, Tue Jul 10 17:08:41 2007 UTC
# Line 32  Line 32 
32  OBJECTS = $(MISC) $(TYPES) $(PARSER) $(TYPING) $(RUNTIME)  OBJECTS = $(MISC) $(TYPES) $(PARSER) $(TYPING) $(RUNTIME)
33    
34  CDUCE = $(OBJECTS) $(DRIVER) driver/run.cmo  CDUCE = $(OBJECTS) $(DRIVER) driver/run.cmo
35  WEBIFACE  = $(OBJECTS) $(DRIVER) driver/webiface.cmo  WEBIFACE  = $(OBJECTS) $(DRIVER) driver/examples.cmo driver/webiface.cmo
36  TOPLEVEL = $(OBJECTS) toplevel/toploop.cmo  TOPLEVEL = $(OBJECTS) toplevel/toploop.cmo
37    
38  XOBJECTS = $(OBJECTS:.cmo=.cmx)  XOBJECTS = $(OBJECTS:.cmo=.cmx)
# Line 137  Line 137 
137  include depend  include depend
138    
139    
140    driver/examples.ml: cduce tests/web.cd tests/examples.xml
141            ./cduce -quiet tests/web.cd
142    
143    
144  # Site-specific installation  # Site-specific installation
145  build_web:  build_web:
146          rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"          rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
147  install_web:  install_web:
148          ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"          ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"
149    
   
   
   
   
   
   
   
   
   
   
   
   
   
Legend:
Removed from v.125  
changed lines
  Added in v.126
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5