Rob,
Thanks for you continuing support.
> On 30 Apr 2016, at 10:16, Rob Arthan <r...@lemma-one.com> 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?
Roger
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com