diff options
Diffstat (limited to '_oasis')
-rw-r--r-- | _oasis | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 + |