nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-02 13:00:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.apron: enable PPLite support

Browse Source 
(cherry picked from commit ea7084c266)
This commit is contained in:
Vincent Laporte
2023-09-21 07:24:49 +02:00
committed by github-actions[bot]
parent 18b7c9ce0b
commit 0393e94848
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/ocaml-modules/apron/default.nix
View File

@@ -1,4 +1,5 @@
{ stdenv, lib, fetchFromGitHub, perl, gmp, mpfr, ppl, ocaml, findlib, camlidl, mlgmpidl
, flint, pplite
}:
stdenv.mkDerivation rec {
@@ -12,7 +13,7 @@ stdenv.mkDerivation rec {
};
nativeBuildInputs = [ ocaml findlib perl ];
buildInputs = [ gmp mpfr ppl camlidl ];
buildInputs = [ gmp mpfr ppl camlidl flint pplite ];
propagatedBuildInputs = [ mlgmpidl ];
# TODO: Doesn't produce the library correctly if true