From 875efa33c6e6af13dafe50fa2b0f85fff904aeae Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 28 Dec 2017 18:14:32 +0100
Subject: [PATCH] update opam files

---
 msat.opam        | 16 ++++------------
 msat_solver.opam | 16 ++++------------
 2 files changed, 8 insertions(+), 24 deletions(-)

diff --git a/msat.opam b/msat.opam
index ac7aa2c8..e5d45a09 100644
--- a/msat.opam
+++ b/msat.opam
@@ -4,18 +4,10 @@ license: "Apache"
 version: "dev"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
-build: [
-    [make "build"]
-]
-build-doc: [
-    [make "doc"]
-]
-install: [
-    [make "install"]
-]
-remove: [
-    [make "uninstall"]
-]
+build: ["jbuilder" "build" "@install" "-p" name]
+build-doc: ["jbuilder" "build" "@doc" "-p" name]
+install: ["jbuilder" "install" name]
+remove: ["jbuilder" "uninstall" name]
 depends: [
   "ocamlfind" {build}
   "jbuilder" {build}
diff --git a/msat_solver.opam b/msat_solver.opam
index 8b090d0b..dfa006db 100644
--- a/msat_solver.opam
+++ b/msat_solver.opam
@@ -4,18 +4,10 @@ license: "Apache"
 version: "dev"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
-build: [
-    [make "build"]
-]
-build-doc: [
-    [make "doc"]
-]
-install: [
-    [make "install"]
-]
-remove: [
-    [make "uninstall"]
-]
+build: ["jbuilder" "build" "@install" "-p" name]
+build-doc: ["jbuilder" "build" "@doc" "-p" name]
+install: ["jbuilder" "install" name]
+remove: ["jbuilder" "uninstall" name]
 depends: [
   "ocamlfind" {build}
   "jbuilder" {build}