On Wed, Nov 25, 2020 at 12:41:20PM +0000, Dima Pasechnik wrote:
> On Wed, Nov 25, 2020 at 11:41 AM Qian Yun <oldk1...@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.
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
--
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20201125131226.GA20424%40math.uni.wroc.pl.
