Skip to content

Commit

Permalink
giac: update to 1.9.0.994.
Browse files Browse the repository at this point in the history
  • Loading branch information
tornaria committed Jul 18, 2024
1 parent 18d9a1e commit f0d8dc7
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 2 deletions.
11 changes: 11 additions & 0 deletions srcpkgs/giac/patches/fix-sum.patch
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
--- a/src/usual.cc 2024-06-12 04:52:40.000000000 -0300
+++ b/src/usual.cc 2024-07-14 19:06:25.382736933 -0300
@@ -6672,7 +6672,7 @@

// symbolic symb_iquo(const gen & a,const gen & b){ return symbolic(at_iquo,makevecteur(a,b)); }
bool is_integral(gen & indice){
- if (indice.is_symb_of_sommet(at_neg))
+ if (indice.is_symb_of_sommet(at_neg) && !is_inf(indice))
indice=-indice._SYMBptr->feuille;
if (is_cinteger(indice))
return true;
7 changes: 5 additions & 2 deletions srcpkgs/giac/template
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Template file for 'giac'
pkgname=giac
version=1.9.0.97
version=1.9.0.994
revision=1
build_style=gnu-configure
configure_args="--disable-micropy --disable-quickjs"
Expand All @@ -15,7 +15,7 @@ license="GPL-3.0-or-later"
homepage="https://www-fourier.ujf-grenoble.fr/~parisse/giac.html"
changelog="https://www-fourier.ujf-grenoble.fr/~parisse/install_en#new"
distfiles="https://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/giac_${version%.*}-${version##*.}.tar.gz"
checksum=fb384d92a5dc54d47df930b010de13c91e0d827a684b70f9673ae6b08be5f48d
checksum=44430a2173c409d8df37872e8a94e0926d9be9134fb3faf11d543fbb37b33214

# need more than 4*65536 stack, see try_parse() in gen.cc line 11812
LDFLAGS="-Wl,-z,stack-size=2097152"
Expand All @@ -38,6 +38,9 @@ esac
post_extract() {
# Missing... triggers doc rebuild which fails
touch doc/en/tutoriel.stamp
# remove a binary that works only for a particular host
# the binary will be rebuilt using host compiler
rm src/mkjs
}

pre_configure() {
Expand Down

0 comments on commit f0d8dc7

Please sign in to comment.