Dear Waldek,
many thanks for your reply, I have confirmed that I have a problem
with git checkout from
Ralf's mirror at github.com. I downaloaded the tar file from there and
the build worked (just a few minutes ago)
Again thank you for helping
Cheers
BF.
On Fri, Sep 30, 2011 at 7:17 PM, Waldek H
Bertfried Fauser wrote:
>
> I always had problems with parallel builds. Creatin a new build
> directory I get an error pretty soon with make -j4, (see below)
>
AFAIK there are problems with building on NFS. This is due
to how make nad NFS work and there is little FriCAS could
do (basically we c
Dmitry Semikin wrote:
>
> Considering buliding fricas with cygwin with clisp without aldor I've just
> finished with following results:
>
> 1. In "/usr/include/sys/stdio.h" the "getline" function must be commented
> for noweb to be built successfully.
>
> 2. Yesterday trunk version did not bui
Considering buliding fricas with cygwin with clisp without aldor I've just
finished with following results:
1. In "/usr/include/sys/stdio.h" the "getline" function must be commented
for noweb to be built successfully.
2. Yesterday trunk version did not build, resulting in some errors related
t
Thanks,
It is really pretty simple. I've saw this in more evident way, when I've
installed fricas into custom location. It have resulted in two items (which
are to be considered while "uninstall" process):
$prefix/bin/fricas
$prefix/bin/efricas
$prefix/lib/fricas/
the last one is the directory f
Do fricas support source uninstall with command like 'make uninstall'?
No. I tried to start adding automake to fricas where all the standard
targets would be for free, but it's not that easy, because the build is
not so standard and automake rather supports .c compilation better than
.boot or
