[ProofPower] Setting up on macosx Sierra fails...

[Phil Clayton]

I have successfully built ProofPower with SML/NJ 110.81 which was 
recently released.  (That was on Fedora but any SML type errors should 
be the same on different platforms.)  I haven't tried earlier versions.

In the ProofPower source directory, did you run
   ./distclean
before rebuilding?

Phil


On 13/05/17 04:44, Hugh Anderson wrote:
> 
> Hi - I just tried using SMLNJ instead of polyML, but I got the same 
> error at the same place...
> 
> Cheers Hugh
> 
> On Sat, 13 May 2017, Hugh Anderson wrote:
> 
>>
>> Hi - I am trying to install ProofPower-Z using my new mac/Sierra machine,
>> using polyml, installed from brew: Poly/ML 5.7 Release RTS version: 
>> X86_64-5.6
>   ...
> 
> Hugh Anderson                             E-mail: hugh at comp.nus.edu.sg
> SoC, National University of Singapore     http://www.comp.nus.edu.sg/~hugh
> 
> _______________________________________________
> Proofpower mailing list
> Proofpower at lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>