Fix the Remakefile and testing script.
authorKim Nguyễn <kn@lri.fr>
Thu, 18 Apr 2013 16:14:29 +0000 (18:14 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 18 Apr 2013 16:14:29 +0000 (18:14 +0200)
Remakefile.in
tools/do_tatoo.sh
tools/gen_test_results.sh

index 8a20f92..2903e3e 100644 (file)
@@ -44,7 +44,7 @@ distclean: clean
        rm -rf config.status configure config.log autom4te.cache .remake Remakefile remake
 
 %.class: %.java
        rm -rf config.status configure config.log autom4te.cache .remake Remakefile remake
 
 %.class: %.java
-       javac $1
+       javac ${1%.class}.java
 
 %.native@EXE@:
        base=${1%.native}
 
 %.native@EXE@:
        base=${1%.native}
index a8c95c9..f80df14 100755 (executable)
@@ -1,6 +1,6 @@
 #!/bin/sh
 
 #!/bin/sh
 
-TESTPROG="./tatoo.native"
+TESTPROG="src/tatoo.native"
 VERSION="$(git log -1 --oneline | cut -f1 -d ' ' 2>/dev/null)"
 if [ -z "$VERSION" ]
 then
 VERSION="$(git log -1 --oneline | cut -f1 -d ' ' 2>/dev/null)"
 if [ -z "$VERSION" ]
 then
index c837618..b3d79e0 100755 (executable)
@@ -20,7 +20,7 @@ do
 
             echo -n "Diff ... "
             DIFFILE="$doc".results/"$qname"_"$N".diff
 
             echo -n "Diff ... "
             DIFFILE="$doc".results/"$qname"_"$N".diff
-            ./xml_diff.native $D > "$DIFFILE" 2>&1
+            ./tools/xml_diff.native $D > "$DIFFILE" 2>&1
             case "$?" in
                 "0")
                     echo "ok"
             case "$?" in
                 "0")
                     echo "ok"