File tree Expand file tree Collapse file tree 1 file changed +2
-12
lines changed
Expand file tree Collapse file tree 1 file changed +2
-12
lines changed Original file line number Diff line number Diff line change 11{
22 stdenv ,
33 fetchFromGitHub ,
4- fetchpatch ,
54 gmp ,
65 bison ,
76 perl ,
3130
3231stdenv . mkDerivation rec {
3332 pname = "singular" ;
34- version = "4.4.0p6 " ;
33+ version = "4.4.1 " ;
3534
3635 # since the tarball does not contain tests, we fetch from GitHub.
3736 src = fetchFromGitHub {
@@ -41,23 +40,14 @@ stdenv.mkDerivation rec {
4140 # if a release is tagged (which sometimes does not happen), it will
4241 # be in the format below.
4342 rev = "Release-${ lib . replaceStrings [ "." ] [ "-" ] version } " ;
44- hash = "sha256-QxMMMnXaWe+0ogA6+3eOtdROb0RolSveya6DIx97/YY =" ;
43+ hash = "sha256-vrRIirWQLbbe1l07AqqHK/StWo0egKuivdKT5R8Rx58 =" ;
4544
4645 # the repository's .gitattributes file contains the lines "/Tst/
4746 # export-ignore" and "/doc/ export-ignore" so some directories are
4847 # not included in the tarball downloaded by fetchzip.
4948 forceFetchGit = true ;
5049 } ;
5150
52- patches = [
53- ( fetchpatch {
54- # removes dead code with invalid member reference in gfanlib
55- name = "clang-19.patch" ;
56- url = "https://github.com/Singular/Singular/commit/d3f73432d73ac0dd041af83cb35301498e9b57d9.patch" ;
57- hash = "sha256-1KOk+yrTvHWY4aSK9QcByHIwKwe71QIYTMx8zo7XNos=" ;
58- } )
59- ] ;
60-
6151 configureFlags =
6252 [
6353 "--enable-gfanlib"
You can’t perform that action at this time.
0 commit comments