diff --git a/opam b/opam
index d58df2f7..c082a249 100644
--- a/opam
+++ b/opam
@@ -5,6 +5,7 @@ version: "dev"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
 build: [
+    [make "disable_log"]
     [make "lib"]
 ]
 install: [
@@ -24,3 +25,4 @@ tags: [ "sat" "smt" ]
 homepage: "https://github.com/Gbury/mSAT"
 dev-repo: "https://github.com/Gbury/mSAT.git"
 bug-reports: "https://github.com/Gbury/mSAT/issues/"
+
diff --git a/util/log.mli b/util/log.mli
index 6b96e256..c60916bc 100644
--- a/util/log.mli
+++ b/util/log.mli
@@ -22,3 +22,4 @@ val debug : int -> string -> unit
 
 val set_debug_out : Format.formatter -> unit
 (** Change the output formatter. *)
+