/[svn]/Makefile.distrib
ViewVC logotype

Diff of /Makefile.distrib

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

revision 658 by abate, Tue Jul 10 17:51:58 2007 UTC revision 661 by abate, Tue Jul 10 17:52:12 2007 UTC
# Line 111  Line 111 
111          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) $(INCLUDES) -o $@ $^
112    
113  webiface: $(WEBIFACE:.cmo=.$(EXTENSION))  webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
114          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) $(INCLUDES) -o $@ $^ -ccopt -static
115    # webiface is made static to be able to move it more easily
116    # (to compile it on a machine which is not the web server)
117    
118  dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))  dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))
119          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) $(INCLUDES) -o $@ $^
Legend:
Removed from v.658  
changed lines
  Added in v.661
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5