diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-10-26 01:47:04 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-10-28 23:07:51 +0100 |
| commit | 442a0edc90451478d560c2d185e411afbcc1181c (patch) | |
| tree | a9634783136652475da00d1c1b035814870cf5f1 /_oasis | |
| parent | 04be611be6ab6bcfa7617365ab824ca2b1dc2f9b (diff) | |
| download | ocaml-sid-442a0edc90451478d560c2d185e411afbcc1181c.tar.gz | |
util/sidparse: add cli SID utility
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 + |