[dune] no need to link extlib

Summary: This was causing issues with a clash between extlib's Base64 and base64's Base64, but only when Java was disabled. Whatever. Turns out we don't even need the fucker. Reviewed By: ngorogiannis Differential Revision: D14002435 fbshipit-source-id: 011716766
6 years ago · 7391cc31ae
parent 4d46f8631e
commit 7391cc31ae
1 changed files with 0 additions and 1 deletions
--- a/infer/src/dune.common.in
+++ b/infer/src/dune.common.in
@ -67,7 +67,6 @@ let common_libraries =
    ; "cmdliner"
    ; "core"
    ; "elina"
    ; "extlib"
    ; "mtime.clock.os"
    ; "ocamlgraph"
    ; "oUnit"