diff options
| author | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2021-03-09 13:11:52 +0100 |
|---|---|---|
| committer | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2021-03-09 14:38:35 +0100 |
| commit | c5462fa78861cf4169a72195778389dc2fa3fc1b (patch) | |
| tree | 0d0034870a654223338074bfe9cea4275fdf3e20 | |
| parent | d075aab0ed97292c68917c31fd3c7c3127e8161a (diff) | |
sollya: init at 0.7
| -rw-r--r-- | pkgs/development/interpreters/sollya/default.nix | 29 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/sollya/default.nix b/pkgs/development/interpreters/sollya/default.nix new file mode 100644 index 000000000000..5c439347f07f --- /dev/null +++ b/pkgs/development/interpreters/sollya/default.nix @@ -0,0 +1,29 @@ +{ lib +, stdenv +, fetchurl +, gmp +, mpfr +, mpfi +, libxml2 +, fplll +}: + +stdenv.mkDerivation rec { + pname = "sollya"; + version = "7.0"; + + src = fetchurl { + url = "https://www.sollya.org/releases/sollya-${version}/sollya-${version}.tar.gz"; + sha256 = "0amrxg7567yy5xqpgchxggjpfr11xyl27vy29c7vlh7v8a17nj1h"; + }; + + buildInputs = [ gmp mpfr mpfi libxml2 fplll ]; + + meta = with lib; { + description = "A tool environment for safe floating-point code development"; + homepage = "https://www.sollya.org/"; + license = licenses.cecill-c; + platforms = platforms.linux; + maintainers = with maintainers; [ eduardosm ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index db3a4ff6ff42..942ac2bc2f69 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -27433,6 +27433,8 @@ in soldat-unstable = callPackage ../games/soldat-unstable { }; + sollya = callPackage ../development/interpreters/sollya { }; + # You still can override by passing more arguments. space-orbit = callPackage ../games/space-orbit { }; |