Commit 724e1208 authored by Mauricio Collares's avatar Mauricio Collares
Browse files

singular: 4.4.0p6 -> 4.4.1

parent 816a772c

pkgs/by-name/si/singular/package.nix

+2 −12
Original line number Diff line number Diff line 
{

  stdenv,

  fetchFromGitHub,

  fetchpatch,

  gmp,

  bison,

  perl,
@@ -31,7 +30,7 @@ 


stdenv.mkDerivation rec {

  pname = "singular";

  version = "4.4.0p6";

  version = "4.4.1";



  # since the tarball does not contain tests, we fetch from GitHub.

  src = fetchFromGitHub {
@@ -41,7 +40,7 @@ stdenv.mkDerivation rec { 
    # if a release is tagged (which sometimes does not happen), it will

    # be in the format below.

    rev = "Release-${lib.replaceStrings [ "." ] [ "-" ] version}";

    hash = "sha256-QxMMMnXaWe+0ogA6+3eOtdROb0RolSveya6DIx97/YY=";

    hash = "sha256-vrRIirWQLbbe1l07AqqHK/StWo0egKuivdKT5R8Rx58=";



    # the repository's .gitattributes file contains the lines "/Tst/

    # export-ignore" and "/doc/ export-ignore" so some directories are
@@ -49,15 +48,6 @@ stdenv.mkDerivation rec { 
    forceFetchGit = true;

  };



  patches = [

    (fetchpatch {

      # removes dead code with invalid member reference in gfanlib

      name = "clang-19.patch";

      url = "https://github.com/Singular/Singular/commit/d3f73432d73ac0dd041af83cb35301498e9b57d9.patch";

      hash = "sha256-1KOk+yrTvHWY4aSK9QcByHIwKwe71QIYTMx8zo7XNos=";

    })

  ];



  configureFlags =

    [

      "--enable-gfanlib"