binary download for all platforms from CI

[Qian Yun]

I have a working configuration that we now have binary
download for all platforms from CI.

See: https://github.com/oldk1331/fricas/tree/ci-improvement
or
https://github.com/oldk1331/fricas/commit/c173a68c42a9151ec9e0b6234c8d02aa0e36676e
or
linux: https://github.com/oldk1331/fricas/actions/runs/654525090
macos: https://github.com/oldk1331/fricas/actions/runs/654525087
windows: https://github.com/oldk1331/fricas/actions/runs/654525092

A few downsides:
1. You have to login GitHub to download this "CI artifact".
(Not necessarily a bad thing, I don't want to pollute the
"Release" page in GitHub.)
2. It only exists for a short period. (90 days?)
3. The packaging is very crude for now, not out-of-box user experience.
(You have to "cd" in the shell and set "FRICAS" env variable.)
4. It's double compressed, you have to unpack twice.

Bugs found:
Seems the "bin/fricas" shell script calls "viewman" endlessly
on macOS? Will look into it later.

- Qian

[Ralf Hemmecke]

That's just great!

I will include it in the download section of fricas.github.io.

Ralf

[Qian Yun]

Thanks, I'll merge this patch into our repo when I improve
the packaging a bit more.

A potential improvement is that:

Seems now when FRICAS is not set, the FriCASsys will look
at the build time path. I want to add another fallback
that it should check its runtime path's parent directory.
(aka /xxx/bin/FriCASsys should check /xxx/)

- Qian

[Ralf Hemmecke]

> Seems now when FRICAS is not set, the FriCASsys will look
> at the build time path.

Oh... where is the fricas script then? AFAIK FRICASsys relies on the
environment variable FRICAS to be set. No idea how this is on Windows,
though. Shouldn't fricas be started by the script and that script must
set the FRICAS variable? Perhaps you must ask the user to adapt the path
in the script, if s/he doesn't install into the default system localtion.

> I want to add another fallback
> that it should check its runtime path's parent directory.
> (aka /xxx/bin/FriCASsys should check /xxx/)

As a fallback I think that would be acceptable. I'm not sure whether
that should come together with a warning about a missing value for the
FRICAS variable or whether such a warning is just useless noise.

Ralf

[Qian Yun]

I meant when user do not use "bin/fricas", but double click
"bin/FriCASsys" directly. In such case, env var "FRICAS"
is not set, but I want to make it work as well. This can
also be useful for development as well, we can skip to
set env var each time. Also can be useful if we have a bunch
of different fricas in different directories (for testing
purpose), then it's convenient to run "bin/FriCASsys" directly
without setting "FRICAS" env var.

- Qian

[Grégory Vanuxem]

Hi Qian,

In the past I wrote a batch file which to me is the best thing
to do right now for the FRICAS env variable.

I attached it. Not really beautiful and improve it if you want
but if you install FriCAS in the directory you want it will work.

The FriCAS installation directory should as usual have the following structure:
bin/
lib/
contrib/
fricas.bat (at the root installation directory)

Regards

PS: Correction, gmail does not accept batch files so snipped below

===========
@echo off
set FRICAS_TMP=%~dp0lib/fricas/target/x86_64-w64-mingw32
set FRICAS=%FRICAS_TMP:\=/%
"%~dp0\lib\fricas\target\x86_64-w64-mingw32\bin\FRICASsys.exe"
===========

> --
> 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/26e65fb0-950e-282f-a2e9-6c00430a62db%40gmail.com.



--
__
G. Vanuxem

[Qian Yun]

Now everything I needed are made into repo now.

We have binary download available for all platforms from GitHub Actions.
And I consider it has reached ALPHA quality, testings and comments and
bug reports are welcome.

Waldek has verified his email (I assume), thank you!
So we should have CI checks and binary downloads for every
git push, at https://github.com/fricas/fricas/actions

- Qian