$(OCAMLFINDPPOPTS) $(OCAMLFINDINCLUDES)
OCAMLFINDLINKFLAGS = -linkpkg
PACKAGE = @PACKAGE_TARNAME@
+SRC = src
BIN = src/@PACKAGE_TARNAME@.native@EXE@
EXE = @EXE@
for dir in src tools; do
find $dir -name '*.cm*' -o -name '*.o' -o -name '*.byte' -o \
-name '*.native' -o -name '*.mll' -o -name '*.mly' -o \
- -name '*.class' | while read file; do
+ -name '*.class' -o -name '*.dep' | while read file; do
case "$file" in
*.mll)
rm -f "${file%.mll}.ml"
%.class: %.java
javac $<
-%.native$(EXE):
- base=$*
- src=${base}.ml
- obj=${base}.cmx
- dir=src
- $(REMAKE) -v OCAMLDEPNATIVE=-native "$obj"
- srcs=`ls "$dir"/*.cmx | sed 's/\.cmx/.ml/g'`
- objs=`$(OCAMLDEP) $(OCAMLDEPNATIVE) $(OCAMLFINDFLAGS) -modules $srcs | tools/osort.sh cmx`
- $(OCAMLOPT) -o "$@" $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDLINKFLAGS) $(OCAMLFINDFLAGS) $objs
+%.native$(EXE): %.cmx %.dep
+ objects=`cat $*.dep | xargs | sed 's/[.]dep/.cmx/g'`
+ $(OCAMLOPT) -o $@ $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDLINKFLAGS) $(OCAMLFINDFLAGS) $objects $<
+
+%.byte$(EXE): %.cmo %.dep
+ objects=`cat $*.dep | xargs | sed 's/[.]dep/.cmo/g'`
+ $(OCAMLC) -o $@ $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDLINKFLAGS) $(OCAMLFINDFLAGS) $objects $<
+
+%.ml:
+ if test -f $*.mly; then
+ $(OCAMLYACC) $*.mly
+ elif test -f $*.mll; then
+ $(OCAMLLEX) $*.mll
+ fi
-%.byte$(EXE):
+%.cmx %.dep:
+ REMAKE="$(REMAKE) -v OCAMLNATIVE=-native"
base=$*
- src=${base}.ml
- obj=${base}.cmo
- dir=src
- $(REMAKE) "$obj"
- objs=""
- for i in "$dir"/*.cmi; do
- ibase=${i%.cmi}
- if test -f "${ibase}.ml" -o -d "${ibase}" -o -f "${ibase}.mly" -o -f "${ibase}.mll"; then
- objs="$objs ${ibase}.cmo"
- fi
- done
- $(REMAKE) $objs
- srcs=`ls "$dir"/*.cmo | sed 's/\.cmo/.ml/g'`
- sorted_objs=`$(OCAMLDEP) $OCAMLFINDFLAGS -modules $srcs | tools/osort.sh cmo`
- $(OCAMLC) -o "$@" $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDLINKFLAGS) $(OCAMLFINDFLAGS) $sorted_objs
+ dirname=${base%/*}
+ if test -f "$dirname".pack; then
+ #we are below a pack directory
+ PACKDIR=`basename $dirname`
+ PACKINCLUDE="-I $dirname"
+ elif test -f $*.pack -a -d $*; then
+ $(REMAKE) $*.pack
+ PACKINCLUDE="-I $*"
+ PACKDIR=`basename $*`
+ DOPACK=1
+ fi
+ if test "$PACKDIR"; then
+ PACKNAME=`echo $PACKDIR | cut -b1 | tr a-z A-Z`${PACKDIR#?}
+ FORPACK="-for-pack $PACKNAME"
+ fi
-%.cmx:
- target="$@"
- base="${target%.cmx}"
- src="${base}.ml"
- if [ -f "$src" ]; then
- $(REMAKE) "$src"
- deps=`$(ODEPS) -native $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src"`
- echo "$deps" | $(REMAKE) -v PACKINCLUDE="$(PACKINCLUDE)" -v OCAMLDEPNATIVE=-native -v OCAMLFORPACK="$(OCAMLFORPACK)" -r "$target"
- $(OCAMLOPT) -o "$target" -c $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFORPACK) $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src"
- elif [ -d "$base" ]; then
- modname=`basename "$base"`
- packname=`echo "$modname" | sed 's/\(.*\)/\u\1/'`
- objs=`ls "$base"/*.ml | sed 's/\.ml/.cmx/g'`
- $(REMAKE) -v PACKINCLUDE="-I $base" -v OCAMLFORPACK="-for-pack $packname" $objs
- sorted_objs=`$(OCAMLDEP) -native $(OCAMLFINDFLAGS) -I $base -modules "$base"/*.ml | tools/osort.sh cmx`
- $(OCAMLOPT) -o "$target" -pack $sorted_objs
- elif [ -f "$base".mly ]; then
- $(REMAKE) "$base".mly
- $(OCAMLYACC) "$base".mly
- $(ODEPS) $(OCAMLDEPNATIVE) $(OCAMLFINDFLAGS) "$src" | \
- $(REMAKE) -v PACKINCLUDE="$(PACKINCLUDE)" -v OCAMLDEPNATIVE=-native -v OCAMLFORPACK="$(OCAMLFORPACK)" -r "$target"
- $(OCAMLOPT) -o "$target" -c $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFORPACK) $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src"
+ if test "$DOPACK"; then
+ modules=`cat $*.pack`
+ objects=`echo $modules | xargs tools/ocamlmoduledep.sh -native $PACKINCLUDE -I $(SRC) `
+ else
+ $REMAKE $*.ml
+ modules=`$(OCAMLDEP) $(OCAMLFINDFLAGS) -modules $*.ml | cut -f 2- -d ':'`
+ objects=`tools/ocamlmoduledep.sh -native $PACKINCLUDE -I $(SRC) $modules`
fi
+ $REMAKE $objects
-%.cmo:
- target="$@"
- base="${target%.cmo}"
- src="${base}.ml"
- if [ -f "$src" ]; then
- $(REMAKE) "$src"
- deps=`$(ODEPS) $OCAMLFINDFLAGS $PACKINCLUDE "$src"`
- echo "$deps" | $(REMAKE) -v PACKINCLUDE="$(PACKINCLUDE)" -r "$target"
- $(OCAMLC) -o "$target" -c $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src"
- elif [ -d "$base" ]; then
- modname=`basename "$base"`
- packname=`echo "$modname" | sed 's/\(.*\)/\u\1/'`
- objs=`ls "$base"/*.ml | sed 's/\.ml/.cmo/g'`
- $(REMAKE) -v PACKINCLUDE="-I $base" $objs
- sorted_objs=`$(OCAMLDEP) $(OCAMLFINDFLAGS) -I $base -modules "$base"/*.ml | tools/osort.sh cmo`
- $(OCAMLC) -o "$target" -pack $sorted_objs
- elif [ -f "$base".mly ]; then
- $(REMAKE) "$base".mly
- $(OCAMLYACC) "$base".mly
- $(ODEPS) $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src" | $(REMAKE) -v PACKINCLUDE="$(PACKINCLUDE)" -r "$target"
- $(OCAMLC) -o "$target" -c $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src"
+ deps=`echo $objects | sed 's/[.]cm[ix]/.dep/g'`
+ rm -f $*.dep; touch $*.dep
+ $(REMAKE) $deps
+ for f in $deps; do
+ for g in `cat $f`; do
+ if grep -q $g $*.dep; then continue; fi
+ echo $g >> $*.dep
+ done
+ if grep -q $f $*.dep; then continue; fi
+ echo $f >> $*.dep
+ done
+ if test -f $*.mli; then $REMAKE -v PACKINCLUDE="$PACKINCLUDE" $*.cmi; fi
+ if test "$DOPACK"; then
+ sorted_objects=`cat $*.dep | grep "$PACKDIR" | sed 's/[.]dep/.cmx/' | xargs`
+ cat $*.dep | grep -v "$PACKDIR" > $*.tmp
+ mv $*.tmp $*.dep
+ $(OCAMLOPT) -o $@ -pack $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS) $sorted_objects
+ else
+ $(OCAMLOPT) -o $@ $FORPACK -c $PACKINCLUDE $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS) $*.ml
fi
+%.cmo %.dep:
+ REMAKE="$(REMAKE)"
+ base=$*
+ dirname=${base%/*}
+ if test -f "$dirname".pack; then
+ #we are below a pack directory
+ PACKDIR=`basename $dirname`
+ PACKINCLUDE="-I $dirname"
+ elif test -f $*.pack -a -d $*; then
+ PACKINCLUDE="-I $*"
+ PACKDIR=`basename $*`
+ DOPACK=1
+ fi
+ if test "$DOPACK"; then
+ modules=`cat $*.pack`
+ objects=`echo $modules | xargs tools/ocamlmoduledep.sh $PACKINCLUDE -I $(SRC) `
+ $REMAKE $objects
+ else
+ $REMAKE $*.ml
+ modules=`$(OCAMLDEP) $(OCAMLFINDFLAGS) -modules $*.ml | cut -f 2- -d ':'`
+ objects=`tools/ocamlmoduledep.sh $PACKINCLUDE -I $(SRC) $modules`
+ $REMAKE $objects
+ fi
+
+ deps=`echo $objects | sed 's/[.]cm[io]/.dep/g'`
+ rm -f $*.dep; touch $*.dep
+ $(REMAKE) $deps
+ for f in $deps; do
+ for g in `cat $f`; do
+ if grep -q $g $*.dep; then continue; fi
+ echo $g >> $*.dep
+ done
+ if grep -q $f $*.dep; then continue; fi
+ echo $f >> $*.dep
+ done
+
+ if test -f $*.mli; then $REMAKE -v PACKINCLUDE="$PACKINCLUDE" $*.cmi; fi
+ if test "$DOPACK"; then
+ sorted_objects=`cat $*.dep | grep "$PACKDIR" | sed 's/[.]dep/.cmo/' | xargs`
+ cat $*.dep | grep -v "$PACKDIR" > $*.tmp
+ mv $*.tmp $*.dep
+ $(OCAMLC) -o $@ -pack $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS) $sorted_objects
+ else
+ $(OCAMLC) -o $@ -c $PACKINCLUDE $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS) $*.ml
+ fi
%.cmi:
- target="$@"
- base=${target%.cmi}
- if test -f "$base".mli; then
- $(REMAKE) "$base".mli
- src=${base}.mli
- deps=`$(ODEPS) $(OCAMLDEPNATIVE) $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src"`
- echo "$deps" | $(REMAKE) -v PACKINCLUDE="$(PACKINCLUDE)" -v OCAMLDEPNATIVE="$(OCAMLDEPNATIVE)" -v OCAMLFORPACK="$(OCAMLFORPACK)" -r "$target"
- if test -z "$(OCAMLDEPNATIVE)"; then
- $(OCAMLC) -o "$target" -c $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src"
- else
- $(OCAMLOPT) -o "$target" -c $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS) $(PACKINCLUDE) "$src"
- fi
+ $(REMAKE) $*.mli
+ if test -z "$(OCAMLNATIVE)"; then
+ $(OCAMLC) -c $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS) $(PACKINCLUDE) $*.mli
else
- if test -z "$(OCAMLDEPNATIVE)"; then
- obj=${base}.cmo
- else
- obj=${base}.cmx
- fi
- $(REMAKE) -v PACKINCLUDE="$(PACKINCLUDE)" -v OCAMLDEPNATIVE="$(OCAMLDEPNATIVE)" -v OCAMLFORPACK="$(OCAMLFORPACK)" "$obj"
+ $(OCAMLOPT) -c $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS) $(PACKINCLUDE) $*.mli
+
fi
## Tests
base=${base%.xml.test1.summary}
$(REMAKE) "$base".xml "$base".xml.queries
rm -f "$@"
- MSG="Test 1 (single query: tatoo vs java implementation)"
+ MSG="Test 1 (single query: tatoo vs java implementation)"
echo "$MSG" >> "$@"
echo "$MSG"
cat "$base".xml.queries | grep -v '^#' | while read q query; do
base=${base%.xml.test3.summary}
$(REMAKE) "$base".xml "$base".xml.queries
rm -f "$@"
- MSG="Test 3 (multiple queries composition: sequential vs parallel)"
+ MSG="Test 3 (multiple queries composition: sequential vs parallel)"
echo "$MSG" >> "$@"
echo "$MSG"
cat "$base".xml.queries | grep -v '^#' | while read q query; do
OUTPUTA="$base".xml.results/"$q"_"$(PACKAGE)"_test3a.xml
LOG="$base".xml.results/"$q"_"$(PACKAGE)"_test3a.log
src/@PACKAGE_TARNAME@.native@EXE@ -s -d -C "$base".xml \
- -o "$OUTPUTA" $(src/split_path.native$(EXE) "$query") > "$LOG" 2>&1
+ -o "$OUTPUTA" $(tools/split_path.native$(EXE) "$query") > "$LOG" 2>&1
echo "Query: $q : $query" >> "$@"
cat "$LOG" | grep '^STATS' >> "$@"
OUTPUTB="$base".xml.results/"$q"_"$(PACKAGE)"_test3a.xml
LOG="$base".xml.results/"$q"_"$(PACKAGE)"_test3a.log
src/@PACKAGE_TARNAME@.native@EXE@ -s -d -p -C "$base".xml \
- -o "$OUTPUTB" $(src/split_path.native$(EXE) "$query") > "$LOG" 2>&1
+ -o "$OUTPUTB" $(tools/split_path.native$(EXE) "$query") > "$LOG" 2>&1
echo "Query: $q : $query" >> "$@"
cat "$LOG" | grep '^STATS' >> "$@"