https://github.com/aldorlang/aldor/commit/2f5b4896eed78cb37a31a49a51662e98e4462821
With that aldor no longer hangs when building FriCAS in either of the recent versions (09-Feb-2023):
https://github.com/fricas/fricas/commit/68a3e8eee6d1dc20b925fd11220f38f2a033e027 commit 68a3e8eee6d1dc20b925fd11220f38f2a033e027 (HEAD -> b) Author: Waldek Hebisch <[email protected]> Date: Thu Feb 9 20:57:11 2023 +0100 Simplify pathnames commit b489cd365696faadc11829fd80493001a0203f6f (a) Author: Waldek Hebisch <[email protected]> Date: Thu Feb 9 20:25:42 2023 +0100 Simplify hashtables https://github.com/fricas/fricas/commitHowever, I can no longer compile sieve.as (is attached) with 68a3e8eee6d1dc20b925fd11220f38f2a033e027, because I get the following error. So this commit introduces a bug.
hemmecke:~/scratch/aldortest>fricas -nosman
Checking for foreign routines
FRICAS="/home/hemmecke/HDD/hemmecke/software/lib/fricas/target/x86_64-linux-gnu"
spad-lib="/home/hemmecke/HDD/hemmecke/software/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so"
foreign routines found
openServer result -2
FriCAS Computer Algebra System
Version: FriCAS 50b3b2d46cc1d9b7fbd1c77a506006220667fda7
Timestamp: Sa 25 Feb 2023 15:58:01 CET
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) -> )co sieve.as
Compiling FriCAS source code from file
/home/hemmecke/scratch/aldortest/sieve.as using Aldor compiler
and options
-O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y
$FRICAS/algebra -I $FRICAS/algebra
Use the system command )set compiler args to change these
options.
>> Error detected within library code:
Strange argument to pathname
(1) ->
Ralf
====================================================================
On 13.02.23 23:14, Waldek Hebisch wrote:
On Mon, Feb 13, 2023 at 08:50:53PM +0100, Ralf Hemmecke wrote:I relized that the fricas-aldor interface is currently broken. (configure --enable-aldor) To be more exact, the problematic commit is 991f83471e23485f1cb68a78e6b2f02e8d137fba That innocent looking commitActually, this is change that exposed latent problems in our code. One problem was in interpreter and was worked around in previous commit. But there were also several fixes to Spad compiler in the period between time when I first tried this change and time when I could commit it without causing regression. There were several other algebra changes that required fixes to Spad compiler. This change could work as a trigger for problem fixed in Spad, but not fixed in Aldor.hangs the compilation of the interface when doing it with make -j8. With -j1 it gives a segfault when compiling ap/HOMOL.ap, see below. Interestingly, comparing the output of "cd BUILDDIR/src/aldor; make -j1" with what happens just one commit before, yields the exact same compilation commands up to HOMOL.ap. I'm currently a bit helpless of what exactly causes the problem that lets aldor jump into a segfault on compiling HOMOL.ap.AFAICS this is Aldor crashing on content of HOMOL.ap. So one should look at changes in HOMOL.ap and previous .ap files (a lot of type info is defined in earlier files). Based on that one should be able to say if this is interface probles, that is .ap files are wrong, or Aldor problem (crahs on valid code).
-- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ad23126c-993f-6a32-f5b4-9a98aa7a4e53%40hemmecke.org.
sieve.as
Description: application/applix-spreadsheet
