[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
### 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 MHonArc.