diff options
author | 7c6f434c <7c6f434c@mail.ru> | 2023-09-14 05:46:57 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-14 05:46:57 +0000 |
commit | 2d7b472ca9f3a5d6005607fa0c57683ed20cfeec (patch) | |
tree | e0660a89942d97f98fc8f9322adf1f01ea167dc4 /pkgs/development | |
parent | f2ea252d23ebc9a5336bf6a61e0644921f64e67c (diff) | |
parent | 667b990475903154fa0559730ce5d55e1a0dbf69 (diff) | |
download | nixpkgs-2d7b472ca9f3a5d6005607fa0c57683ed20cfeec.tar nixpkgs-2d7b472ca9f3a5d6005607fa0c57683ed20cfeec.tar.gz nixpkgs-2d7b472ca9f3a5d6005607fa0c57683ed20cfeec.tar.bz2 nixpkgs-2d7b472ca9f3a5d6005607fa0c57683ed20cfeec.tar.lz nixpkgs-2d7b472ca9f3a5d6005607fa0c57683ed20cfeec.tar.xz nixpkgs-2d7b472ca9f3a5d6005607fa0c57683ed20cfeec.tar.zst nixpkgs-2d7b472ca9f3a5d6005607fa0c57683ed20cfeec.zip |
Merge pull request #254832 from 7c6f434c/mpfi-inria-gitlab
mpfi: switch source to INRIA GitLab
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/libraries/mpfi/default.nix | 27 |
1 files changed, 18 insertions, 9 deletions
diff --git a/pkgs/development/libraries/mpfi/default.nix b/pkgs/development/libraries/mpfi/default.nix index 152c35e6e6f..4bc568523c9 100644 --- a/pkgs/development/libraries/mpfi/default.nix +++ b/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; |