Factorise common bits of Remakefile in tools/ocamldriver.sh
[tatoo.git] / Remakefile.in
index 355b643..3fa1d73 100644 (file)
@@ -5,14 +5,24 @@ OCAMLFINDINCLUDES = $(addprefix "-I ", src)
 OCAMLFINDFLAGS = -syntax $(OCAMLFINDSYNTAX) -package $(OCAMLFINDPACKAGES)  \
        $(OCAMLFINDPPOPTS) $(OCAMLFINDINCLUDES)
 OCAMLFINDLINKFLAGS = -linkpkg
-ODEP=tools/odeps.sh @OCAMLDEP@
-BIN=@PACKAGE_TARNAME@
-EXE=@EXE@
+PACKAGE = @PACKAGE_TARNAME@
+SRC = src
+BIN = src/@PACKAGE_TARNAME@.native@EXE@
+EXE = @EXE@
 
-all:
-       @REMAKE@ src/@PACKAGE_TARNAME@.native@EXE@
+REMAKE = @REMAKE@
+OCAMLDEP = @OCAMLDEP@
+ODEPS = tools/odeps.sh $(OCAMLDEP)
+OCAMLC = @OCAMLC@
+OCAMLOPT = @OCAMLOPT@
+OCAMLFLAGS = @OCAMLFLAGS@
+OCAMLOPTFLAGS = @OCAMLOPTFLAGS@
+OCAMLCFLAGS = @OCAMLCFLAGS@
+OCAMLYACC = @OCAMLYACC@
 
-tools: tools/xml_diff.native@EXE@ tools/XPathEval.class
+all: $(BIN)
+
+tools: tools/xml_diff.native$(EXE) tools/XPathEval.class tools/split_path.native$(EXE)
 
 Remakefile: Remakefile.in config.status
        ./config.status Remakefile
@@ -25,7 +35,7 @@ clean:
        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"
@@ -40,142 +50,170 @@ clean:
                done
        done
 
-distclean: clean
+distclean: clean test_clean
        rm -rf config.status configure config.log autom4te.cache .remake Remakefile remake
 
 %.class: %.java
-       javac ${1%.class}.java
-
-%.native@EXE@:
-       base=${1%.native}
-       src=${base}.ml
-       obj=${base}.cmx
-       dir=$(dirname $1)
-       @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 "$1"  @OCAMLFLAGS@ @OCAMLOPTFLAGS@ $OCAMLFINDLINKFLAGS $OCAMLFINDFLAGS $OBJS
-
-%.byte@EXE@:
-       base=${1%.byte}
-       src=${base}.ml
-       obj=${base}.cmo
-       dir=$(dirname $1)
-       @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 "$1"  @OCAMLFLAGS@ @OCAMLCFLAGS@ $OCAMLFINDLINKFLAGS $OCAMLFINDFLAGS $SORTED_OBJS
-
-%.cmx:
-       target="$1"
-       base="${target%.cmx}"
-       src="${base}.ml"
-       if [ -f "$src" ]; then
-               @REMAKE@ "$src"
-               DEPS=$( $ODEP -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
-                $ODEP $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"
-       fi
+       javac $<
 
+%.native$(EXE): %.cmx %.dep
+       objects=`cat $*.dep | xargs | sed 's/[.]dep/.cmx/g'`
+       $(OCAMLOPT) -o $@  $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDLINKFLAGS) $(OCAMLFINDFLAGS) $objects $<
 
-%.cmo:
-       target="$1"
-       base="${target%.cmo}"
-       src="${base}.ml"
-       if [ -f "$src" ]; then
-               @REMAKE@ "$src"
-               DEPS=$( $ODEP $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
-                $ODEP $OCAMLFINDFLAGS $PACKINCLUDE "$src" | @REMAKE@ -v PACKINCLUDE="$PACKINCLUDE" -r "$target"
-               @OCAMLC@ -o "$target" -c @OCAMLFLAGS@ @OCAMLCFLAGS@ $OCAMLFINDFLAGS $PACKINCLUDE "$src"
-       fi
+%.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
 
+%.cmx %.dep:
+       base=$*
+       target=$@
+       NATIVE=-native
+       REMAKE="$(REMAKE) -v OCAMLNATIVE=$NATIVE"
+       OCAMLDEP="$(OCAMLDEP) $(OCAMLFINDFLAGS)"
+       SRC=$(SRC)
+       COMPILE="$(OCAMLOPT) $(OCAMLFLAGS) $(OCAMLOPTFLAGS) $(OCAMLFINDFLAGS)"
+       . tools/ocamldriver.sh
+
+%.cmo %.dep:
+       base=$*
+       target=$@
+       NATIVE=
+       REMAKE="$(REMAKE) -v OCAMLNATIVE=$NATIVE"
+       OCAMLDEP="$(OCAMLDEP) $(OCAMLFINDFLAGS)"
+       SRC=$(SRC)
+       COMPILE="$(OCAMLC) $(OCAMLFLAGS) $(OCAMLCFLAGS) $(OCAMLFINDFLAGS)"
+       . tools/ocamldriver.sh
 
 %.cmi:
-       target="$1"
-       base=${target%.cmi}
-       if test -f "$base".mli; then
-               @REMAKE@ "$base".mli
-               src=${base}.mli
-               DEPS=$($ODEP $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
 
-test_suite: tools src/@PACKAGE_TARNAME@.native@EXE@ 
+test: tools $(BIN)
        for i in tests/*.xml
        do
-               @REMAKE@ "$i".summary
+         for j in 1 2 3
+         do
+               $(REMAKE) "$i".test"$j".summary
+         done
        done
 
-
-%.summary:
-               base="${1%.xml.summary}"
-               @REMAKE@ "$base".xml "$base".xml.queries
+test_clean:
+       rm -rf tests/*.summary tests/*.results/*_"$(PACKAGE)"_*.*
+
+%.test1.summary:
+               base="$@"
+               base=${base%.xml.test1.summary}
+               $(REMAKE) "$base".xml "$base".xml.queries
+               rm -f "$@"
+               MSG="Test 1 (single query: tatoo vs java implementation)"
+               echo "$MSG" >> "$@"
+               echo "$MSG"
                cat "$base".xml.queries | grep -v '^#' | while read q query; do
                        echo -n "$base"".xml $q $query ... "
                        REF="$base".xml.results/"$q"_jaxp.xml
-                       @REMAKE@ "$REF"
-                       OUTPUT="$base".xml.results/"$q"_@PACKAGE_TARNAME@.xml
-                       LOG="$base".xml.results/"$q"_@PACKAGE_TARNAME@.log
-                       src/@PACKAGE_TARNAME@.native@EXE@ -s "$base".xml \
-                               "$query" "$OUTPUT" > "$LOG" 2>&1
-                       echo "Query: $q : $query" > "$1"
-                       cat  "$LOG" | grep '^STATS' >> "$1"
-                       echo -n "Diff: " >> "$1"
-                       tools/xml_diff.native "$REF" "$OUTPUT" >/dev/null 2>&1
-                       if [ "$?" -eq 0 ]; then
+                       $(REMAKE) "$REF"
+                       OUTPUT="$base".xml.results/"$q"_"$(PACKAGE)"_test1.xml
+                       LOG="$base".xml.results/"$q"_"$(PACKAGE)"_test1.log
+                       cp "$@" /tmp
+                       src/@PACKAGE_TARNAME@.native@EXE@ -s -d "$base".xml \
+                               "$query" -o "$OUTPUT" > "$LOG" 2>&1
+                       cp "$@" /tmp
+                       echo "Query: $q : $query" >> "$@"
+                       cat  "$LOG" | grep '^STATS' >> "$@"
+                       echo -n "Diff: " >> "$@"
+                       if tools/xml_diff.native "$REF" "$OUTPUT" >/dev/null 2>&1; then
+                               echo ok
+                               echo ok >> "$@"
+                       else
+                               echo failed
+                               echo failed >> "$@"
+                               exit 1
+                       fi
+                       echo '-------------------------------------------' >> "$@"
+               done
+
+%.test2.summary:
+               base="$@"
+               base=${base%.xml.test2.summary}
+               $(REMAKE) "$base".xml "$base".xml.queries
+               rm -f "$@"
+               MSG="Test 2 (all queries sequentially vs all queries in parallel)"
+               echo "$MSG" >> "$@"
+               echo "$MSG"
+               allqueries=`cat "$base".xml.queries | grep -v '^#' | while read q query; do echo "'$query'"; done`
+               echo -n "Running all queries ... "
+               OUTPUTA="$base".xml.results/test2a_"$(PACKAGE)".xml
+               LOG="$base".xml.results/test2a_"$(PACKAGE)".log
+               echo -n "sequential ... "
+               echo "$allqueries" | xargs src/@PACKAGE_TARNAME@.native@EXE@ -s -d "$base".xml \
+                -o "$OUTPUTA" > "$LOG" 2>&1
+               cat  "$LOG" | grep '^STATS' >> "$@"
+
+               OUTPUTB="$base".xml.results/test2b_"$(PACKAGE)".xml
+               LOG="$base".xml.results/test2b_"$(PACKAGE)".log
+               echo -n "parallel ... "
+               echo "$allqueries" | xargs src/@PACKAGE_TARNAME@.native@EXE@ -p -s -d "$base".xml \
+                -o "$OUTPUTB" > "$LOG" 2>&1
+               cat  "$LOG" | grep '^STATS' >> "$@"
+                       echo -n "Diff: " >> "$@"
+               if diff "$OUTPUTA" "$OUTPUTB" >/dev/null 2>&1; then
+                       echo ok
+                       echo ok >> "$@"
+               else
+                       echo failed
+                       echo failed >> "$@"
+                       exit 1
+               fi
+               echo '-------------------------------------------' >> "$@"
+
+%.test3.summary:
+               base="$@"
+               base=${base%.xml.test3.summary}
+               $(REMAKE) "$base".xml "$base".xml.queries
+               rm -f "$@"
+               MSG="Test 3 (multiple queries composition: sequential vs parallel)"
+               echo "$MSG" >> "$@"
+               echo "$MSG"
+               cat "$base".xml.queries | grep -v '^#' | while read q query; do
+                       echo -n "$base"".xml $q $query ... sequential ... "
+                       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" $(tools/split_path.native$(EXE) "$query") > "$LOG" 2>&1
+                       echo "Query: $q : $query" >> "$@"
+                       cat  "$LOG" | grep '^STATS' >> "$@"
+
+                       echo -n "parallel ... "
+                       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" $(tools/split_path.native$(EXE) "$query") > "$LOG" 2>&1
+                       echo "Query: $q : $query" >> "$@"
+                       cat  "$LOG" | grep '^STATS' >> "$@"
+
+
+                       echo -n "Diff: " >> "$@"
+                       if diff  "$OUTPUTA" "$OUTPUTB" >/dev/null 2>&1; then
                                echo ok
-                               echo ok >> "$1"
+                               echo ok >> "$@"
                        else
                                echo failed
-                               echo failed >> "$1"
+                               echo failed >> "$@"
+                               exit 1
                        fi
-                       echo '-------------------------------------------' >> "$1"
+                       echo '-------------------------------------------' >> "$@"
                done