singular: bump texinfo from 4 to 7

texinfo4 fails to compile on aarch64-darwin, and singular is no longer
constrained to use an older version
This commit is contained in:
George Huebner 2024-03-23 20:03:44 -05:00 committed by Mauricio Collares
parent 8c860b090a
commit 56ceb0cc7d

View File

@ -13,12 +13,9 @@
, doxygen , doxygen
, graphviz , graphviz
, latex2html , latex2html
# upstream generates docs with texinfo 4. later versions of texinfo , texinfo
# use letters instead of numbers for post-appendix chapters, and we
# want it to match the upstream format because sage depends on it.
, texinfo4
, texliveSmall , texliveSmall
, enableDocs ? true , enableDocs ? !stdenv.isDarwin
, enableGfanlib ? true , enableGfanlib ? true
}: }:
@ -85,7 +82,7 @@ stdenv.mkDerivation rec {
doxygen doxygen
graphviz graphviz
latex2html latex2html
texinfo4 texinfo
texliveSmall texliveSmall
] ++ lib.optionals stdenv.isDarwin [ getconf ]; ] ++ lib.optionals stdenv.isDarwin [ getconf ];
depsBuildBuild = [ buildPackages.stdenv.cc ]; depsBuildBuild = [ buildPackages.stdenv.cc ];