On 09/05/13 23:03, Piotr Trojanek wrote:
Thank you for your reply. I have groff installed, so this is not the reason.
As far as I understand, the build workflow is .doc-.sml-.err. With
my experience in SML I can only attach the files with indication of
the problem and kindly ask for your
Further to my last, this is what I did before building on Ubuntu 12.04
sudo apt-get install texlive-latex-extra texlive-fonts-extra
sudo apt-get install libXp-dev libXext-dev \
libXmu-dev libXt-dev \
libxft-dev libjpeg-dev libpng12-dev
sudo apt-get install libmotif4
Dear Piotr,
Two years ago I wrote a script in order to automate the ProofPower
install process on Ubuntu. I'm sending it so you can give a try.
At that time, I used Ubuntu 10.10. After the last message sent from
Roger, I slightly updated a few apt
files needed. I'm sending the script to you. It
On 09/05/13 15:16, Piotr Trojanek wrote:
Dear ProofPower experts,
I triy to install the latest OpenProofPower under Ubuntu 12.04, but it
fails with the (somewhat cryptic) tail of build.log:
docsml -f hol.svf imp001
Compiling (code) imp001.sml
make[1]: *** [imp001.ldd] Error 1
My setup
