[isabelle] Install c-parser-to-simpl
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.
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
### 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?
lyj238 at ios.ac.cn
This archive was generated by a fusion of
Pipermail (Mailman edition) and