From ca9c1729fd7050d25b2c7f49ad292718db4bc43a Mon Sep 17 00:00:00 2001 From: Felipe Garay Date: Thu, 28 Apr 2016 14:50:49 +0200 Subject: [PATCH 1/4] add opam package information --- opam | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 opam diff --git a/opam b/opam new file mode 100644 index 0000000..3cc4d18 --- /dev/null +++ b/opam @@ -0,0 +1,15 @@ +opam-version: "1.2" +name: "minisat" +version: "0.3" +maintainer: "pietro abate" +author: "Pietro Abate and Flavio Lerda" +license: "GPL3" +dev-repo: "https://github.com/abate/minisat-ocaml.git" +homepage: "https://github.com/abate/minisat-ocaml" +build: ["%{make}%"] +install: ["%{make}%" "install"] + +depexts: [ + [["debian"] ["minisat"]] + [["ubuntu"] ["minisat"]] +] From 9aaaf514cc9e5de1c0f1623371adbe5231547fff Mon Sep 17 00:00:00 2001 From: Felipe Garay Date: Thu, 28 Apr 2016 17:39:27 +0200 Subject: [PATCH 2/4] add build of cmxa --- opam | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/opam b/opam index 3cc4d18..75071fa 100644 --- a/opam +++ b/opam @@ -6,7 +6,10 @@ author: "Pietro Abate and Flavio Lerda" license: "GPL3" dev-repo: "https://github.com/abate/minisat-ocaml.git" homepage: "https://github.com/abate/minisat-ocaml" -build: ["%{make}%"] +build: [ + ["%{make}%"] + ["%{make}%" "opt"] +] install: ["%{make}%" "install"] depexts: [ From 59c13a2fc015cc331b4c5d1b7c1aa3f839e7552b Mon Sep 17 00:00:00 2001 From: Felipe Garay Date: Thu, 28 Apr 2016 18:16:25 +0200 Subject: [PATCH 3/4] fix some fields of the opam package --- opam | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/opam b/opam index 75071fa..ba15969 100644 --- a/opam +++ b/opam @@ -1,9 +1,9 @@ opam-version: "1.2" -name: "minisat" -version: "0.3" -maintainer: "pietro abate" +name: "minisat2" +version: "0.4" +maintainer: "pietro abate " author: "Pietro Abate and Flavio Lerda" -license: "GPL3" +license: "GPL3 WITH linking exception" dev-repo: "https://github.com/abate/minisat-ocaml.git" homepage: "https://github.com/abate/minisat-ocaml" build: [ From ece68eac21f7a5654ccdb6f39e5bcb5882e750f1 Mon Sep 17 00:00:00 2001 From: Felipe Garay Date: Thu, 28 Apr 2016 18:20:17 +0200 Subject: [PATCH 4/4] add descr --- descr | 1 + 1 file changed, 1 insertion(+) create mode 100644 descr diff --git a/descr b/descr new file mode 100644 index 0000000..bcb2eb7 --- /dev/null +++ b/descr @@ -0,0 +1 @@ +Bindings for the minisat2 SAT solver