Commit e7a162f4 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

ocamlPackages.apron: enable PPLite support

parent 038238e6

pkgs/development/ocaml-modules/apron/default.nix

+2 −1
Original line number Diff line number Diff line 
{ 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