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 s
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 libm
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 assis