Permalink
Browse files

Integrate testsuite (#520)

* integrated testsuite repository

* added the check phase to opam file

now every build will also checkout the testuite and run all tests.

* initialize submodule only if in the git repo.

Since when we're pinned from opam, we're no longer
in git, but opam should recursively fetch all submodules for us.

* added dejagnu dependency.

* bumped testsuite to a newer version

that supports older Tcl
  • Loading branch information...
ivg committed Jul 14, 2016
1 parent c1c1d87 commit 1db25f47c775f9ba8f5432b98337e8c3417c17a2
Showing with 9 additions and 15 deletions.
  1. +3 −0 .gitmodules
  2. +1 −0 .travis.yml
  3. +3 −15 Makefile
  4. +1 −0 opam/opam
  5. +1 −0 testsuite
View
@@ -0,0 +1,3 @@
+[submodule "testsuite"]
+ path = testsuite
+ url = https://github.com/BinaryAnalysisPlatform/bap-testsuite
View
@@ -31,6 +31,7 @@ addons:
- ocaml-nox
- time
- aspcud
+ - dejagnu
env:
- FORK_USER=talex5 FORK_BRANCH=containers OPAMYES=true PACKAGE=bap OCAML_VERSION=latest TESTS=false
View
@@ -1,6 +1,4 @@
SETUP = ocaml setup.ml -quiet
-PIQI=piqi
-OCI=ocp-indent
build: setup.ml
$(SETUP) -build $(BAPBUILDFLAGS)
@@ -35,16 +33,6 @@ distclean:
.PHONY: clean disclean reinstall
.PHONY: check
-check: check-piqi check-ocp-indent
-
-.PHONY: check-piqi
-check-piqi: *.piqi
- for piqifile in $^; do $(PIQI) check --strict $$piqifile; done
-
-.PHONY: check-ocp-indent
-check-ocp-indent: *.ml
- for mlfile in $^; do $(OCI) $$mlfile | diff - $$mlfile; done
-
-.PHONY: auto-ocp-indent
-auto-ocp-indent: *.ml
- for mlfile in $^; do $(OCI) -i $$mlfile; done
+check:
+ if [ -d .git ]; then git submodule init; git submodule update; fi
+ make -C testsuite
View
@@ -74,6 +74,7 @@ install: [
[make "reinstall"]
["bap-byteweight" "update" "--url=https://github.com/BinaryAnalysisPlatform/bap/releases/download/v0.9.9/sigs.zip"]
[make "test"]
+ [make "check"]
]
remove: [
Submodule testsuite added at 44a02c

0 comments on commit 1db25f4

Please sign in to comment.