Commit b8f6ba19 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-03-24 16:12:55 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-24 16:12:55+00:00
parent 1a615135
DIRS= misc types compile runtime
DIRS= cduce/misc cduce/types cduce/compile cduce/runtime
SRC= \
misc/serialize.mli \
misc/serialize.ml \
misc/custom.ml \
misc/custom.ml \
misc/encodings.mli \
misc/encodings.ml \
misc/imap.mli \
misc/imap.ml \
misc/state.mli \
misc/state.ml \
misc/pool.mli \
misc/pool.ml \
misc/ns.mli \
misc/ns.ml \
types/sortedList.mli \
types/sortedList.ml \
types/atoms.mli \
types/atoms.ml \
misc/bool.mli \
misc/bool.ml \
types/chars.mli \
types/chars.ml \
types/ident.ml \
types/intervals.mli \
types/intervals.ml \
misc/inttbl.mli \
misc/inttbl.ml \
types/normal.mli \
types/normal.ml \
misc/pretty.mli \
misc/pretty.ml \
misc/stats.mli \
misc/stats.ml \
types/ident.ml \
types/types.mli \
types/types.ml \
types/sequence.mli \
types/sequence.ml \
types/sample.mli \
types/sample.ml \
types/patterns.mli \
types/patterns.ml \
compile/lambda.mli \
compile/lambda.ml \
runtime/value.mli \
runtime/value.ml \
runtime/run_dispatch.mli \
runtime/run_dispatch.ml \
runtime/serial.mli \
runtime/serial.ml
cduce/misc/serialize.mli \
cduce/misc/serialize.ml \
cduce/misc/custom.ml \
cduce/misc/custom.ml \
cduce/misc/encodings.mli \
cduce/misc/encodings.ml \
cduce/misc/imap.mli \
cduce/misc/imap.ml \
cduce/misc/state.mli \
cduce/misc/state.ml \
cduce/misc/pool.mli \
cduce/misc/pool.ml \
cduce/misc/ns.mli \
cduce/misc/ns.ml \
cduce/types/sortedList.mli \
cduce/types/sortedList.ml \
cduce/types/atoms.mli \
cduce/types/atoms.ml \
cduce/misc/bool.mli \
cduce/misc/bool.ml \
cduce/types/chars.mli \
cduce/types/chars.ml \
cduce/types/ident.ml \
cduce/types/intervals.mli \
cduce/types/intervals.ml \
cduce/misc/inttbl.mli \
cduce/misc/inttbl.ml \
cduce/types/normal.mli \
cduce/types/normal.ml \
cduce/misc/pretty.mli \
cduce/misc/pretty.ml \
cduce/misc/stats.mli \
cduce/misc/stats.ml \
cduce/types/ident.ml \
cduce/types/types.mli \
cduce/types/types.ml \
cduce/types/sequence.mli \
cduce/types/sequence.ml \
cduce/types/sample.mli \
cduce/types/sample.ml \
cduce/types/patterns.mli \
cduce/types/patterns.ml \
cduce/compile/lambda.mli \
cduce/compile/lambda.ml \
cduce/runtime/value.mli \
cduce/runtime/value.ml \
cduce/runtime/run_dispatch.mli \
cduce/runtime/run_dispatch.ml \
cduce/runtime/serial.mli \
cduce/runtime/serial.ml
ML_SRC=$(filter %.ml,$(SRC))
OBJECTS=$(ML_SRC:.ml=.$(EXT))
CDUCE_OBJECTS=$(ML_SRC:.ml=.cmo)
$(CDUCE_OBJECTS) $(CDUCE_OBJECTS:.cmo=.cmi): $(COMPILER)
CAMLC=ocamlc
CAMLOPT=ocamlopt
ifeq ($(NATIVE),true)
EXT=cmx
EXTA=cmxa
CAML=$(CAMLOPT)
else
EXT=cmo
EXTA=cma
CAML=$(CAMLC)
endif
cduce_types.cmo: $(OBJECTS)
$(CAML) -pack -o cduce_types.$(EXT) $(INCLUDES) $^
$(CAML) -a -o cduce_types.$(EXTA) $(INCLUDES) cduce_types.$(EXT)
cduce_types.cmo: $(CDUCE_OBJECTS)
$(CAMLC) $(COMPFLAGS) -pack -o cduce_types.cmo $(CDUCE_INCLUDES) $^
HIDE=@
INCLUDES = $(DIRS:%=-I %)
CDUCE_INCLUDES = $(DIRS:%=-I %)
types/intervals.$(EXT): types/intervals.ml cat1 types/intervals_int.ml
$(CAML) -c $(INCLUDES) -pp './cat1 types/intervals_int.ml' $<
cduce/types/intervals.cmo: cduce/types/intervals.ml cduce/cat1 cduce/types/intervals_int.ml
$(CAMLC) $(COMPFLAGS) -c $(CDUCE_INCLUDES) -pp 'cduce/cat1 cduce/types/intervals_int.ml' $<
types/intervals.cmi: types/intervals.mli cat1 types/intervals_int.mli
$(CAML) -c $(INCLUDES) -pp './cat1 types/intervals_int.mli' $<
cduce/types/intervals.cmi: cduce/types/intervals.mli cduce/cat1 cduce/types/intervals_int.mli
$(CAMLC) $(COMPFLAGS) -c $(CDUCE_INCLUDES) -pp 'cduce/cat1 cduce/types/intervals_int.mli' $<
misc/stats.$(EXT): misc/stats.ml
$(CAML) -c $(INCLUDES) -pp 'sed s/Unix\\.gettimeofday\(\)/0./' $<
cduce/misc/stats.cmo: cduce/misc/stats.ml
$(CAMLC) $(COMPFLAGS) -c $(CDUCE_INCLUDES) -pp 'sed s/Unix\\.gettimeofday\(\)/0./' $<
cat1:
echo "cat \$$1" > cat1
cduce/cat1:
echo "cat \$$1" > cduce/cat1
chmod +x cat1
.SUFFIXES: .ml .mli .cmo .cmi .cmx
.ml.cmo:
@echo "Build $@"
$(HIDE)$(CAMLC) -c $(INCLUDES) $<
$(CAMLC) $(COMPFLAGS) -c $(CDUCE_INCLUDES) $<
.ml.cmx:
@echo "Build $@"
$(HIDE)$(CAMLOPT) -c $(INCLUDES) $<
$(CAMLOPT) -c $(CDUCE_INCLUDES) $<
.mli.cmi:
@echo "Build $@"
$(HIDE)$(CAMLC) -c $(INCLUDES) $<
$(CAMLC) $(COMPFLAGS) -c $(CDUCE_INCLUDES) $<
.PHONY: compute_depend
compute_depend:
ocamldep $(INCLUDES) $(SRC) > types_depend
cduce/compute_depend:
ocamldep $(INCLUDES) $(SRC) > cduce/types_depend
include cduce/types_depend
include types_depend
clean:
for i in $(DIRS); do \
......
misc/serialize.cmo: misc/serialize.cmi
misc/serialize.cmx: misc/serialize.cmi
misc/custom.cmo: misc/serialize.cmi
misc/custom.cmx: misc/serialize.cmx
misc/custom.cmo: misc/serialize.cmi
misc/custom.cmx: misc/serialize.cmx
misc/encodings.cmi: misc/custom.cmo misc/serialize.cmi
misc/encodings.cmo: misc/custom.cmo misc/serialize.cmi misc/encodings.cmi
misc/encodings.cmx: misc/custom.cmx misc/serialize.cmx misc/encodings.cmi
misc/imap.cmo: misc/imap.cmi
misc/imap.cmx: misc/imap.cmi
misc/state.cmo: misc/state.cmi
misc/state.cmx: misc/state.cmi
misc/pool.cmi: misc/custom.cmo
misc/pool.cmo: misc/custom.cmo misc/serialize.cmi misc/state.cmi \
misc/pool.cmi
misc/pool.cmx: misc/custom.cmx misc/serialize.cmx misc/state.cmx \
misc/pool.cmi
misc/ns.cmi: misc/custom.cmo misc/encodings.cmi misc/serialize.cmi
misc/ns.cmo: misc/custom.cmo misc/encodings.cmi misc/pool.cmi \
misc/serialize.cmi misc/state.cmi misc/ns.cmi
misc/ns.cmx: misc/custom.cmx misc/encodings.cmx misc/pool.cmx \
misc/serialize.cmx misc/state.cmx misc/ns.cmi
types/sortedList.cmi: misc/custom.cmo misc/serialize.cmi
types/sortedList.cmo: misc/custom.cmo misc/serialize.cmi types/sortedList.cmi
types/sortedList.cmx: misc/custom.cmx misc/serialize.cmx types/sortedList.cmi
types/atoms.cmi: misc/custom.cmo misc/encodings.cmi misc/ns.cmi
types/atoms.cmo: misc/custom.cmo misc/encodings.cmi misc/imap.cmi misc/ns.cmi \
misc/pool.cmi types/sortedList.cmi types/atoms.cmi
types/atoms.cmx: misc/custom.cmx misc/encodings.cmx misc/imap.cmx misc/ns.cmx \
misc/pool.cmx types/sortedList.cmx types/atoms.cmi
misc/bool.cmi: misc/custom.cmo
misc/bool.cmo: misc/custom.cmo misc/serialize.cmi misc/bool.cmi
misc/bool.cmx: misc/custom.cmx misc/serialize.cmx misc/bool.cmi
types/chars.cmi: misc/custom.cmo
types/chars.cmo: misc/custom.cmo types/chars.cmi
types/chars.cmx: misc/custom.cmx types/chars.cmi
types/ident.cmo: misc/encodings.cmi misc/ns.cmi misc/pool.cmi \
types/sortedList.cmi
types/ident.cmx: misc/encodings.cmx misc/ns.cmx misc/pool.cmx \
types/sortedList.cmx
types/intervals.cmi: misc/custom.cmo
types/intervals.cmo: misc/serialize.cmi types/intervals.cmi
types/intervals.cmx: misc/serialize.cmx types/intervals.cmi
misc/inttbl.cmo: misc/inttbl.cmi
misc/inttbl.cmx: misc/inttbl.cmi
types/normal.cmo: types/normal.cmi
types/normal.cmx: types/normal.cmi
misc/pretty.cmo: misc/pretty.cmi
misc/pretty.cmx: misc/pretty.cmi
misc/stats.cmo: misc/stats.cmi
misc/stats.cmx: misc/stats.cmi
types/ident.cmo: misc/encodings.cmi misc/ns.cmi misc/pool.cmi \
types/sortedList.cmi
types/ident.cmx: misc/encodings.cmx misc/ns.cmx misc/pool.cmx \
types/sortedList.cmx
types/types.cmi: types/atoms.cmi types/chars.cmi misc/custom.cmo \
types/ident.cmo types/intervals.cmi misc/inttbl.cmi misc/ns.cmi
types/types.cmo: types/atoms.cmi misc/bool.cmi types/chars.cmi \
misc/custom.cmo misc/encodings.cmi types/ident.cmo types/intervals.cmi \
misc/inttbl.cmi types/normal.cmi misc/ns.cmi misc/pool.cmi \
misc/pretty.cmi misc/serialize.cmi types/sortedList.cmi misc/state.cmi \
misc/stats.cmi types/types.cmi
types/types.cmx: types/atoms.cmx misc/bool.cmx types/chars.cmx \
misc/custom.cmx misc/encodings.cmx types/ident.cmx types/intervals.cmx \
misc/inttbl.cmx types/normal.cmx misc/ns.cmx misc/pool.cmx \
misc/pretty.cmx misc/serialize.cmx types/sortedList.cmx misc/state.cmx \
misc/stats.cmx types/types.cmi
types/sequence.cmi: types/atoms.cmi types/types.cmi
types/sequence.cmo: types/atoms.cmi types/types.cmi types/sequence.cmi
types/sequence.cmx: types/atoms.cmx types/types.cmx types/sequence.cmi
types/sample.cmi: types/types.cmi
types/sample.cmo: types/atoms.cmi types/chars.cmi types/ident.cmo \
types/intervals.cmi types/types.cmi types/sample.cmi
types/sample.cmx: types/atoms.cmx types/chars.cmx types/ident.cmx \
types/intervals.cmx types/types.cmx types/sample.cmi
types/patterns.cmi: types/atoms.cmi types/chars.cmi misc/custom.cmo \
types/ident.cmo types/types.cmi
types/patterns.cmo: types/atoms.cmi types/chars.cmi misc/custom.cmo \
types/ident.cmo types/sample.cmi types/sequence.cmi misc/serialize.cmi \
types/sortedList.cmi misc/state.cmi misc/stats.cmi types/types.cmi \
types/patterns.cmi
types/patterns.cmx: types/atoms.cmx types/chars.cmx misc/custom.cmx \
types/ident.cmx types/sample.cmx types/sequence.cmx misc/serialize.cmx \
types/sortedList.cmx misc/state.cmx misc/stats.cmx types/types.cmx \
types/patterns.cmi
compile/lambda.cmi: types/ident.cmo misc/ns.cmi types/patterns.cmi \
misc/serialize.cmi types/types.cmi
compile/lambda.cmo: types/ident.cmo misc/ns.cmi types/patterns.cmi \
misc/serialize.cmi types/types.cmi compile/lambda.cmi
compile/lambda.cmx: types/ident.cmx misc/ns.cmx types/patterns.cmx \
misc/serialize.cmx types/types.cmx compile/lambda.cmi
runtime/value.cmi: types/atoms.cmi types/chars.cmi misc/encodings.cmi \
types/ident.cmo types/intervals.cmi compile/lambda.cmi misc/ns.cmi \
types/types.cmi
runtime/value.cmo: types/atoms.cmi types/chars.cmi misc/encodings.cmi \
types/ident.cmo types/intervals.cmi compile/lambda.cmi misc/ns.cmi \
types/sequence.cmi types/types.cmi runtime/value.cmi
runtime/value.cmx: types/atoms.cmx types/chars.cmx misc/encodings.cmx \
types/ident.cmx types/intervals.cmx compile/lambda.cmx misc/ns.cmx \
types/sequence.cmx types/types.cmx runtime/value.cmi
runtime/run_dispatch.cmi: types/patterns.cmi runtime/value.cmi
runtime/run_dispatch.cmo: types/atoms.cmi types/chars.cmi misc/encodings.cmi \
types/ident.cmo types/patterns.cmi types/types.cmi runtime/value.cmi \
runtime/run_dispatch.cmi
runtime/run_dispatch.cmx: types/atoms.cmx types/chars.cmx misc/encodings.cmx \
types/ident.cmx types/patterns.cmx types/types.cmx runtime/value.cmx \
runtime/run_dispatch.cmi
runtime/serial.cmi: types/patterns.cmi types/types.cmi runtime/value.cmi
runtime/serial.cmo: misc/custom.cmo types/patterns.cmi \
runtime/run_dispatch.cmi misc/serialize.cmi types/types.cmi \
runtime/serial.cmi
runtime/serial.cmx: misc/custom.cmx types/patterns.cmx \
runtime/run_dispatch.cmx misc/serialize.cmx types/types.cmx \
runtime/serial.cmi
cduce/misc/serialize.cmo: array.cmi buffer.cmi char.cmi list.cmi string.cmi \
cduce/misc/serialize.cmi
cduce/misc/serialize.cmx: array.cmx buffer.cmx char.cmx list.cmx string.cmx \
cduce/misc/serialize.cmi
cduce/misc/custom.cmo: array.cmi char.cmi format.cmi hashtbl.cmi list.cmi \
pervasives.cmi string.cmi
cduce/misc/custom.cmx: array.cmx char.cmx format.cmx hashtbl.cmx list.cmx \
pervasives.cmx string.cmx
cduce/misc/custom.cmo: array.cmi char.cmi format.cmi hashtbl.cmi list.cmi \
pervasives.cmi string.cmi
cduce/misc/custom.cmx: array.cmx char.cmx format.cmx hashtbl.cmx list.cmx \
pervasives.cmx string.cmx
cduce/misc/encodings.cmi: buffer.cmi format.cmi
cduce/misc/encodings.cmo: buffer.cmi char.cmi format.cmi printf.cmi \
string.cmi cduce/misc/encodings.cmi
cduce/misc/encodings.cmx: buffer.cmx char.cmx format.cmx printf.cmx \
string.cmx cduce/misc/encodings.cmi
cduce/misc/imap.cmi: format.cmi
cduce/misc/imap.cmo: format.cmi cduce/misc/imap.cmi
cduce/misc/imap.cmx: format.cmx cduce/misc/imap.cmi
cduce/misc/state.cmo: list.cmi obj.cmi cduce/misc/state.cmi
cduce/misc/state.cmx: list.cmx obj.cmx cduce/misc/state.cmi
cduce/misc/pool.cmo: array.cmi hashtbl.cmi map.cmi weak.cmi \
cduce/misc/pool.cmi
cduce/misc/pool.cmx: array.cmx hashtbl.cmx map.cmx weak.cmx \
cduce/misc/pool.cmi
cduce/misc/ns.cmi: format.cmi
cduce/misc/ns.cmo: array.cmi format.cmi hashtbl.cmi list.cmi map.cmi \
printf.cmi string.cmi cduce/misc/ns.cmi
cduce/misc/ns.cmx: array.cmx format.cmx hashtbl.cmx list.cmx map.cmx \
printf.cmx string.cmx cduce/misc/ns.cmi
cduce/types/sortedList.cmo: format.cmi list.cmi cduce/types/sortedList.cmi
cduce/types/sortedList.cmx: format.cmx list.cmx cduce/types/sortedList.cmi
cduce/types/atoms.cmi: format.cmi
cduce/types/atoms.cmo: format.cmi hashtbl.cmi list.cmi pervasives.cmi set.cmi \
cduce/types/atoms.cmi
cduce/types/atoms.cmx: format.cmx hashtbl.cmx list.cmx pervasives.cmx set.cmx \
cduce/types/atoms.cmi
cduce/misc/bool.cmi: format.cmi
cduce/misc/bool.cmo: format.cmi cduce/misc/bool.cmi
cduce/misc/bool.cmx: format.cmx cduce/misc/bool.cmi
cduce/types/chars.cmi: format.cmi
cduce/types/chars.cmo: char.cmi format.cmi list.cmi cduce/types/chars.cmi
cduce/types/chars.cmx: char.cmx format.cmx list.cmx cduce/types/chars.cmi
cduce/types/ident.cmo: map.cmi
cduce/types/ident.cmx: map.cmx
cduce/types/intervals.cmi: format.cmi
cduce/types/intervals.cmo: format.cmi list.cmi obj.cmi \
cduce/types/intervals.cmi
cduce/types/intervals.cmx: format.cmx list.cmx obj.cmx \
cduce/types/intervals.cmi
cduce/misc/inttbl.cmo: array.cmi cduce/misc/inttbl.cmi
cduce/misc/inttbl.cmx: array.cmx cduce/misc/inttbl.cmi
cduce/types/normal.cmo: list.cmi cduce/types/normal.cmi
cduce/types/normal.cmx: list.cmx cduce/types/normal.cmi
cduce/misc/pretty.cmi: hashtbl.cmi
cduce/misc/pretty.cmo: format.cmi hashtbl.cmi list.cmi pervasives.cmi \
cduce/misc/pretty.cmi
cduce/misc/pretty.cmx: format.cmx hashtbl.cmx list.cmx pervasives.cmx \
cduce/misc/pretty.cmi
cduce/misc/stats.cmi: format.cmi
cduce/misc/stats.cmo: format.cmi hashtbl.cmi list.cmi printf.cmi \
cduce/misc/stats.cmi
cduce/misc/stats.cmx: format.cmx hashtbl.cmx list.cmx printf.cmx \
cduce/misc/stats.cmi
cduce/types/ident.cmo: map.cmi
cduce/types/ident.cmx: map.cmx
cduce/types/types.cmi: format.cmi obj.cmi
cduce/types/types.cmo: array.cmi format.cmi hashtbl.cmi list.cmi map.cmi \
obj.cmi pervasives.cmi set.cmi cduce/types/types.cmi
cduce/types/types.cmx: array.cmx format.cmx hashtbl.cmx list.cmx map.cmx \
obj.cmx pervasives.cmx set.cmx cduce/types/types.cmi
cduce/types/sequence.cmo: list.cmi map.cmi cduce/types/sequence.cmi
cduce/types/sequence.cmx: list.cmx map.cmx cduce/types/sequence.cmi
cduce/types/sample.cmi: format.cmi
cduce/types/sample.cmo: list.cmi set.cmi cduce/types/sample.cmi
cduce/types/sample.cmx: list.cmx set.cmx cduce/types/sample.cmi
cduce/types/patterns.cmi: format.cmi
cduce/types/patterns.cmo: array.cmi format.cmi list.cmi map.cmi queue.cmi \
set.cmi cduce/types/patterns.cmi
cduce/types/patterns.cmx: array.cmx format.cmx list.cmx map.cmx queue.cmx \
set.cmx cduce/types/patterns.cmi
cduce/compile/lambda.cmi: format.cmi obj.cmi
cduce/compile/lambda.cmo: array.cmi format.cmi list.cmi obj.cmi \
cduce/compile/lambda.cmi
cduce/compile/lambda.cmx: array.cmx format.cmx list.cmx obj.cmx \
cduce/compile/lambda.cmi
cduce/runtime/value.cmi: format.cmi set.cmi
cduce/runtime/value.cmo: array.cmi buffer.cmi char.cmi format.cmi list.cmi \
obj.cmi set.cmi string.cmi cduce/runtime/value.cmi
cduce/runtime/value.cmx: array.cmx buffer.cmx char.cmx format.cmx list.cmx \
obj.cmx set.cmx string.cmx cduce/runtime/value.cmi
cduce/runtime/run_dispatch.cmo: array.cmi format.cmi string.cmi \
cduce/runtime/run_dispatch.cmi
cduce/runtime/run_dispatch.cmx: array.cmx format.cmx string.cmx \
cduce/runtime/run_dispatch.cmi
cduce/runtime/serial.cmo: array.cmi list.cmi cduce/runtime/serial.cmi
cduce/runtime/serial.cmx: array.cmx list.cmx cduce/runtime/serial.cmi
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment