[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: PVS @ Linux other than RedHat
Hello, Dave,
thanks for the answer.
Dave> support the Redhat Linux distribution as that is what is
Dave> supported by Allegro Lisp.
Sure, that's clear.
Dave> Try installing and using PVS on your Linux box `as is' and see if
Dave> you come across any difficulties.
This is actually what we did. We installed pvs and the installation worked
fine. We could also invoke pvs such that the emacs-windows etc comes up.
What did not work were things like
``view-prelude-library''
where pvs (or Allegro ?) answered with ``LIBRARY-FUNCTIONS'' not
found.
Therefore we suspected that we should supply pvs with the library-package
libc-devel-5.3.12-17
So we fetched the libraries from your web-site and tried to install them
but failed to do so; rpm complained that some ``kernel-headers'' where
missing.
So, one question is: is the mentioned error message about
``LIBRARY-FUNCTIONS' actually related to the missing libc-devel-libraries
or does it hint to something else? In the latter case we need not go on to
try to look around for fitting libc-libraries.
Thanks,
Martin