Re: [fricas-devel] FriCAS 1.3.10 is released

On Thu, Jan 11, 2024 at 05:29:28PM +0700, Andrey G. Grozin wrote: > An alternative solution, which requires re-compiling sbcl with a larger > dynamic-space-size, is inconvenient for me. I'm the maintainer not only of > the fricas package, but also of the sbcl package in Gentoo. So, technically, > I

Re: [fricas-devel] FriCAS 1.3.10 is released

I've updated fricas to 1.3.10 in Gentoo Linux. On Wed, 10 Jan 2024, Qian Yun wrote: You can build with ./configure --with-lisp="sbcl --dynamic-space-size 4096" Thank you very much, after some experimentation with quoting, I've found a variant which works. BTW, I believe parallel build is

Re: [fricas-devel] FriCAS 1.3.10 is released

On Thu, Jan 11, 2024 at 08:38:33AM +0800, Qian Yun wrote: > Hi Andrey, Nasser: > > This is the SBCL command to check heap size: > > * (sb-ext:dynamic-space-size) > 1073741824 > > Also note that this is wrong: >sbcl --dynamic-space-size=40Gb >sbcl --dynamic-space-size=4096 > > This is co

Re: [fricas-devel] FriCAS 1.3.10 is released

Hi Andrey, Nasser: This is the SBCL command to check heap size: * (sb-ext:dynamic-space-size) 1073741824 Also note that this is wrong: sbcl --dynamic-space-size=40Gb sbcl --dynamic-space-size=4096 This is correct: sbcl --dynamic-space-size 4096 * (sb-ext:dynamic-space-size) 429496729

Re: [fricas-devel] FriCAS 1.3.10 is released

Why do you not add the "--with-lisp" option to configure as clearly written here? http://fricas.github.io/install.html#detailed-installation-instructions Change 4096 to about 75% of your actual RAM. Since you said, you have 40GB, maybe you try with ../fricas/configure --with-lisp="sbcl --dynami

Re: [fricas-devel] FriCAS 1.3.10 is released

here is also the SBCL 2.4.0 build log file with all the commands and output On Wednesday, January 10, 2024 at 5:02:35 PM UTC-6 Nasser M. Abbasi wrote: > The link to the config file seems not be copied right. Here it is again > > config.lo

Re: [fricas-devel] FriCAS 1.3.10 is released

The link to the config file seems not be copied right. Here it is again config.log On Wednesday, January 10, 2024 at 5:00:00 PM UTC-6 Nasser M. Abbasi wrote: > I did exactly as your suggested. Build sbcl 2.4.0 from sources. typed same > commands

Re: [fricas-devel] FriCAS 1.3.10 is released

I did exactly as your suggested. Build sbcl 2.4.0 from sources. typed same commands you showed. Verified it is installed ok. Added it to the path and to LD_LIBRARY_PATH . Removed the earlier sbcl on the system. export PATH=/usr/local/texlive/2023/bin/x86_64-linux:/mnt/g/public_html/scripts:/u

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wednesday, January 10, 2024 at 12:40:08 AM UTC oldk1331 wrote: Hi Waldek, I see that you have not pushed 1.3.10 tag to Github and not created release page. there is still an incosistency wrt tags. There is no 1.3.10 tag, only an r1.3.10 branch. I suggest you to cherry-pick this commi

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, Jan 10, 2024 at 07:57:55AM -0800, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > I think there is something not right here. I am also getting same problem > as posted above with sbcl > > fatal error encountered in SBCL pid 6123 tid 6123: > Heap exhausted, game over. >

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, Jan 10, 2024 at 2:50 PM oldk1331 wrote: > > Looks like a bash quoting problem. You may need to escape the quotes. I guess it was using pairs of single quotes (') rather than single double quotes (") Otherwise I don't know how to reproduce this error. > > BTW, the default is 1GB. I usuall

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, Jan 10, 2024 at 04:37:21PM +, Dima Pasechnik wrote: > Perhaps something should be put into ~/.sbclrc to set this default bigger? AFAIK it will not work: in sbcl size of woring area is determined before any Lisp code is run (in a "loader" program). -- Wal

Re: [fricas-devel] FriCAS 1.3.10 is released

fyi; I just verified this again. I installed brand new Linux mint 21.2 again and installed SBCL from the package manager and did sudo apt-get install build-essential ./configure make And it finished with no problem. Same exact 1.3.10 tar file. Only difference I see is that Linux mint uses e

Re: [fricas-devel] FriCAS 1.3.10 is released

Perhaps something should be put into ~/.sbclrc to set this default bigger? On Wed, Jan 10, 2024 at 2:50 PM oldk1331 wrote: > > Looks like a bash quoting problem. You may need to escape the quotes. > > BTW, the default is 1GB. I usually test with 4GB. Not sure what the minimal > is. > > - Qian >

Re: [fricas-devel] FriCAS 1.3.10 is released

I think there is something not right here. I am also getting same problem as posted above with sbcl fatal error encountered in SBCL pid 6123 tid 6123: Heap exhausted, game over. I tried it on Linux manjaro, latest version with KDE version and XFCE version, and they both fail with same error.

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, Jan 10, 2024 at 09:45:49PM +0700, Andrey G. Grozin wrote: > On Wed, 10 Jan 2024, Waldek Hebisch wrote: > > I built sbcl-2.4.0 using > > > > sh make.sh --dynamic-space-size=56Gb > > > > That is enough to build FriCAS (this is on machine with 64Gb RAM, so > > I tried close to max). > My not

Re: [fricas-devel] FriCAS 1.3.10 is released

Looks like a bash quoting problem. You may need to escape the quotes. BTW, the default is 1GB. I usually test with 4GB. Not sure what the minimal is. - Qian On Wed, Jan 10, 2024, 10:41 PM Andrey G. Grozin wrote: > On Wed, 10 Jan 2024, Qian Yun wrote: > > You can build with > >./configure -

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, 10 Jan 2024, Waldek Hebisch wrote: I built sbcl-2.4.0 using sh make.sh --dynamic-space-size=56Gb That is enough to build FriCAS (this is on machine with 64Gb RAM, so I tried close to max). My notebook has 16Gb RAM. Is there a chance that something smaller than 56Gb can be sufficient?

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, 10 Jan 2024, Qian Yun wrote: You can build with ./configure --with-lisp="sbcl --dynamic-space-size 4096" ./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --loca

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, Jan 10, 2024 at 04:34:41PM +0700, Andrey G. Grozin wrote: > Hello *, > > I'm trying to build fricas-1.3.10 with sbcl-2.4.0 on Gentoo Linux, and I get > > ; compiling file > "/var/tmp/portage/sci-mathematics/fricas-1.3.10/work/fricas-1.3.10/pre-generated/src/algebra/RSIMP.lsp" > (written

Re: [fricas-devel] FriCAS 1.3.10 is released

On Tue, Jan 09, 2024 at 07:16:16PM -0800, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > fyi, installed OK on Linux mint 21.2 > > > >which fricas > /usr/local/bin/fricas > >fricas > viewman not present, disabling graphics > hypertex not present, disabling HyperDoc I am not sur

Re: [fricas-devel] FriCAS 1.3.10 is released

I guess you can't login to Github web interface, right? Can you still push tags to Github? If so, please cherry-pick https://github.com/fricas/fricas/commit/8ba0305330ea6001bbf92d182f75054cef8c49eb to branch r1.3.10, do the tag and push to origin. - Qian On 1/10/24 19:34, Waldek Hebisch wrote:

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, Jan 10, 2024 at 09:00:38AM +0800, Qian Yun wrote: > Well, many linux distros and many people's scripts probably points to > Github release page. > > I can do the Github release page mirror of sourceforge download page, > do you agree? OK. -- Waldek Hebisch

Re: [fricas-devel] FriCAS 1.3.10 is released

You can build with ./configure --with-lisp="sbcl --dynamic-space-size 4096" BTW, I believe parallel build is not a problem anymore, can you enable it for Gentoo? - Qian On 1/10/24 17:34, Andrey G. Grozin wrote: Hello *, I'm trying to build fricas-1.3.10 with sbcl-2.4.0 on Gentoo Linux, a

Re: [fricas-devel] FriCAS 1.3.10 is released

Hello *, I'm trying to build fricas-1.3.10 with sbcl-2.4.0 on Gentoo Linux, and I get ; compiling file "/var/tmp/portage/sci-mathematics/fricas-1.3.10/work/fricas-1.3.10/pre-generated/src/algebra/RSIMP.lsp" (written 09 JAN 2024 10:48:55 PM): Heap exhausted during garbage collection: 32768 by

Re: [fricas-devel] FriCAS 1.3.10 is released

fyi, installed OK on Linux mint 21.2 >which fricas /usr/local/bin/fricas >fricas viewman not present, disabling graphics hypertex not present, disabling HyperDoc Checking for foreign routines FRICAS="/usr/local/lib/fricas/target/x86_64-linux-gnu" spad-lib="/usr/local/lib/fricas/target/x86_64-linu

Re: [fricas-devel] FriCAS 1.3.10 is released

Well, many linux distros and many people's scripts probably points to Github release page. I can do the Github release page mirror of sourceforge download page, do you agree? - Qian On 1/10/24 08:57, Waldek Hebisch wrote: On Wed, Jan 10, 2024 at 08:40:04AM +0800, Qian Yun wrote: Hi Waldek, I

Re: [fricas-devel] FriCAS 1.3.10 is released

On Wed, Jan 10, 2024 at 08:40:04AM +0800, Qian Yun wrote: > Hi Waldek, > > I see that you have not pushed 1.3.10 tag to Github and not created > release page. Due to Github password policy 1.3.10 is only at Sourceforge. -- Waldek Hebisch -- You received this mess

Re: [fricas-devel] FriCAS 1.3.10 is released

Hi Waldek, I see that you have not pushed 1.3.10 tag to Github and not created release page. I suggest you to cherry-pick this commit to branch r1.3.10 first, then do the tagging, so that binary builds from tag 1.3.10 will be uploaded to the nightly builds page. And then you can download them a

[fricas-devel] FriCAS 1.3.10 is released

I have put sources and binaries of FriCAS 1.3.10 on Sourceforge. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from