projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5bdd670
)
Add a target to run tests with the bytecode version of the program.
author
Kim Nguyễn
<kn@lri.fr>
Thu, 28 Nov 2013 22:21:54 +0000
(23:21 +0100)
committer
Kim Nguyễn
<kn@lri.fr>
Thu, 28 Nov 2013 22:21:54 +0000
(23:21 +0100)
Remakefile.in
patch
|
blob
|
history
diff --git
a/Remakefile.in
b/Remakefile.in
index
50ae9d2
..
623fb86
100644
(file)
--- a/
Remakefile.in
+++ b/
Remakefile.in
@@
-9,6
+9,7
@@
OCAMLFINDLINKFLAGS = -linkpkg
PACKAGE = @PACKAGE_TARNAME@
SRC = src
BIN = src/@PACKAGE_TARNAME@.native@EXE@
PACKAGE = @PACKAGE_TARNAME@
SRC = src
BIN = src/@PACKAGE_TARNAME@.native@EXE@
+BYTE = src/@PACKAGE_TARNAME@.byte@EXE@
EXE = @EXE@
REMAKE = @REMAKE@
EXE = @EXE@
REMAKE = @REMAKE@
@@
-110,28
+111,36
@@
distclean: clean test_clean
## Tests
## Tests
-test:
+test_byte: tools $(BYTE)
+ $(REMAKE) TEST=$(BYTE) real_test
+
+test_native: tools $(BIN)
+ $(REMAKE) TEST=$(BIN) real_test
+
+test: test_native
+
+real_test:
for i in tests/*.xml
do
for j in 1 2 3
do
for i in tests/*.xml
do
for j in 1 2 3
do
- $(REMAKE) "$i".test"$j".summary
+ $(REMAKE)
TEST=$(TEST)
"$i".test"$j".summary
done
done
test_clean:
rm -rf tests/*.summary tests/*.results/*_"$(PACKAGE)"_*.*
done
done
test_clean:
rm -rf tests/*.summary tests/*.results/*_"$(PACKAGE)"_*.*
-%.summary:
tools $(BIN)
-
target=$@
-
base=$*
-
test=${base#*.xml.}
-
xml=${base%.$test}
-
REMAKE=$(REMAKE)
-
BIN=$(BIN
)
-
SPLIT=tools/split_path.native$(EXE)
-
XMLDIFF=tools/xml_diff.native$(EXE)
-
PACKAGE=$(PACKAGE)
-
$REMAKE $xml ${xml}.queries tests/${test}.sh
-
rm -f "$target"
-
. tests/${test}.sh
+%.summary:
+ target=$@
+ base=$*
+ test=${base#*.xml.}
+ xml=${base%.$test}
+ REMAKE=$(REMAKE)
+
BIN=$(TEST
)
+ SPLIT=tools/split_path.native$(EXE)
+ XMLDIFF=tools/xml_diff.native$(EXE)
+ PACKAGE=$(PACKAGE)
+ $REMAKE $xml ${xml}.queries tests/${test}.sh
+ rm -f "$target"
+ . tests/${test}.sh