From 442a0edc90451478d560c2d185e411afbcc1181c Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Fri, 26 Oct 2018 01:47:04 +0200 Subject: util/sidparse: add cli SID utility --- _oasis | 5 +++++ 1 file changed, 5 insertions(+) (limited to '_oasis') 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 + -- cgit v1.2.3