Hi Mark,

Indeed... Sorry Roger!

I ran ./distclean + ./configure + ./install, no parameters were given.

I installed PolyML as they say to in their website: downloading a .tar.gz file 
+ extracting it + ./configure + make + make install. Apparently everything 
works fine since "poly" is accepted as a command.

"which poly" returns  /usr/local/bin/poly

> If it is, then you can probably get things working by doing
>    POLYHOME=/usr/local  ./configure

I did so and the installation failed (log attached).

Cheers,
Marcel

Attachment: build.log
Description: Binary data

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to