/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

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

revision 112 by abate, Tue Jul 10 17:06:54 2007 UTC revision 113 by abate, Tue Jul 10 17:07:26 2007 UTC
# Line 1  Line 1 
1  # Source directories  # Source directories
2    
3  DIRS = misc parser typing types runtime driver  DIRS = misc parser typing types runtime driver toplevel
4  CLEAN_DIRS = $(DIRS) tools tests  CLEAN_DIRS = $(DIRS) tools tests
5    
6  # Objects to build  # Objects to build
# Line 142  Line 142 
142          rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"          rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
143  install_web:  install_web:
144          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"
145    
146    
147    
148    
149    
150    
151    
152    
153    
154    
155    
156    
157    
158    
Legend:
Removed from v.112  
changed lines
  Added in v.113
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5