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
Description: Binary data
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com