this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Louis Gesbert <louis.gesbert@ocamlpro.com>"
3authors: [
4 "Claude Michel <claude.michel@unice.fr>"
5 "Louis Gesbert <louis.gesbert@ocamlpro.com>"
6]
7homepage: "http://www.i3s.unice.fr/~cpjm/misc/"
8bug-reports: "https://github.com/AltGr/ocaml-mccs/issues"
9license: ["LGPL-2.1-only WITH OCaml-LGPL-linking-exception" "BSD-3-Clause" "GPL-3.0-only"]
10dev-repo: "git+https://github.com/AltGr/ocaml-mccs.git"
11build: [
12 ["dune" "build" "-p" name "-j" jobs]
13 # Tests fail on these platforms without ocaml-opam/ocaml-mccs#50 in 1.1+17
14 ["sh" "-c" "dune build @settests --auto-promote --profile=release || true"] {with-test & os != "freebsd" & os != "macos"}
15 ["dune" "runtest" "--profile=release"] {with-test & os != "freebsd" & os != "macos"}
16]
17depends: [
18 "ocaml" {< "4.10"}
19 "dune" {>= "1.0" & (< "1.6.0" | > "1.6.1")}
20 "cudf" {>= "0.7"}
21 "conf-c++" {build}
22]
23synopsis: "MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver
24developed at UNS during the European MANCOOSI project"
25url {
26 src: "https://github.com/AltGr/ocaml-mccs/archive/1.1+10.tar.gz"
27 checksum: [
28 "md5=21fa1652179d47baebd2e3f3cfdbf1d7"
29 "sha512=a22a0b7abf32950f234f43d45e69c4186f81b5c55b3ec0f8c25d13a59250c0690ac109b9022aeb8b48744c8e78c48cdb7e9c31ee1072e28464f9c3a9f0c1ca8e"
30 ]
31}