Skip to content

Commit

Permalink
always link statically for now so we can get the CI green maybe
Browse files Browse the repository at this point in the history
  • Loading branch information
Simn committed Sep 13, 2019
1 parent ffb8de9 commit 38e016a
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 2 deletions.
1 change: 0 additions & 1 deletion libs/pcre/dune
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,5 @@
(library
(name pcre)
(c_names pcre_stubs)
(c_library_flags (-lpcre))
(wrapped false)
)
1 change: 0 additions & 1 deletion libs/ziplib/dune
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,5 @@
(library
(name ziplib)
(libraries extc unix)
(c_library_flags (-lz))
(wrapped false)
)
1 change: 1 addition & 0 deletions src/dune
Original file line number Diff line number Diff line change
Expand Up @@ -21,4 +21,5 @@
(preprocess (per_module
((pps sedlex.ppx) json lexer)
))
(link_flags (-cclib "-Wl,-Bstatic -lpcre -lz -Wl,-Bdynamic"))
)

0 comments on commit 38e016a

Please sign in to comment.