Re: [isabelle] Install c-parser-to-simpl



If you canât get the parser bundled with AutoCorres to do the trick, I can probably send you a 2014 tar ball (though this would almost certainly be exactly the same thing as that bundled with AutoCorres).

Michael

> On 28 Apr 2015, at 18:40, lyj238 at ios.ac.cn wrote:
>
> Dear experts:
>
> I want to install C-Parser, a translator of C into SIMPL:---  http://ssrg.nicta.com.au/software/TS/c-parser/
>
> I want to install as suggested as follows:
>
>> This code requires Isabelle2013.
>
> To build:
>
>  isabelle make
>
> invoked in this directory should do everything required.
>
>
>
> However, the following error occurs:
>
> [lyj at localhost flashT]~/Isabelle2014/bin/isabelle make
> ### Cannot execute Poly/ML in 32bit mode (missing shared libraries for
> C/C++)
> ### Using bulky 64bit version of Poly/ML instead
> Unknown Isabelle tool: make
> [lyj at localhost flashT]$
>
>
>
> Could you please give me a hand? How to build this parser?
>
>
> regards
> lyj
>
>
>
> lyj238 at ios.ac.cn


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


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