search

gokhankici / goolong

Source code of Goolong, from "Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs"
https://goto.ucsd.edu/~rkici/popl19_artifact_evaluation/
Other
2 stars 2 forks source link

Installation Errors: spld not found #1

Open prpr2770 opened 2 years ago

prpr2770 commented 2 years ago

While attempting to install this library on a VM with sicstus installed, the following error is obtained: 

spld --output="brisk" --main=restore --moveable --static --resources-from-sav --resources=brisk.sav=/brisk/bri.sav
/bin/sh: 1: spld: not found
make: *** [Makefile:3: brisk] Error 127

Could you please provide some guidance on how / from where the spld software may be installed. The README.md file for this project has very minimal instructions on the dependencies that are needed for installation of this project from the github repository. I couldn't get the artifact-evalation-VM of this project to work correctly, and hence, I am attempting to evaluate this project on my personal VM.

I would really appreciate your help/guidance with this issue. Thank you.

prpr2770 commented 2 years ago

I realize now that the spld executable is located in the same folder that contains the sicstus executable.