/[svn]/Makefile
ViewVC logotype

Diff of /Makefile

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

revision 108 by abate, Tue Jul 10 17:06:34 2007 UTC revision 109 by abate, Tue Jul 10 17:06:54 2007 UTC
# Line 5  Line 5 
5    
6  # Objects to build  # Objects to build
7    
8  MISC = misc/pool.cmo misc/encodings.cmo misc/state.cmo  MISC = misc/state.cmo misc/pool.cmo misc/encodings.cmo
9    
10  PARSER = parser/lexer.cmo parser/location.cmo \  PARSER = parser/lexer.cmo parser/location.cmo \
11           parser/wlexer.cmo \           parser/wlexer.cmo \
# Line 141  Line 141 
141  build_web:  build_web:
142          rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"          rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
143  install_web:  install_web:
144          scp webiface cduce@iris:cgi-bin/cduce2          ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"
         ssh cduce@iris "chmod +s cgi-bin/cduce2"  
Legend:
Removed from v.108  
changed lines
  Added in v.109
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5