From 588f7fb7ed7fa0ff442bac7bafa4df84c7996cad Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 3 Nov 2014 16:17:31 +0100
Subject: [PATCH] updated opam file

---
 opam | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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"