Dear Rob, Thank you for returning my email and the advice you have given.
After getting more into the installation I realized that Motiff was not available for Cygwin and I was going to have no interface to work with. I thought maybe there was some terminal commands I could use to run ProofPower, but there as well there was no dice. I have moved on to looking at installing a VM. I am familiar and have used VM's plenty over my albeit short career, but I have never personally installed one. I was actually looking at Virtual Box, and was a little concerned b/c just like you I am using an XP laptop for my work since I travel to and from the lab and my apartment. I am glad to see I can get away with just using 10 to 15 GB. Since this is a much older laptop, do you think I will have an issue with only have 1 GB of RAM. If so I can use my desktop since I have plenty of performance there. Rather than Ubuntu, do you think a Fedora distro would be sufficient for the task? Thanks for all your help and look forward to hearing back from you. Regards, Jon Lockhart On Sat, Jul 21, 2012 at 11:33 AM, Rob Arthan <r...@lemma-one.com> wrote: > Jon, > > On 19 Jul 2012, at 21:57, Jon Lockhart wrote: > > Dear PP Community, > > I was wondering if anyone had any help or suggestions for trying to > install ProofPower on a Windows machine? > > I am currently running Windows XP Professional, Service Pack 3, 32-bit. > > I have downloaded all the necessary components that were necessary. I have > tried installing PP using Cygwin, but I can't get to any of my Windows > directories from it. > > > Cygwin sets up a directory /cygdrive whose subdirectories are the mounted > file systems on Windows. Your Windows directories will be there under > /cygdrive/c (= C:) or /cygdrive/d (= D:) or wherever. Once you have found > "My Documents" etc. you can put links to them in your Cygwin home directory. > > I have also tried installing it from GIT Bash, but when I run the config > file I get an error returned saying I have no ML installed, though I do > have Poly ML installed, as the page instructions say to do. I have added > Poly ML to my path variable but that does not seem to fix the problem > either. > > > I am afraid I have no experience of GIT Bash and don't know what kind of > UN*X look-alike environment it gives you. > > On MS Windows, ProofPower will only build "out of the box" using > Cygwin. With some modifications a build can be got to work with MinGW, but > I have not proved that route myself. ProofPower was ported to Cygwin to > meet the needs of a particular group of users who have their own front-end > that uses ProofPower to provide proof services running as a server on > Windows. But they are experts who have their own custom build, now using > MinGW, that is not currently available in the OpenSource distribution. > > However, Cygwin doesn't support Motif currently, so, even if your persever > with Cygwin, you won't have any kind of usable interactive user interface. > So I don't recommend this route for ordinary users. If you want to run > ProofPower on MS Windows at the moment, your best option is to install a > virtualization package, e.g., VirtualBox, build one of the standard Linux > distributions as a guest operating system and then install ProofPower in > that. If you are not familiar with VirtualBox or similar, then I can assure > you that this is a great deal easier than its sounds and the "footprint" on > your Windows systems is quite small: you can do a lot in 10 or 15GB. I > often have to travel with an XP laptop, and this approach using VirtualBox > and Ubuntu works very well indeed when I want to do ProofPower work while I > am on the train. > > The good news is that the licencing restrictions that prevent OpenMotif > being used on Cygwin look likely to be relaxed soon. This will give me some > incentive to get the whole system to build reliably on Cygwin and maybe > making a canned binary build for Windows. > > Regards, > > Rob. > > > >
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com