Debian package on github?

11 views
Skip to first unread message

Ralf Hemmecke

unread,
Apr 20, 2022, 11:06:34 AM4/20/22
to fricas-devel
On https://github.com/fricas/fricas/releases/tag/1.3.7 I see the source
distribution of FriCAS.

Do we have a FriCAS 1.3.7 debian package (using sbcl) for Ubuntu 20.04
or 18.04?

Ralf

Nasser M. Abbasi

unread,
Apr 21, 2022, 3:10:32 PM4/21/22
to FriCAS - computer algebra system
There is not one. At least I have never seen a Debian package for latest Fricas. 

>apt-cache search --names-only '^fricas*'
>

But it is easy enough to build Fricas from source on Ubuntu. 

Another option, which I used before is to use Arch Linux based distribution. I recommend Manjaro. Then you can simply install Fricas 1.3.7 with one click of a button, using its GUI installer, since Fricas package exist on AUR for all Arch linux based distributions.  It will download it and install for you.


Nasser

Kurt Pagani

unread,
Apr 21, 2022, 3:17:35 PM4/21/22
to fricas...@googlegroups.com
There is one, however, its underlying Lisp is GCL. Unfortunately jfricas
requires SBCL or another bordeaux threads capable Lisp. Otherwise it works well ;)

kfp@sirius:~$ apt search fricas
Sorting... Done
Full Text Search... Done
elpa-fricas/impish,impish 1.3.7-1 all
General purpose computer algebra system: emacs support

fricas/impish,now 1.3.7-1 amd64 [residual-config]
General purpose computer algebra system: main binary and modules

fricas-databases/impish,impish,now 1.3.7-1 all [installed,auto-removable]
General purpose computer algebra system: generated text databases

fricas-doc/impish,impish,now 1.3.7-1 all [installed,auto-removable]
General purpose computer algebra system: documentation

fricas-graphics/impish 1.3.7-1 amd64
General purpose computer algebra system: graphics subsystem

fricas-graphics-data/impish,impish,now 1.3.7-1 all [installed,auto-removable]
General purpose computer algebra system: graphics data

fricas-hypertex/impish 1.3.7-1 amd64
General purpose computer algebra system: hypertex subsystem

fricas-hypertex-data/impish,impish,now 1.3.7-1 all [installed,auto-removable]
General purpose computer algebra system: hypertex data

fricas-source/impish,impish,now 1.3.7-1 all [installed,auto-removable]
General purpose computer algebra system: source files

fricas-test/impish,impish 1.3.7-1 all
General purpose computer algebra system: regression test inputs


Greetings
Kurt
> --
> 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
> <mailto:fricas-devel...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/fbe621f1-4801-49df-a4bd-33e88d5a2ea6n%40googlegroups.com
> <https://groups.google.com/d/msgid/fricas-devel/fbe621f1-4801-49df-a4bd-33e88d5a2ea6n%40googlegroups.com?utm_medium=email&utm_source=footer>.

Ralf Hemmecke

unread,
Apr 21, 2022, 3:31:40 PM4/21/22
to fricas...@googlegroups.com
> There is not one. At least I have never seen a Debian package for latest
> Fricas.

Hmmm... not quite true.

https://packages.debian.org/search?keywords=fricas

But I heard that this one is built on GCL. I need one with SBCL.

> But it is easy enough to build Fricas from source on Ubuntu.

Well... that's what I do all the time. ;-) But when it comes to install
FriCAS for someone quickly, then showing this person how to "apt-get
install" all the prerequisites, then downloading and compiling FriCAS is
perhaps a bit too time consuming and wouldn't really enable that person
to upgrade to a newer version of FriCAS when it is released.

> Another option, which I used before is to use Arch Linux based
> distribution. I recommend Manjaro. Then you can simply install Fricas 1.3.7
> with one click of a button, using its GUI installer, since Fricas package
> exist on AUR for all Arch linux based distributions. It will download it
> and install for you.
> https://aur.archlinux.org/packages/fricas

That looks great, but I need something for Ubuntu. Maybe it would be
enough if someone has a script that compiles a .deb package.
Otherwise I simply create a VM with everything I need in it.

BTW, I see a comment about jfricas and hunchentoot on the archlinux.org
site. Is jfricas working in Manjaro?

Ralf

Riccardo GUIDA

unread,
Apr 22, 2022, 7:21:28 AM4/22/22
to fricas...@googlegroups.com
Hi Ralf

In principle, in *every* linux distribution one can:

1) install the powerful nix package manager (This in general is easily done manually, but in Debian >= bulleyes official packages are available, see [1])

2) use nix to install and regularly update fricas (1.3.7 is available in nixpkgs stable [2]). The simple file default.nix controls the compilation on nix side: it shows that sbcl is used [3].

Notes:
- in "nix on Debian" setup the nix packages are stored in a folder different from standard Debian's one.
- the fricas nix package has currently not a fully fledged maintainer and, in case of delay, one should ask for updates to the nix newsgroup.
- jfricas is not in nix, so one should use also pythonic package managers.

I planned to use this method but then I went for direct compilation (thanks to your kind help).

Cheers
riccardo

REFS:
* [1] https://packages.debian.org/bullseye/nix-setup-systemd
* [2] https://search.nixos.org/packages?channel=21.11&from=0&size=50&sort=relevance&type=packages&query=fricas
* [3] https://github.com/NixOS/nixpkgs/blob/nixos-21.11/pkgs/applications/science/math/fricas/default.nix#L15
Reply all
Reply to author
Forward
0 new messages