nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 00:12:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.vpl-core: init at 0.5

Browse Source
This commit is contained in:
Vincent Laporte 2024-02-29 07:22:40 +01:00 committed by Vincent Laporte
parent 18aafa59ad
commit a6fe31a6dc
2 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
pkgs/development/ocaml-modules/vpl-core/default.nix Normal file
View File

@ -0,0 +1,31 @@
{ lib
, fetchFromGitHub
, buildDunePackage
, zarith
}:
buildDunePackage rec {
pname = "vpl-core";
version = "0.5";
minimalOCamlVersion = "4.07";
src = fetchFromGitHub {
owner = "VERIMAG-Polyhedra";
repo = "vpl";
rev = version;
hash = "sha256-mSD/xSweeK9WMxWDdX/vzN96iXo74RkufjuNvtzsP9o=";
};
propagatedBuildInputs = [
zarith
];
meta = {
description = "Verified Polyhedra Library";
homepage = "https://amarechal.gitlab.io/home/projects/vpl/";
license = lib.licenses.lgpl3Only;
maintainers = [ lib.maintainers.vbgl ];
};
}

2
pkgs/top-level/ocaml-packages.nix
View File

@ -1871,6 +1871,8 @@ let
vorbis = callPackage ../development/ocaml-modules/vorbis { }; vorbis = callPackage ../development/ocaml-modules/vorbis { };
vpl-core = callPackage ../development/ocaml-modules/vpl-core { };
### W ### ### W ###
wasm = callPackage ../development/ocaml-modules/wasm { }; wasm = callPackage ../development/ocaml-modules/wasm { };