summaryrefslogtreecommitdiff
path: root/_oasis
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-27 00:03:50 +0200
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-28 23:07:52 +0100
commit4175ecde16ddbb0637cfafd3a41254d995d8bab7 (patch)
tree56b1d7207e322465b2549733c0fd2b66bb3507b2 /_oasis
parent442a0edc90451478d560c2d185e411afbcc1181c (diff)
downloadocaml-sid-4175ecde16ddbb0637cfafd3a41254d995d8bab7.tar.gz
util: sidparse_test. add trivial test wrapper
Diffstat (limited to '_oasis')
-rw-r--r--_oasis6
1 files changed, 6 insertions, 0 deletions
diff --git a/_oasis b/_oasis
index c7b8696..c8c8ad0 100644
--- a/_oasis
+++ b/_oasis
@@ -27,6 +27,12 @@ Test "test_sid"
Executable "sidparse"
Path: util
+ CompiledObject: native
MainIs: sidparse.ml
BuildDepends: sid, stdint, cmdliner, unix
+Test "test_sidparse"
+ Run$: flag(tests)
+ TestTools: util/sidparse_test.sh
+ Command: util/sidparse_test.sh
+