Creation of FriCAS binary distribution

[Ralf Hemmecke]

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

?

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.

Do you happen to have a VM (that you could share) to build the fricas
binaries?

Ralf

[Waldek Hebisch]

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.
>
> 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

[Dima Pasechnik]

On Fri, May 6, 2022 at 3:22 PM Waldek Hebisch
<de...@fricas.math.uni.wroc.pl> 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 fricas-devel...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/20220506151519.GB28396%40fricas.math.uni.wroc.pl.

[Ralf Hemmecke]

On 06.05.22 17:45, Dima Pasechnik wrote:
>>> 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.

Yes, maybe, but for that I
a) first had to know what exact commandline parameters were given by Waldek
b) have to learn how to use Github Acions. :-\

Ralf

PS: Dima, it was strange that I had to approve your post. You were set
to "moderated". Weird.