diff --git a/opam b/opam
index 7b7350b1..5af72ff0 100644
--- a/opam
+++ b/opam
@@ -1,15 +1,18 @@
-opam-version: "1.1"
+opam-version: "1.2"
 license: "Apache"
 version: "dev"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
+build: [
+    [make "all"]
+]
 install: [
     [make "install"]
 ]
 remove: [
     ["ocamlfind" "remove" "msat"]
 ]
-depends: ["ocamlfind" "num" "unix"]
+depends: ["ocamlfind" {build} "base-unix"]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/Gbury/mSAT"
 dev-repo: "https://github.com/Gbury/mSAT.git"