From 38e016a3fc655f0cc900e9647ddff02679ec90e0 Mon Sep 17 00:00:00 2001 From: Simon Krajewski Date: Fri, 13 Sep 2019 08:35:21 +0200 Subject: [PATCH] always link statically for now so we can get the CI green maybe --- libs/pcre/dune | 1 - libs/ziplib/dune | 1 - src/dune | 1 + 3 files changed, 1 insertion(+), 2 deletions(-) diff --git a/libs/pcre/dune b/libs/pcre/dune index 64112ac83a7..68d4fee0864 100644 --- a/libs/pcre/dune +++ b/libs/pcre/dune @@ -3,6 +3,5 @@ (library (name pcre) (c_names pcre_stubs) - (c_library_flags (-lpcre)) (wrapped false) ) \ No newline at end of file diff --git a/libs/ziplib/dune b/libs/ziplib/dune index 4348b7f104b..506e97bd596 100644 --- a/libs/ziplib/dune +++ b/libs/ziplib/dune @@ -3,6 +3,5 @@ (library (name ziplib) (libraries extc unix) - (c_library_flags (-lz)) (wrapped false) ) \ No newline at end of file diff --git a/src/dune b/src/dune index e23a9c4d658..9b7dc05f022 100644 --- a/src/dune +++ b/src/dune @@ -21,4 +21,5 @@ (preprocess (per_module ((pps sedlex.ppx) json lexer) )) + (link_flags (-cclib "-Wl,-Bstatic -lpcre -lz -Wl,-Bdynamic")) ) \ No newline at end of file