From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:50288) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hC7sD-000383-HS for guix-patches@gnu.org; Thu, 04 Apr 2019 15:18:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hC7sC-00045R-Bf for guix-patches@gnu.org; Thu, 04 Apr 2019 15:18:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:59409) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hC7sC-00045B-4A for guix-patches@gnu.org; Thu, 04 Apr 2019 15:18:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hC7sB-0000A2-VS for guix-patches@gnu.org; Thu, 04 Apr 2019 15:18:03 -0400 Subject: [bug#35150] [PATCH 7/9] gnu: Add ocaml-mccs. Resent-Message-ID: From: Julien Lepiller Date: Thu, 4 Apr 2019 21:16:36 +0200 Message-Id: <20190404191638.31953-7-julien@lepiller.eu> In-Reply-To: <20190404191638.31953-1-julien@lepiller.eu> References: <20190404205437.5fe1bd60@lepiller.eu> <20190404191638.31953-1-julien@lepiller.eu> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 35150@debbugs.gnu.org * gnu/packages/ocaml.scm (ocaml-mccs): New variable. --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 263a318e58..04d5a84d1a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -363,6 +363,34 @@ Software distribution.") ;; With static-linking exception (license license:lgpl2.1+))) +(define-public ocaml-mccs + (package + (name "ocaml-mccs") + (version "1.1+9") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AltGr/ocaml-mccs") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1i0hhkrqi7rqlainlg5pc4hibbx6b5dp3x99gmav8c3sbfvlk9mc")))) + (build-system dune-build-system) + (propagated-inputs `(("ocaml-cudf" ,ocaml-cudf))) + (home-page "http://www.i3s.unice.fr/~cpjm/misc/") + (synopsis "Upgrade path problem solver") + (description "Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver. +Mccs take as input a CUDF problem and computes the best solution according to +a set of criteria. It relies on a Integer Programming solver or a +Pseudo Boolean solver to achieve its task. Mccs can use a wide set of +underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.") + (license (list + license:bsd-3 + license:gpl3+ + ;; With static-linking exception + license:lgpl2.1+)))) + (define-public ocaml-opam-file-format (package (name "ocaml-opam-file-format") -- 2.21.0