From 52763c33a72ff1e5cace0f4c3b6e1df6bd4539a0 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 29 Oct 2014 17:43:55 +0100
Subject: [PATCH] wip: opam file

---
 README.md | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 0dcd0fac..fc46d9b0 100644
--- a/README.md
+++ b/README.md
@@ -19,8 +19,17 @@ This program is distributed under the Apache Software License version
 
 
 ## INSTALLATION
-============
 
-You will need ocamlfind.
+### Via opam
+
+Once the package is on [opam](http://opam.ocaml.org), just `opam install msat`.
+For the development version, use:
+
+    opam pin add msat https://github.com/Gbury/mSAT.git
+
+### Manual installation You will need ocamlfind. The command is:
+
+    make install
+