search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
139 stars 32 forks source link

difficult to install on fedora #42

Closed jwaldmann closed 4 years ago

jwaldmann commented 9 years ago

I have Fedora 21. I installed package pvs-sbcl, which seems to work. (At least it starts up.)

Then I wanted to install nasalib, which did not work, because bin/relocate, which is required by their install script, is missing from the Fedora pvs pacakge.

So I build PVS from source, planning to use the Fedora sbcl package.

autoreconf
export SBCLISP_HOME=/usr/lib/sbcl
./configure --prefix=$HOME
make

this fails with

Makefile:104: *** "/usr/lib/sbcl/run-sbcl.sh is not executable".  Stop.
MJDSys commented 9 years ago

@jwaldmann I've run into a similar situation when trying to build PVS against an installed copy of SBCL. Unforunately, the current autoconf scripts assume that you are using a copy of SBCL from inside a binary tarball, or a custom compiled copy.

As a workarround, I found creating a symlink from the sbcl binary to run-sbcl.sh in a folder and pointing SBCLISP_HOME to that works fine. Depending upon your version of SBCL, you may need my PR's merged itno your local clone to get it to compile.

jwaldmann commented 9 years ago

(side issue) is bin/relocate required for using nasalibs? Or would it be enough set PVS_LIBRARY_PATH to nasalib location? (Then I could use Fedora's pvs-sbcl package as-is.)

cesaramh commented 9 years ago

In the nasa library bin/relocate is only needed by the script nasalib/install-scripts to install updated versions of pvsio and prooflite included in nasalib/pvs-patches. You can put nasalib wherever you want, but you have to set PVS_LIBRARY_PATH accordingly. However, I recommend you have a symblic link in the PVS directory to nasalib as some strategies may assume this location.

Cesar

On Mar 12, 2015, at 7:49 AM, jwaldmann notifications@github.com wrote:

(side issue) is bin/relocate required for using nasalibs? Or would it be enough set PVS_LIBRARY_PATH to nasalib location? (Then I could use Fedora's pvs-sbcl package as-is.)

— Reply to this email directly or view it on GitHub.

samowre commented 9 years ago

Just set the PVS_LIBRARY_PATH to the top level of the nasalib, e.g., mine is set as

export PVS_LIBRARY_PATH=$HOME/nasalib

Sam

jwaldmann notifications@github.com wrote:

(side issue) is bin/relocate required for using nasalibs? Or would it be enough set PVS_LIBRARY_PATH to nasalib location? (Then I could use Fedora's pvs-sbcl package as-is.)

— Reply to this email directly or view it on GitHub.*