Got some help from one of my advisers and got an image of Debian working
with PP, and I running that in Virtual Box. So Thanks for all the help guys.
I will me sending out an email shortly b/c now I am having some trouble
with actually getting some proofs for my specification written.
Thanks,
Jon
Jon,
On 01/08/12 23:44, Jon Lockhart wrote:
I did run the yum install commands as you mentioned, but it is possible
I spelled it wrong. I will look into and get back to you.
You can copy and paste the required lines of the yum command from the
email directly into a terminal. A trailing backs
Phil,
I will certainly look into what you mentioned after dinner.
I did run the yum install commands as you mentioned, but it is possible I
spelled it wrong. I will look into and get back to you.
Thanks,
Jon
On Wed, Aug 1, 2012 at 6:35 PM, Phil Clayton wrote:
> Jon,
>
>
> On 01/08/12 22:43, J
Jon,
On 01/08/12 22:43, Jon Lockhart wrote:
I forgot to grab the devel rpm when I was on the download site. I had
olbly grabbed the OpenMotif rpm. That did the trick on the configuration
file.
devel packages are easily overlooked! Usually, when you have source
code with a build dependency on
Phil,
I forgot to grab the devel rpm when I was on the download site. I had olbly
grabbed the OpenMotif rpm. That did the trick on the configuration file.
Now I am running into the issue on the install. I have attached the build
log for your convienece. The install is failing b/c the file Print.h
On 01/08/12 06:40, Jon Lockhart wrote:
I will try the rpm inquiry and see what i come up with.
I remember seeing that in the README. Guess it will be necessary to set
those config variables.
I have never found it necessary to set the PPMOTIFHOME environment
variable. I believe I am currently
Rob,
I will try the rpm inquiry and see what i come up with.
I remember seeing that in the README. Guess it will be necessary to set
those config variables.
Thanks,
Jon
On Aug 1, 2012 1:25 AM, "Rob Arthan" wrote:
>
> On 1 Aug 2012, at 04:35, Jon Lockhart wrote:
>
> Phil,
>
> I ran the original
On 1 Aug 2012, at 04:35, Jon Lockhart wrote:
> Phil,
>
> I ran the original yum setup you gave me. Unfortunately the polyml from the
> yum install was not placed in the user/lib path, and I could not find it, so
> I just built a copy of 5.4 myself and was able to get that installed no
> probl
Phil,
I ran the original yum setup you gave me. Unfortunately the polyml from the
yum install was not placed in the user/lib path, and I could not find it,
so I just built a copy of 5.4 myself and was able to get that installed no
problem in the /user folder.
Now I believe I am running into the i
On 01/08/12 00:07, Phil Clayton wrote:
yum install \
gcc-c++ \
polyml \
Of course, you can leave the package polyml out if you're building it
yourself. I believe the Fedora 17 repo supplies 5.4.1.
If you always want to manage your own versions of Poly/ML, you can
ensure that yum nev
Jon,
I have been running ProofPower under Fedora for many years now. A long
time ago, Rob and I established that the following yum command gave us
the prerequisites needed for ProofPower (apart from OpenMotif itself,
which is not properly open source) after a standard Fedora install:
yum in
Hey Rob,
Thanks for the link to motifzone, that worked immediately and I was able to
get the latest binary for open motif installed on my Fedora 17 image.
I am now currently having trouble with getting polyml to install.
After running the config file I try to run the make file and it says that
c
Rob,
Thank you very much for the site. I will give it a try as soon as i can.
Regards,
Jon
On Jul 30, 2012 2:48 AM, wrote:
> Jon,
>
> > Rob,
> >
> > I was wondering, you know of any problems with the download site for
> > OpenMotif?
> >
> > I got Virtual Box and Fedora 17 working on my desktop,
Jon,
> Rob,
>
> I was wondering, you know of any problems with the download site for
> OpenMotif?
>
> I got Virtual Box and Fedora 17 working on my desktop, my laptop did not
> have enough RAM to run it, and I got ProofPower and ML downloaded no
> problems, but seems you get a blank page when gett
Rob,
I was wondering, you know of any problems with the download site for
OpenMotif?
I got Virtual Box and Fedora 17 working on my desktop, my laptop did not
have enough RAM to run it, and I got ProofPower and ML downloaded no
problems, but seems you get a blank page when getting OpenMotif 2.3.3.
John,
On 21 Jul 2012, at 17:56, Jon Lockhart wrote:
> 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
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,
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
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 u
19 matches
Mail list logo
