From 27f5606e9ecb64d14bf78538a02556699442607c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 3 Nov 2014 15:56:36 +0100 Subject: [PATCH] attempt to add an "opam" file --- opam | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 opam diff --git a/opam b/opam new file mode 100644 index 00000000..7b7350b1 --- /dev/null +++ b/opam @@ -0,0 +1,16 @@ +opam-version: "1.1" +license: "Apache" +version: "dev" +author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer"] +maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"] +install: [ + [make "install"] +] +remove: [ + ["ocamlfind" "remove" "msat"] +] +depends: ["ocamlfind" "num" "unix"] +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/"