diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-02-29 07:22:40 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-03-07 10:08:43 +0100 |
commit | a6fe31a6dc7d1d96936bd534595f994f19024a5c (patch) | |
tree | c56dbb0eef67e5816b8ec913d4dc7871c5d4b428 /pkgs/development/ocaml-modules/vpl-core | |
parent | 18aafa59ad3b19c20a2077e17ac577cc752b131f (diff) |
ocamlPackages.vpl-core: init at 0.5
Diffstat (limited to 'pkgs/development/ocaml-modules/vpl-core')
-rw-r--r-- | pkgs/development/ocaml-modules/vpl-core/default.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/vpl-core/default.nix b/pkgs/development/ocaml-modules/vpl-core/default.nix new file mode 100644 index 0000000000000..08f8eccacc6b0 --- /dev/null +++ b/pkgs/development/ocaml-modules/vpl-core/default.nix @@ -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 ]; + }; + +} |