/[svn]/Makefile.distrib
ViewVC logotype

Diff of /Makefile.distrib

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

revision 1214 by abate, Tue Jul 10 18:30:31 2007 UTC revision 1215 by abate, Tue Jul 10 18:31:55 2007 UTC
# Line 81  Line 81 
81    
82    
83  ifeq ($(NATIVE),true)  ifeq ($(NATIVE),true)
84    .PHONY: cduce_lib.cma
85  cduce_lib.cma:  cduce_lib.cma:
86          $(HIDE)$(MAKE) NATIVE=false $@          $(HIDE)$(MAKE) NATIVE=false $@
87  endif  endif
# Line 233  Line 234 
234    
235    
236  cduce_lib.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))  cduce_lib.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))
237          @echo "Build $@"          @echo "Pack cduce_lib.$(EXTENSION)"
238          $(HIDE)$(COMPILE) -o cduce_lib.$(EXTENSION) -pack $^          $(HIDE)$(COMPILE) -o cduce_lib.$(EXTENSION) -pack $^
239            @echo "Build $@"
240          $(HIDE)$(COMPILE) -a -o $@ cduce_lib.$(EXTENSION)          $(HIDE)$(COMPILE) -a -o $@ cduce_lib.$(EXTENSION)
241    
242    
Legend:
Removed from v.1214  
changed lines
  Added in v.1215
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5