Re: [Maxima-discuss] gcl build fails with git head

[Thomas D. D. <to...@sp...>]

On 06/25/2017 11:28 AM, Gunter Königsmann wrote:
> 
> 
> Am 25. Juni 2017 20:10:53 MESZ schrieb "Thomas D. Dean" <to...@sp...>:
>> On 06/25/2017 12:14 AM, Gunter Königsmann wrote:
>>
>> What GCL are you using?
>>
>> What make?
>>
> 
> Ubuntu/64 Bit; asv they didn't make a new major release for a long time we all will have the same version number. The last digit for my version seems to be the -53.
> 
> I assume the file that I needed to create in order to make compilation work is included in the tarball so I expect a clean git checkout to fail and an official release to work. But I may be wrong in this respect.
> 
> Kind regards,
> 
> 
>    Gunter.
> 

is the -53 your linux version???
I have linux -4.4.0-81-generic, but, am running 4.12.0-041200rc2-generic 
to test a usb bug.

When was the last time you did an Ubuntu dist-upgrade?
   'sudo apt-get dist-upgrade'

The gcl from Ubuntu 16.04, seems to be

 > gcl
GCL (GNU Common Lisp)  2.6.12 CLtL1    Oct 29 2015 23:21:28
<snip>

This does not seem to be an ANSI gcl.

 > make --version
GNU Make 4.1
<snip>

Tom Dean