tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 ocaml,
6 findlib,
7 zarith,
8 ocplib-simplex,
9 csdp,
10 autoconf,
11}:
12
13buildDunePackage {
14 pname = "osdp";
15 version = "1.1.1";
16
17 src = fetchurl {
18 url = "https://github.com/Embedded-SW-VnV/osdp/releases/download/v1.1.1/osdp-1.1.1.tgz";
19 hash = "sha256-X7CS2g+MyQPDjhUCvFS/DoqcCXTEw8SCsSGED64TGKQ=";
20 };
21
22 preConfigure = ''
23 autoconf
24 '';
25
26 nativeBuildInputs = [
27 autoconf
28 findlib
29 csdp
30 ];
31 propagatedBuildInputs = [
32 zarith
33 ocplib-simplex
34 csdp
35 ];
36
37 meta = {
38 description = "OCaml Interface to SDP solvers";
39 homepage = "https://github.com/Embedded-SW-VnV/osdp";
40 license = lib.licenses.lgpl3Plus;
41 broken = lib.versionAtLeast ocaml.version "5.0";
42 };
43}