diff --git a/mccs.opam b/mccs.opam index 598fa43..8a5bc27 100644 --- a/mccs.opam +++ b/mccs.opam @@ -1,23 +1,29 @@ opam-version: "2.0" version: "1.1+17" +synopsis: """\ +MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver +developed at UNS during the European MANCOOSI project""" maintainer: "Louis Gesbert " authors: [ "Claude Michel " "Louis Gesbert " ] +license: [ + "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" + "BSD-3-clause" + "GPL-3.0-only" +] homepage: "https://www.i3s.unice.fr/~cpjm/misc/" bug-reports: "https://github.com/ocaml-opam/ocaml-mccs/issues" -license: ["LGPL-2.1-only WITH OCaml-LGPL-linking-exception" "BSD-3-clause" "GPL-3.0-only"] -dev-repo: "git+https://github.com/ocaml-opam/ocaml-mccs.git" -build: [ - ["dune" "build" "-p" name "-j" jobs] - ["sh" "-c" "dune build @settests --auto-promote || true"] {with-test} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} -] depends: [ "ocaml" "dune" {>= "1.0"} "cudf" {>= "0.7"} + "conf-c++" {build} ] -synopsis: "MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver -developed at UNS during the European MANCOOSI project" +build: [ + ["dune" "build" "-p" name "-j" jobs] + ["sh" "-c" "dune build @settests --auto-promote || true"] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] +dev-repo: "git+https://github.com/ocaml-opam/ocaml-mccs.git"