/[svn]/Makefile.distrib
ViewVC logotype

Diff of /Makefile.distrib

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

revision 496 by abate, Tue Jul 10 17:38:14 2007 UTC revision 497 by abate, Tue Jul 10 17:39:10 2007 UTC
# Line 80  Line 80 
80  WEBIFACE  = $(OBJECTS) driver/examples.cmo driver/webiface.cmo  WEBIFACE  = $(OBJECTS) driver/examples.cmo driver/webiface.cmo
81  DTD2CDUCE = tools/dtd2cduce.cmo  DTD2CDUCE = tools/dtd2cduce.cmo
82    
83  DEPEND = $(DIRS:=/*.ml) $(DIRS:=/*.mli)  ALL_OBJECTS = $(OBJECTS) \
84     driver/run.cmo driver/examples.cmo driver/webiface.cmo \
85     tools/dtd2cduce.cmo
86    
87    DEPEND = $(ALL_OBJECTS:.cmo=.ml) $(ALL_OBJECTS:.cmo=.mli)
88    
89    # DEPEND = $(DIRS:=/*.ml) $(DIRS:=/*.mli)
90  INCLUDES = $(DIRS:%=-I %)  INCLUDES = $(DIRS:%=-I %)
91    
92  cduce: $(CDUCE:.cmo=.$(EXTENSION))  cduce: $(CDUCE:.cmo=.$(EXTENSION))
Legend:
Removed from v.496  
changed lines
  Added in v.497
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5