-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathopam
37 lines (37 loc) · 1002 Bytes
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
opam-version: "2.0"
name: "osdp"
version: "1.1.1"
maintainer: "Pierre Roux"
author: "Pierre Roux <[email protected]>"
homepage: "https://cavale.enseeiht.fr/osdp/"
dev-repo: "git+https://github.com/Embedded-SW-VnV/osdp"
bug-reports: "author"
license: "LGPL-3.0-or-later"
build: [
["autoconf"]
["./configure"]
[make]
]
install: [make "install"]
depends: [
"ocaml" {>= "4.08"}
"conf-autoconf" {build}
"dune" {>= "3.11"}
"ocamlfind"
"zarith"
"ocplib-simplex" {= "0.5"}
"conf-csdp"
]
depopts: ["conf-sdpa"]
synopsis: "OCaml Interface to SDP solvers"
description: """
OSDP is an OCaml frontend library to semi-definite programming (SDP)
numerical optimization solvers. This package will be installed with
the solver CSDP. It will also be compiled with SDPA and Mosek support
if they can be found in the PATH."""
url {
src:
"https://github.com/Embedded-SW-VnV/osdp/archive/refs/tags/v1.1.0.tar.gz"
checksum: "md5=88f17ea57b6e601009d8a65bd80db54e"
# curl -L archive | md5sum
}