From 9f093d2dd2ad1186eb2d5401861e0bb44c45133f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Thu, 28 Nov 2013 23:21:54 +0100 Subject: [PATCH] Add a target to run tests with the bytecode version of the program. --- Remakefile.in | 39 ++++++++++++++++++++++++--------------- 1 file changed, 24 insertions(+), 15 deletions(-) diff --git a/Remakefile.in b/Remakefile.in index 50ae9d2..623fb86 100644 --- a/Remakefile.in +++ b/Remakefile.in @@ -9,6 +9,7 @@ OCAMLFINDLINKFLAGS = -linkpkg PACKAGE = @PACKAGE_TARNAME@ SRC = src BIN = src/@PACKAGE_TARNAME@.native@EXE@ +BYTE = src/@PACKAGE_TARNAME@.byte@EXE@ EXE = @EXE@ REMAKE = @REMAKE@ @@ -110,28 +111,36 @@ distclean: clean test_clean ## 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 - $(REMAKE) "$i".test"$j".summary + $(REMAKE) TEST=$(TEST) "$i".test"$j".summary 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 -- 2.17.1