Commit 42280e2e authored by Pietro Abate's avatar Pietro Abate

[r2005-04-12 11:27:31 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-12 11:27:56+00:00
parent d1dbec82
DIRS= cduce/misc cduce/types cduce/compile cduce/runtime
SRC= \
cduce/misc/serialize.mli \
ML_SRC= \
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/explain.mli \
cduce/runtime/explain.ml \
cduce/runtime/serial.mli \
cduce/runtime/serial.ml
ML_SRC=$(filter %.ml,$(SRC))
CDUCE_OBJECTS=$(ML_SRC:.ml=.cmo)
$(CDUCE_OBJECTS) $(CDUCE_OBJECTS:.cmo=.cmi): $(COMPILER)
$(CDUCE_OBJECTS:.cmo=.cmx): $(OPTCOMPILER)
cduce_types.cmo: $(CDUCE_OBJECTS)
$(CAMLC) $(COMPFLAGS) -pack -o cduce_types.cmo $(CDUCE_INCLUDES) $^
$(CAMLC) $(COMPFLAGS) -pack -o cduce_types.cmo $(CDUCE_INCLUDES) $(CDUCE_OBJECTS)
cduce_types.cmx: $(CDUCE_OBJECTS:.cmo=.cmx)
$(CAMLOPT) $(OPTCOMPFLAGS) -pack -o cduce_types.cmx $(CDUCE_INCLUDES) $^
$(CAMLOPT) $(OPTCOMPFLAGS) -pack -o cduce_types.cmx $(CDUCE_INCLUDES) $(CDUCE_OBJECTS)
cduce_types.p.cmx: cduce_types.cmx
cp cduce_types.cmx cduce_types.p.cmx
cp cduce_types.o cduce_types.p.o
......@@ -72,24 +46,6 @@ cduce_types.p.cmx: cduce_types.cmx
CDUCE_INCLUDES = $(DIRS:%=-I %)
#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' $<
#
#cduce/types/intervals.cmx: cduce/types/intervals.ml cduce/cat1 cduce/types/intervals_int.ml
# $(CAMLOPT) $(OPTCOMPFLAGS) -c $(CDUCE_INCLUDES) -pp 'cduce/cat1 cduce/types/intervals_int.ml' $<
#
#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' $<
#cduce/misc/stats.cmo: cduce/misc/stats.ml
# $(CAMLC) $(COMPFLAGS) -c $(CDUCE_INCLUDES) -pp 'sed s/Unix\\.gettimeofday\(\)/0./' $<
#cduce/misc/stats.cmx: cduce/misc/stats.ml
# $(CAMLOPT) $(OPTCOMPFLAGS) -c $(CDUCE_INCLUDES) -pp 'sed s/Unix\\.gettimeofday\(\)/0./' $<
cduce/cat1:
echo "cat \$$1" > cduce/cat1
chmod +x cduce/cat1
.SUFFIXES: .ml .mli .cmo .cmi .cmx
.ml.cmo:
......@@ -104,7 +60,7 @@ cduce/cat1:
.PHONY: compute_depend
compute_depend:
ocamldep $(CDUCE_INCLUDES) $(SRC) > cduce/types_depend
ocamldep $(CDUCE_INCLUDES) $(SRC) $(SRC:.ml=.mli) > cduce/types_depend
include cduce/types_depend
......
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