summaryrefslogtreecommitdiff
path: root/_oasis
diff options
context:
space:
mode:
Diffstat (limited to '_oasis')
-rw-r--r--_oasis5
1 files changed, 5 insertions, 0 deletions
diff --git a/_oasis b/_oasis
index e552a3e..c7b8696 100644
--- a/_oasis
+++ b/_oasis
@@ -25,3 +25,8 @@ Test "test_sid"
TestTools: sid_test
Command: $sid_test
+Executable "sidparse"
+ Path: util
+ MainIs: sidparse.ml
+ BuildDepends: sid, stdint, cmdliner, unix
+