summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Estabrook <jestabro@vyos.io>2023-03-14 11:52:04 -0500
committerJohn Estabrook <jestabro@vyos.io>2023-03-14 11:52:04 -0500
commit6c34f11f04b478431f68819438d653e329ac0cb7 (patch)
tree61a6852ce28d015084bf6fa352cb2f3050f6e1de
parent317635a6fbe01698fdf71ddef952b7bbb2076d64 (diff)
downloadvyos1x-config-6c34f11f04b478431f68819438d653e329ac0cb7.tar.gz
vyos1x-config-6c34f11f04b478431f68819438d653e329ac0cb7.zip
T5088: add dune support for lexical_numeric_compare
-rw-r--r--dune-project2
-rw-r--r--src/dune5
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)
diff --git a/src/dune b/src/dune
index 7b39748..c6042e2 100644
--- a/src/dune
+++ b/src/dune
@@ -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)))