pkgs/development/libraries/mpfi/default.nix

   1 {lib, stdenv, fetchurl, autoreconfHook, texinfo, mpfr}:
   2 stdenv.mkDerivation rec {
   3   pname = "mpfi";
   4   version = "1.5.4";
   5   file_nr = "38111";
   6
   7   src = fetchurl {
   8     # NOTE: the file_nr is whats important here. The actual package name (including the version)
   9     # is ignored. To find out the correct file_nr, go to https://gforge.inria.fr/projects/mpfi/
  10     # and click on Download in the section "Latest File Releases".
  11     url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tgz";
  12     sha256 = "sha256-Ozk4WV1yCvF5c96vcnz8DdQcixbCCtwQOpcPSkOuOlY=";
  13   };
  14
  15   nativeBuildInputs = [ autoreconfHook texinfo ];
  16   buildInputs = [ mpfr ];
  17
  18   meta = {
  19     description = "A multiple precision interval arithmetic library based on MPFR";
  20     homepage = "https://gforge.inria.fr/projects/mpfi/";
  21     license = lib.licenses.lgpl21Plus;
  22     maintainers = [lib.maintainers.raskin];
  23     platforms = lib.platforms.unix;
  24   };
  25 }