/[svn]/Makefile.types
ViewVC logotype

Diff of /Makefile.types

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

revision 1442 by abate, Tue Jul 10 18:50:08 2007 UTC revision 1443 by abate, Tue Jul 10 18:50:20 2007 UTC
# Line 54  Line 54 
54   CAML=$(CAMLC)   CAML=$(CAMLC)
55  endif  endif
56    
57  cduce_types: $(OBJECTS)  cduce_types.cmo: $(OBJECTS)
58          $(CAML) -pack -o cduce_types.$(EXT) $(INCLUDES) $^          $(CAML) -pack -o cduce_types.$(EXT) $(INCLUDES) $^
59          $(CAML) -a -o cduce_types.$(EXTA) $(INCLUDES) cduce_types.$(EXT)          $(CAML) -a -o cduce_types.$(EXTA) $(INCLUDES) cduce_types.$(EXT)
60    
# Line 62  Line 62 
62  INCLUDES = $(DIRS:%=-I %)  INCLUDES = $(DIRS:%=-I %)
63    
64    
65  types/intervals.$(EXT): types/intervals.ml cat1  types/intervals.$(EXT): types/intervals.ml cat1 types/intervals_int.ml
66          $(CAML) -c $(INCLUDES) -pp './cat1 types/intervals_int.ml' $<          $(CAML) -c $(INCLUDES) -pp './cat1 types/intervals_int.ml' $<
67    
68  types/intervals.cmi: types/intervals.mli cat1  types/intervals.cmi: types/intervals.mli cat1 types/intervals_int.mli
69          $(CAML) -c $(INCLUDES) -pp './cat1 types/intervals_int.mli' $<          $(CAML) -c $(INCLUDES) -pp './cat1 types/intervals_int.mli' $<
70    
71  misc/stats.$(EXT): misc/stats.ml  misc/stats.$(EXT): misc/stats.ml
Legend:
Removed from v.1442  
changed lines
  Added in v.1443
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5