summaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2025-05-13 13:27:35 +0100
committerDaniil Baturin <daniil@baturin.org>2025-05-13 13:27:35 +0100
commit8835a91e8383319a6bb98de9fd400b4eb7883eb5 (patch)
tree472544129bde5b05887b5626e41aae91416244d1 /src/dune
parent106be9f37dc69ff7f5e036550aff11dd96aa147e (diff)
downloadvyos1x-config-8835a91e8383319a6bb98de9fd400b4eb7883eb5.tar.gz
vyos1x-config-8835a91e8383319a6bb98de9fd400b4eb7883eb5.zip
deps: T7450: use PCRE2 instead of the original, outdated PCRE
Diffstat (limited to 'src/dune')
-rw-r--r--src/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dune b/src/dune
index 0932138..7e65aff 100644
--- a/src/dune
+++ b/src/dune
@@ -6,7 +6,7 @@
(library
(name vyos1x)
(public_name vyos1x-config)
- (libraries yojson menhirLib fileutils pcre xml-light unix containers)
+ (libraries yojson menhirLib fileutils pcre2 xml-light unix containers)
(preprocess (pps ppx_deriving_yojson))
(foreign_stubs
(language c)