[PATCH] add GitHub Actions script

[oldk1331]

Hi all,

I would like to add the following file in our repo to start CI from now on.

Comments and ideas are welcome, I'll consider to add them on
top of this in the future.

- Qian

==== .github/workflows/ci.yml ====
name: FriCAS CI

on:
push:
branches: [ master ]
pull_request:
branches: [ master ]

jobs:
build:

runs-on: ubuntu-20.04

steps:
- uses: actions/checkout@v2
- name: install dependencies
run: sudo apt-get install sbcl libxpm-dev
- name: configure
run: ./configure --with-lisp=sbcl --with-gmp --with-x
- name: make
run: make -j2 --output-sync
- name: make check
run: make check -j2 --output-sync

[Dima Pasechnik]

does this work in your fork? I'd expect that you'd need to install, in
addition to
sbcl and libxpm-dev, also

libgmp-dev
make
gcc
gettext
autoconf
automake
libtool
pkg-config

> --
> 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/83532d8d-1f99-a7fc-58be-e713e6519008%40gmail.com.

[Qian Yun]

Sorry about forgetting to mention the working result:

https://github.com/oldk1331/fricas/runs/1445532607

And the dependency is correct. The VM image comes with many
things preinstalled, including make gcc libgmp-dev.
(See
https://github.com/actions/virtual-environments/blob/main/images/linux/Ubuntu2004-README.md)

The other tools are not required to build FriCAS, and probably already
installed as well. FriCAS has shockingly small number of dependencies.
Actually to run FriCAS (without GUI) instead of building it, the only
dependency is glibc, I guess.

[Dima Pasechnik]

On Wed, Nov 25, 2020 at 11:41 AM Qian Yun <oldk...@gmail.com> wrote:
>
> Sorry about forgetting to mention the working result:
>
> https://github.com/oldk1331/fricas/runs/1445532607
>
> And the dependency is correct. The VM image comes with many
> things preinstalled, including make gcc libgmp-dev.
> (See
> https://github.com/actions/virtual-environments/blob/main/images/linux/Ubuntu2004-README.md)
>
> The other tools are not required to build FriCAS, and probably already
> installed as well. FriCAS has shockingly small number of dependencies.
> Actually to run FriCAS (without GUI) instead of building it, the only
> dependency is glibc, I guess.

Well, if you e.g. build it with ECL you'll get

$ ldd local/lib/fricas/target/x86_64-pc-linux-gnu/bin/FRICASsys
linux-vdso.so.1 (0x00007ffebafdb000)
libecl.so.20.4 => /home/dimpase/sage/local/lib/libecl.so.20.4
(0x0000794452bbc000)
libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x0000794452b1a000)
libgc.so.1 => /usr/lib/x86_64-linux-gnu/libgc.so.1 (0x0000794452aa3000)
libffi.so.6 => /usr/lib/x86_64-linux-gnu/libffi.so.6 (0x0000794452a99000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x0000794452a94000)
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x0000794452911000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x000079445274e000)
libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x000079445272d000)
/lib64/ld-linux-x86-64.so.2 (0x000079445340a000)

anyway, if you configure fricas with --enable-gmp and there is no
static gmp installed,
you'd get a runtime dependence on libgmp.

>
> On 11/25/20 6:25 PM, Dima Pasechnik wrote:
> > does this work in your fork? I'd expect that you'd need to install, in
> > addition to
> > sbcl and libxpm-dev, also
> >
> > libgmp-dev
> > make
> > gcc
> > gettext
> > autoconf
> > automake
> > libtool
> > pkg-config
> >
> >> --
> >> 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/83532d8d-1f99-a7fc-58be-e713e6519008%40gmail.com.
> >
>
> --
> 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/70d863a7-ba48-fce2-a43d-49a4236cb5ea%40gmail.com.

[Waldek Hebisch]

Note that most of those dependencies are indirect: they are
dependencies of ecl. In particular, when ecl is correctly
installed they will be present. With ecl I believe that
the only direct dependencies of FriCASsys are ecl and glibc
(gmp is only used via ecl). FriCAS has more dependencies
due to hypertex and graphics, namely it depends on core
X libraries. On my Debian system FriCAS also depends on
libutil.so.

--
Waldek Hebisch

[Qian Yun]

Hi Waldek,

Do you agree to commit it into repo?

- Qian

[Waldek Hebisch]

On Thu, Nov 26, 2020 at 05:55:18PM +0800, Qian Yun wrote:
> Hi Waldek,
>
> Do you agree to commit it into repo?

Yes, go on.

> --
> 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/f4c08a46-a95f-bd4a-7911-e67503f13a7a%40gmail.com.

--
Waldek Hebisch