diff options
| -rw-r--r-- | dune-project | 2 | ||||
| -rw-r--r-- | src/dune | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/dune-project b/dune-project index 26da116..fab305c 100644 --- a/dune-project +++ b/dune-project @@ -1,3 +1,3 @@ -(lang dune 1.9) +(lang dune 2.0) (using menhir 2.0) (name vyos1x-config) @@ -7,4 +7,7 @@ (name vyos1x) (public_name vyos1x-config) (libraries yojson menhirLib) - (preprocess (pps ppx_deriving_yojson))) + (preprocess (pps ppx_deriving_yojson)) + (foreign_stubs + (language c) + (names lexical_numeric_compare))) |