Re: [fricas-devel] changes to allow macOS packaging work again

2021-05-03 Thread oldk1331
On 5/4/21 3:26 AM, Waldek Hebisch wrote: > On Thu, Mar 18, 2021 at 07:49:49PM +0800, Qian Yun wrote: >> + if test $(uname -s) != "Darwin" ; then \ >^^ > $$(uname -s) >> + echo >> FRICAS='"$${exec_prefix}/$(fricas_lib)/fricas/target/$(target)"' >> >>

Re: [fricas-devel] latex symbols in fmtmathjax

2021-05-03 Thread Waldek Hebisch
On Mon, May 03, 2021 at 10:32:31PM +0200, Ralf Hemmecke wrote: > > I can see that the current proposal might be undesirable if the same > > worksheet is to be presented in another format, e.g. a worksheet > > prepared in jfricas but later you want to use it in TeXmacs. > > OK, I as a user prepare

Re: [fricas-devel] latex symbols in fmtmathjax

2021-05-03 Thread Ralf Hemmecke
> I can see that the current proposal might be undesirable if the same > worksheet is to be presented in another format, e.g. a worksheet > prepared in jfricas but later you want to use it in TeXmacs. OK, I as a user prepare some cool stuff in jfricas and then I have some work to make it look

Re: [fricas-devel] latex symbols in fmtmathjax

2021-05-03 Thread Ralf Hemmecke
> Of course more sophisticated things are possible. For example it might > be nice to have some way to pass (sub/super/...)-scripts to the > frontend formatter for substitution into a LaTeX snippet, i.e. like > arguments to a macro. Do you mean something like FormatLaTeX implements?

Re: [fricas-devel] changes to allow macOS packaging work again

2021-05-03 Thread Waldek Hebisch
On Thu, Mar 18, 2021 at 07:49:49PM +0800, Qian Yun wrote: > This is the change I made to get the macOS dmg working. > Not very elegant, but I wonder if there is a better way? > > Comments are welcome. And macOS users can try/test the binary > at

Re: [fricas-devel] trying to compile aldor

2021-05-03 Thread Ralf Hemmecke
First of all, this is fricas-devel. You should have directed you question to . So I repost there. Aldor should compile fine with -j N. There must be some other problem in the middle. Try to compile with -j1, then you will better see what the actual error message is. My fig2eps script starts

Re: [fricas-devel] latex symbols in fmtmathjax

2021-05-03 Thread Bill Page
On Mon, May 3, 2021 at 1:19 PM Kurt Pagani wrote: > > On 03.05.2021 18:09, Bill Page wrote: > > If it is necessary to consider alternatives, then I think one other approach > > would be to export a function that sets a "presentation" property on a > > Symbol > > and then make use of that

Re: [fricas-devel] latex symbols in fmtmathjax

2021-05-03 Thread Waldek Hebisch
On Mon, May 03, 2021 at 12:09:49PM -0400, Bill Page wrote: > If it is necessary to consider alternatives, then I think one other > approach would be to export a function that sets a "presentation" property > on a Symbol and then make use of that property (if it exists) and if the > flag is set in

Re: [fricas-devel] latex symbols in fmtmathjax

2021-05-03 Thread Kurt Pagani
On 03.05.2021 18:09, Bill Page wrote: > If it is necessary to consider alternatives, then I think one other approach > would be to export a function that sets a "presentation" property on a Symbol > and then make use of that property (if it exists) and if the flag is set in > FormatMathJax. The

Re: [fricas-devel] trying to compile aldor

2021-05-03 Thread Tobias Neumann
I don't see any concrete errors in the log below. But it seems to me that you are running make with multiple parallel jobs (-jX), and some of them failed. I've noticed that the build can run into trouble with -j. I would recommend to try again with just one job, i.e. just "make" or "make -j1". It

[fricas-devel] trying to compile aldor

2021-05-03 Thread Andrey G. Grozin
Hello *, I'm trying to compile the current aldor from github.com/aldorlang/aldor on Gentoo linux and I get Making all in al make[4]: Entering directory '/var/tmp/portage/dev-lang/aldor-1.3.0/work/aldor-859b69f0452de3fc09bcce14a3d3950f290909f0/aldor/aldor/lib/libfoamlib/al' set -e;

Re: [fricas-devel] latex symbols in fmtmathjax

2021-05-03 Thread Bill Page
If it is necessary to consider alternatives, then I think one other approach would be to export a function that sets a "presentation" property on a Symbol and then make use of that property (if it exists) and if the flag is set in FormatMathJax. The benefit then might be that a formatter would