diff options
author | Alyssa Ross <hi@alyssa.is> | 2023-09-16 08:50:56 +0000 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2023-09-16 08:50:56 +0000 |
commit | c51a27c0e7727fcd2be7d2d7d275f365ab1235be (patch) | |
tree | c6f917179329e0cad02bf8b818569fe6e905ab13 /nixpkgs/pkgs/development/libraries/mpfi | |
parent | 9d1daa60832979d5d361dfdac136fb9e5a1af2c5 (diff) | |
parent | ace5093e36ab1e95cb9463863491bee90d5a4183 (diff) | |
download | nixlib-c51a27c0e7727fcd2be7d2d7d275f365ab1235be.tar nixlib-c51a27c0e7727fcd2be7d2d7d275f365ab1235be.tar.gz nixlib-c51a27c0e7727fcd2be7d2d7d275f365ab1235be.tar.bz2 nixlib-c51a27c0e7727fcd2be7d2d7d275f365ab1235be.tar.lz nixlib-c51a27c0e7727fcd2be7d2d7d275f365ab1235be.tar.xz nixlib-c51a27c0e7727fcd2be7d2d7d275f365ab1235be.tar.zst nixlib-c51a27c0e7727fcd2be7d2d7d275f365ab1235be.zip |
Merge branch 'nixos-unstable' of https://github.com/NixOS/nixpkgs
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/mpfi')
-rw-r--r-- | nixpkgs/pkgs/development/libraries/mpfi/default.nix | 27 |
1 files changed, 18 insertions, 9 deletions
diff --git a/nixpkgs/pkgs/development/libraries/mpfi/default.nix b/nixpkgs/pkgs/development/libraries/mpfi/default.nix index 152c35e6e6f0..4bc568523c9f 100644 --- a/nixpkgs/pkgs/development/libraries/mpfi/default.nix +++ b/nixpkgs/pkgs/development/libraries/mpfi/default.nix @@ -1,23 +1,32 @@ -{lib, stdenv, fetchurl, autoreconfHook, texinfo, mpfr}: +{lib, stdenv, fetchFromGitLab, autoreconfHook, texinfo, mpfr}: stdenv.mkDerivation rec { pname = "mpfi"; version = "1.5.4"; - file_nr = "38111"; - src = fetchurl { - # NOTE: the file_nr is whats important here. The actual package name (including the version) - # is ignored. To find out the correct file_nr, go to https://gforge.inria.fr/projects/mpfi/ - # and click on Download in the section "Latest File Releases". - url = "https://gforge.inria.fr/frs/download.php/file/${file_nr}/mpfi-${version}.tgz"; - sha256 = "sha256-Ozk4WV1yCvF5c96vcnz8DdQcixbCCtwQOpcPSkOuOlY="; + src = fetchFromGitLab { + domain = "gitlab.inria.fr"; + owner = "mpfi"; + repo = "mpfi"; + + # Apparently there is an upstream off-by-one-commit error in tagging + # Conditional to allow auto-updaters to try new releases + # TODO: remove the conditional after an upstream update + # rev = version; + rev = if version == "1.5.4" then + "feab26bc54529417af983950ddbffb3a4c334d4f" + else version; + + sha256 = "sha256-aj/QmJ38ifsW36JFQcbp55aIQRvOpiqLHwEh/aFXsgo="; }; + sourceRoot = "source/mpfi"; + nativeBuildInputs = [ autoreconfHook texinfo ]; buildInputs = [ mpfr ]; meta = { description = "A multiple precision interval arithmetic library based on MPFR"; - homepage = "https://gforge.inria.fr/projects/mpfi/"; + homepage = "http://perso.ens-lyon.fr/nathalie.revol/software.html"; license = lib.licenses.lgpl21Plus; maintainers = [lib.maintainers.raskin]; platforms = lib.platforms.unix; |