pkgs/development/interpreters/sollya/default.nix

   1 { lib
   2 , stdenv
   3 , fetchurl
   4 , gmp
   5 , mpfr
   6 , mpfi
   7 , libxml2
   8 , fplll
   9 }:
  10
  11 stdenv.mkDerivation rec {
  12   pname = "sollya";
  13   version = "8.0";
  14
  15   src = fetchurl {
  16     url = "https://www.sollya.org/releases/sollya-${version}/sollya-${version}.tar.gz";
  17     sha256 = "sha256-WNc0+aL8jmczwR+W0t+aslvvJNccQBIw4p8KEzmoEZI=";
  18   };
  19
  20   buildInputs = [ gmp mpfr mpfi libxml2 fplll ];
  21
  22   doCheck = true;
  23
  24   meta = with lib; {
  25     description = "A tool environment for safe floating-point code development";
  26     homepage = "https://www.sollya.org/";
  27     license = licenses.cecill-c;
  28     platforms = platforms.unix;
  29     maintainers = with maintainers; [ wegank ];
  30   };
  31 }