Unverified Commit 46b67681 authored by Mauricio Collares's avatar Mauricio Collares Committed by GitHub
Browse files

flint3: 3.1.2 -> 3.2.1 (#394002)

parents 76ba3d47 21af19fa

pkgs/by-name/pp/pplite/package.nix

+10 −0
Original line number Diff line number Diff line
@@ -2,6 +2,7 @@ 
  stdenv,

  lib,

  fetchurl,

  fetchpatch,

  flint3,

  gmp,

}:
@@ -20,6 +21,15 @@ stdenv.mkDerivation { 
    gmp

  ];



  patches = [

    # https://github.com/ezaffanella/PPLite/pull/1

    (fetchpatch {

      name = "flint-3_2.patch";

      url = "https://github.com/ezaffanella/PPLite/commit/96fd1e50131f70bb78efdd60985525e970c9df06.patch";

      hash = "sha256-8FNyL8h/rBm2Hegib2l08vqEmFDU0PhMCV8Ui2G4xHQ=";

    })

  ];



  meta = {

    homepage = "https://github.com/ezaffanella/PPLite";

    description = "Convex polyhedra library for Abstract Interpretation";

pkgs/development/libraries/flint/3.nix

+4 −20
Original line number Diff line number Diff line 
{

  lib,

  stdenv,

  fetchpatch,

  fetchurl,

  gmp,

  mpfr,
@@ -23,26 +22,13 @@ assert 


stdenv.mkDerivation rec {

  pname = "flint3";

  version = "3.1.2";

  version = "3.2.1";



  src = fetchurl {

    url = "https://www.flintlib.org/flint-${version}.tar.gz";

    sha256 = "sha256-/bOkMaN0ZINKz/O9wUX0/o0PlR3VMnxMb5P0y6xcJwA=";

    url = "https://flintlib.org/download/flint-${version}.tar.gz";

    hash = "sha256-ynvkbXeXInfrb+DE92dUhDL1a7U0qhfW26LXzOFc0j8=";

  };



  patches = [

    (fetchpatch {

      url = "https://github.com/flintlib/flint/commit/e7d005c369754243cba32bd782ea2a5fc874fde5.diff";

      hash = "sha256-IqEtYEpNVXfoTeerh/0ig+eDqUpAlGdBB3uO8ShYh3o=";

    })

    # C99 compliance (avoid using I as identifier): https://github.com/flintlib/flint/pull/2027

    (fetchpatch {

      name = "flint3-reserved-identifier.patch";

      url = "https://github.com/flintlib/flint/commit/b579cdd2d45aa1109a764f6838e9888b937e7ac5.patch";

      hash = "sha256-8GLlA9ACzzxSiYaxLv9+p0oJA5TS7289b0EyoNcsSaU=";

    })

  ];



  nativeBuildInputs = [

    autoconf

    automake
@@ -68,8 +54,6 @@ stdenv.mkDerivation rec { 
  # We're not using autoreconfHook because flint's bootstrap

  # script calls autoreconf, among other things.

  preConfigure = ''

    # the following configure.ac fix is only needed for flint 3.1.X

    sed -i 's/if "$ac_cv_prog_cxx_g" = "yes"/if test "$ac_cv_prog_cxx_g" = "yes"/' configure.ac

    echo "Executing bootstrap.sh"

    ./bootstrap.sh

  '';
@@ -92,7 +76,7 @@ stdenv.mkDerivation rec { 


  meta = with lib; {

    description = "Fast Library for Number Theory";

    license = licenses.gpl2Plus;

    license = licenses.lgpl3Plus;

    maintainers = with maintainers; [ smasher164 ] ++ teams.sage.members;

    platforms = platforms.unix;

    homepage = "https://www.flintlib.org/";