From ec6fb0d5e13b3d34950c74f0f2d037b1f297a90b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 7 Aug 2021 17:20:52 -0400 Subject: [PATCH] wip: checker binary --- src/checker/dune | 7 +++++++ src/checker/main.ml | 4 ++++ 2 files changed, 11 insertions(+) create mode 100644 src/checker/dune create mode 100644 src/checker/main.ml diff --git a/src/checker/dune b/src/checker/dune new file mode 100644 index 00000000..4dc99b04 --- /dev/null +++ b/src/checker/dune @@ -0,0 +1,7 @@ + +(executable + (name main) + (public_name sidekick-checker) + (package sidekick-bin) + (libraries containers sidekick.util sidekick.drup) + (flags :standard -warn-error -a+8 -open Sidekick_util)) diff --git a/src/checker/main.ml b/src/checker/main.ml new file mode 100644 index 00000000..07a6f3e9 --- /dev/null +++ b/src/checker/main.ml @@ -0,0 +1,4 @@ + + +let () = + assert false