/[svn]/Makefile.distrib
ViewVC logotype

Diff of /Makefile.distrib

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

revision 1004 by abate, Tue Jul 10 18:16:35 2007 UTC revision 1005 by abate, Tue Jul 10 18:16:51 2007 UTC
# Line 78  Line 78 
78    
79  ifeq ($(NATIVE), true)  ifeq ($(NATIVE), true)
80          EXTENSION = cmx          EXTENSION = cmx
81            EXTENSION_LIB = cmxa
82            COMPILE = $(CAMLOPT)
83          LINK = $(CAMLOPT) -linkpkg gramlib.cmxa          LINK = $(CAMLOPT) -linkpkg gramlib.cmxa
84  else  else
85          EXTENSION = cmo          EXTENSION = cmo
86            EXTENSION_LIB = cma
87            COMPILE = $(CAMLC)
88          LINK = $(CAMLC) -custom -linkpkg gramlib.cma          LINK = $(CAMLC) -custom -linkpkg gramlib.cma
89  endif  endif
90    
# Line 184  Line 188 
188  cduce: $(CDUCE:.cmo=.$(EXTENSION))  cduce: $(CDUCE:.cmo=.$(EXTENSION))
189          $(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)          $(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)
190    
191  cDuce_all: $(OBJECTS)  cDuce_all.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))
192          $(CAMLC) -o cDuce_all.cmo -pack $(OBJECTS)          $(COMPILE) -o cDuce_all.$(EXTENSION) -pack $^
193          $(CAMLC) -a -o cDuce_all.cma -linkpkg gramlib.cma cDuce_all.cmo          $(LINK) -a -o $@ cDuce_all.$(EXTENSION)
194    
195  webiface: $(WEBIFACE:.cmo=.$(EXTENSION))  webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
196          $(LINK) -verbose $(INCLUDES) -o $@ $^ -ccopt -static          $(LINK) -verbose $(INCLUDES) -o $@ $^ -ccopt -static
# Line 261  Line 265 
265          fi;          fi;
266          cp web/img/*.*  $(HTML_DIR)/img          cp web/img/*.*  $(HTML_DIR)/img
267  #*: help  #*: help
268    
269    
270    cduce2ocaml: cDuce_all.$(EXTENSION_LIB)
271            rm -f cduce2ocaml
272            (cd cdo2cmo; $(MAKE) clean; $(MAKE) NATIVE=$(NATIVE))
Legend:
Removed from v.1004  
changed lines
  Added in v.1005
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5