Problems compiling fricas

[lucag73]

I tried to compile the latest version of fricas (git commit 1844b4d348fc84aecc67508cefc1459b2dd2833e, checked out from
https://github.com/hemmecke/fricas.git ) with sbcl; the compilation succeeded after I downgraded SBCL to 1.2.16 [which I recompiled myself in order to enlarge the default space size to 133Gb; the machine has actually 200Gb of RAM].
However, I have been unable to compile the program with either the latest head version of sbcl (commit 02b0f4b2367e1ff699228c94b2e60f0f86011ed0 or sbcl-1.3.1, still checked out from git).

The error had been "Heap exhausted", while compiling part of the algebra library. (if needed, I can get some further details).
The host computer is a (reasonably updated) fedora 22 (4.1.8-200.fc22.x86_64 #1 SMP Tue Sep 22 12:13:21 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux).

[Cyrus Harmon (ch-launchpad)]

Does the problem still exist on SBCL 1.3.5?

[lucag73 (luca-giuzzi)]

There are still problems, even if they appear to be slightly different.
I have recompiled sbcl 1.3.5 with the standard options (apart increasing dynamic-space-size to 200Gb) and the compilation of fricas (commitd5026a42cd407300ba8a55185ad13c8002f67dde from https://github.com/fricas/fricas.git) now fails with the error I report below (which would appear not to have anything to do with sbcl). Compilation with sbcl 1.2.16 (using the same value for dynamic-space-size and exactly the same options) works without errors (including the regression tests).

)compile "ALIST.spad"

   Compiling FriCAS source code from file
      /scratch/giuzzi/build-test/src/algebra/ALIST.spad using old
      system compiler.
   ALIST abbreviates domain AssociationList
------------------------------------------------------------------------
   initializing NRLIB ALIST for AssociationList
   compiling into NRLIB ALIST
   processing macro definition Pair ==> Record(key: Key,entry: Entry)
   importing List Record(key: Key,entry: Entry)
   compiling exported dictionary : () -> $

   >> System error:
   The value #<FUNCTION |newGoGet|> is not of type (FUNCTION (T) *).

(1) -> Stage 3 object copy
cp: cannot stat ‘ALIST.NRLIB/ALIST.fasl’: No such file or directory
Makefile:626: recipe for target 'stamp-oboo3' failed

[Stas Boukarev (stassats)]

That is indeed what happens, but the fricas build system is sufficiently arcane to make debugging impossible, so I won't venture into reducing a test case.

[lucag73 (luca-giuzzi)]

I have just attempted compilation with the latest versions of sbcl and fricas (cloned from git) and it works (both enabling also the aldor interface and not).

Here there are the details:
  sbcl commit b1056b539809f26909070ca07b9649154f1cea2e (sbcl 1.3.7.6-b1056b5)
fricas commit 590a73cd70976b94b330835b1a659c0f4c8830a9

sbcl has been generated using the make.sh script (without any further option)

[Stas Boukarev (stassats)]

Weird, I didn't expect anything to have changed.

[lucag73 (luca-giuzzi)]

Just to be sure, I have recompiled with both versions of sbcl on the same
machine and I got the behavior I described.

I have seen that there have been some recent patches in fricas in order to
address out of memory problems (but not exactly the same problem I
reported) but I reckon that something about sbcl changed as well.
(I don't know if it might be worth trying to bisect the issue)

Regards,
lg
Il 04 Lug 2016 2:25 PM, "Stas Boukarev" <email address hidden> ha scritto:

> Weird, I didn't expect anything to have changed.
>
> --
> You received this bug notification because you are subscribed to the bug
> report.
> https://bugs.launchpad.net/bugs/1532253
>
> Title:
> Problems compiling fricas
>
> To manage notifications about this bug go to:
> https://bugs.launchpad.net/sbcl/+bug/1532253/+subscriptions
>