[isabelle] Install c-parser-to-simpl



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


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