Re: [isabelle] Isabelle on OpenBSD?



On Sun, 13 May 2012 13:30:03 +0200, Makarius wrote:

> On Sun, 13 May 2012, Aaron W. Hsu wrote:
> 
>> Has anyone previously made an attempt to port or support the Isabelle
>> Theorem prover on *BSD, particularly OpenBSD?
> 
> Last year I've seen a BSD user in France, and he actually managed to run
> Isabelle after installing the Linux binary compatibility package for it.
> The script lib/isabelle-platform already takes care of it in the sense
> that any *BSD will be coerced into x86-linux.  You will also have to
> install GNU bash.

Ah, I see, yes, on OpenBSD I use AMD64, which does not have support for 
Linux compatibility. Thank you for the report. 

-- 
Aaron W. Hsu | arcfide at sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.