math/open-axiom gone?

[C. P. Ghost]

On Wed, Jul 27, 2016 at 5:27 PM, C. P. Ghost <cpghost at cordula.ws> wrote:

> On Wed, Jul 27, 2016 at 2:17 AM, Montgomery-Smith, Stephen
> > How did you manage to build math/open-axiom?  I tried building it again,
> > and I am still getting the errors.  You must have at least by-passed the
> >  BROKEN within the port.
>
>
> Hello again,
>
> I've tried again and commented out the BROKEN line in
> Makefile. Then, during compilation, all I did was to replay '1'
> (ignore all package locks) in the SBCL debugger multiple times,
> and the compilation went through without problems. I didn't
> experience any endless loop. Then, deinstalled the old package
> and reinstalled the newly compiled port, and voila, it runs.
>
> Please see attached typescript.xz
>
> So, strangely though, the port still runs, if we ignore the errors
> thrown by SBCL.
>

Maybe I should add that I didn't try to compile the port on
a machine without open-axiom already installed! Perhaps that
makes a difference? It should become apparent in the typescript.


>
> Regards,
> -cpghost.
>
> --
> Cordula's Web. http://www.cordula.ws/
>

Thanks,
-cpghost.

-- 
Cordula's Web. http://www.cordula.ws/