diff --git a/src/libirmin/lib/dune b/src/libirmin/lib/dune index dbfd80157a6..5664d7a29ba 100644 --- a/src/libirmin/lib/dune +++ b/src/libirmin/lib/dune @@ -7,25 +7,18 @@ (executable (name libirmin) - (package libirmin) - (public_name libirmin) (libraries libirmin_bindings) - (modes - (native shared_object) - native) + (modes shared_object) (modules libirmin irmin_bindings) (foreign_stubs (language c) - (names irmin))) + (names irmin)) + (flags + (:standard -w -unused-var-strict -ccopt "-Wl,-znow"))) (install (package libirmin) (section lib) (files (irmin.h as include/irmin.h) - (libirmin.so as lib/libirmin.so))) - -(env - (dev - (flags - (:standard -w -unused-var-strict)))) + (libirmin%{ext_dll} as lib/libirm%{ext_dll}))) diff --git a/src/libirmin/util.ml b/src/libirmin/util.ml index 52136931316..812d13c47e3 100644 --- a/src/libirmin/util.ml +++ b/src/libirmin/util.ml @@ -49,7 +49,7 @@ module Make (I : Cstubs_inverted.INTERNAL) = struct match Lwt.poll x with | Some x -> x | None -> - let () = Lwt_engine.iter true in + let () = Lwt_engine.iter false in run x module Root = struct