On Fri, May 6, 2022 at 3:22 PM Waldek Hebisch <[email protected]> wrote: > > On Fri, May 06, 2022 at 03:16:32PM +0200, Ralf Hemmecke wrote: > > Dear Waldek, > > > > is there any description (or better even: a script) of how to create exactly > > the binary distribution > > > > https://github.com/fricas/fricas/releases/tag/1.3.7 > > > > OK, again: process is manual using documented commands. First > you need source tarball. Unpack it in work directory. Then > (for amd64): > > mkdir fr-build > cd fr-build > ../fricas-1.3.7/confiure --enable--gmp > make -j 7 > mlogg 2>&1 > make DESTDIR=/temporary/install/dir instal > cd /temporary/install/dir > tar -cjf ../fricas-1.3.7.amd64.tar.bz2 usr > > After that in /temporary/install there is binary tarball. > > > In particular, I tried to install debian etch in a virtual machine. > > That worked, but since it showed me every now and then some weired message > > about some interrupt in the terminal, I removed that Vbox again.
such building (and uploading of results) can be carried out using GitHub Actions. > > > > Do you happen to have a VM (that you could share) to build the fricas > > binaries? > > I use chroot, did not try VM. 64-bit system (Mandrake 9.2) was installed > on real hardware, later partition image was copied to newer disc. > 32-bit install was a bit tricky, because I wanted to do it in chroot > and Debian installer wants to run only from Debian. I had to do first > installation stage by hand, to get minimal Debian, than rest of install > went fine in chroot. For 32-bit builds I had to replace ''bin/arch' > by a shell script (standard 'arch' was able to figure out that it > run on 64-bit kernel and reported 54-bit architecture). > > Concerning VM, I use it for FriCAS wiki and it works well enough. > But it seems that you need to match version of virtualbox with > kernel version (earlier version of virtualbox caused troubles > on my machine). Also, virtualbox may warn you that some interactive > features are problematic, but FriCAS build need no those features. > Probably Bill and Qian can say more about virtualbox then myself, > Wiki VM was created by Bill and modifed by Krystian. I got it to > run in virtualbox, but that is all, normally for other uses I > prefer chroot. > > BTW: AFAIK Debian developers use chroot to be able to develop > oldstable, stable and testing on the same hardware. > > -- > 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 it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/20220506151519.GB28396%40fricas.math.uni.wroc.pl. -- 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 it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAAWYfq1DYrpukyh3Ea3N2LBP7mhtymc88Gx48tCbxKt8q8caVg%40mail.gmail.com.
