Thanks for you continuing support.

> On 30 Apr 2016, at 10:16, Rob Arthan <> wrote:


> Try it in in src/dev. I think it will fail. If so, try it without the 
> obsolete options:
>       polyc -o pp-ml pp-ml.o

Here are the results:

bash-3.2$ polyc -segprot POLY rwx rwx -o pp-ml pp-ml.o
Only one source file name allowed
Usage: polyc [OPTION]... [SOURCEFILE]
bash-3.2$ polyc -o pp-ml pp-ml.o
ld: warning: could not create compact unwind for _ffi_call_unix64: does not use 
RBP or RSP based frame

So I need to build my own?

Proofpower mailing list

Reply via email to