Spinroot installation on 16.04
I am trying to install spin, spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications.
Spin website
The problem is that i follow every step in the guide and when i try to run a spin program ubuntu pops a message that says i have to install "staden" in order to run pml files, but staden is another kind of program irrelevant to what i am trying to install, i have attached a screenshot of the terminal if it helps.
Screenshot of the installation process
I have tried contacting their forum but it is closed and still waiting for an invite.
Thank you in advance
software-installation
asked Jan 4 at 10:17
AenarionAenarion
132
add a comment |
I am trying to install spin, spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications.
Spin website
The problem is that i follow every step in the guide and when i try to run a spin program ubuntu pops a message that says i have to install "staden" in order to run pml files, but staden is another kind of program irrelevant to what i am trying to install, i have attached a screenshot of the terminal if it helps.
Screenshot of the installation process
I have tried contacting their forum but it is closed and still waiting for an invite.
Thank you in advance
software-installation
asked Jan 4 at 10:17
AenarionAenarion
132
add a comment |
I am trying to install spin, spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications.
Spin website
The problem is that i follow every step in the guide and when i try to run a spin program ubuntu pops a message that says i have to install "staden" in order to run pml files, but staden is another kind of program irrelevant to what i am trying to install, i have attached a screenshot of the terminal if it helps.
Screenshot of the installation process
I have tried contacting their forum but it is closed and still waiting for an invite.
Thank you in advance
software-installation
asked Jan 4 at 10:17
AenarionAenarion
132
I am trying to install spin, spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications.
Spin website
The problem is that i follow every step in the guide and when i try to run a spin program ubuntu pops a message that says i have to install "staden" in order to run pml files, but staden is another kind of program irrelevant to what i am trying to install, i have attached a screenshot of the terminal if it helps.
Screenshot of the installation process
I have tried contacting their forum but it is closed and still waiting for an invite.
Thank you in advance
software-installation
software-installation
asked Jan 4 at 10:17
AenarionAenarion
132
asked Jan 4 at 10:17
AenarionAenarion
132
asked Jan 4 at 10:17
AenarionAenarion
132
asked Jan 4 at 10:17
AenarionAenarion
132
asked Jan 4 at 10:17
AenarionAenarion
132
132
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
I don't know where you got your instructions from but I believe you are misunderstanding the process unless I am too. From that site, I downloaded the .gz file and uncompress it the instructions are:
- Uncompress with
gunzip -d spin649_linux64.gz
- Rename the file to
spinmv spin649_linux64 spinand make executable withsudo chmod +x spin
Place that file in the any of the following locations:
/usr/local/bin, /usr/bin, /bin,
or any other directory within your search path.
Run that file with just the command
spinafter closing and reopening your terminal
Update: Nowe looking around I see where you got the instructions from but you missed the part where you ought to put the built binary in your system paths.
Use these steps:
gunzip *.tar.gztar -xf *.tarcd Src*make
If step 4 gives the error make: yacc: Command not found, then install bison with sudo apt install bison and run the make command again. Now you will see a spin file in that folder move that into any of the following paths: /usr/local/bin, /usr/bin, /bin. Close and open your teminal now you should be able to run the spin command.
Update2:
If you ran that command like this
../Src6.4.9/spin hello.pml
as the spin binary is in another folder you won't get that error. But move that spin binary in the Src* folder into your file path to launch spin from anywhere.
answered Jan 4 at 10:38
George UdosenGeorge Udosen
20.6k94467
Thecheckinstall make installwould be better.
– N0rbert
Jan 4 at 10:40
Yes your right!
– George Udosen
Jan 4 at 10:40
Thank you so much, you are a life saver, worked like a charm, as you can tell i am new to linux and i am having trouble understanding how some things work. Thank you again!
– Aenarion
Jan 4 at 12:19
@Aenarion please see: How to accept an answer
– George Udosen
Jan 4 at 12:57
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "89"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f1106865%2fspinroot-installation-on-16-04%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
I don't know where you got your instructions from but I believe you are misunderstanding the process unless I am too. From that site, I downloaded the .gz file and uncompress it the instructions are:
- Uncompress with
gunzip -d spin649_linux64.gz
- Rename the file to
spinmv spin649_linux64 spinand make executable withsudo chmod +x spin
Place that file in the any of the following locations:
/usr/local/bin, /usr/bin, /bin,
or any other directory within your search path.
Run that file with just the command
spinafter closing and reopening your terminal
Update: Nowe looking around I see where you got the instructions from but you missed the part where you ought to put the built binary in your system paths.
Use these steps:
gunzip *.tar.gztar -xf *.tarcd Src*make
If step 4 gives the error make: yacc: Command not found, then install bison with sudo apt install bison and run the make command again. Now you will see a spin file in that folder move that into any of the following paths: /usr/local/bin, /usr/bin, /bin. Close and open your teminal now you should be able to run the spin command.
Update2:
If you ran that command like this
../Src6.4.9/spin hello.pml
as the spin binary is in another folder you won't get that error. But move that spin binary in the Src* folder into your file path to launch spin from anywhere.
answered Jan 4 at 10:38
George UdosenGeorge Udosen
20.6k94467
Thecheckinstall make installwould be better.
– N0rbert
Jan 4 at 10:40
Yes your right!
– George Udosen
Jan 4 at 10:40
Thank you so much, you are a life saver, worked like a charm, as you can tell i am new to linux and i am having trouble understanding how some things work. Thank you again!
– Aenarion
Jan 4 at 12:19
@Aenarion please see: How to accept an answer
– George Udosen
Jan 4 at 12:57
add a comment |
I don't know where you got your instructions from but I believe you are misunderstanding the process unless I am too. From that site, I downloaded the .gz file and uncompress it the instructions are:
- Uncompress with
gunzip -d spin649_linux64.gz
- Rename the file to
spinmv spin649_linux64 spinand make executable withsudo chmod +x spin
Place that file in the any of the following locations:
/usr/local/bin, /usr/bin, /bin,
or any other directory within your search path.
Run that file with just the command
spinafter closing and reopening your terminal
Update: Nowe looking around I see where you got the instructions from but you missed the part where you ought to put the built binary in your system paths.
Use these steps:
gunzip *.tar.gztar -xf *.tarcd Src*make
If step 4 gives the error make: yacc: Command not found, then install bison with sudo apt install bison and run the make command again. Now you will see a spin file in that folder move that into any of the following paths: /usr/local/bin, /usr/bin, /bin. Close and open your teminal now you should be able to run the spin command.
Update2:
If you ran that command like this
../Src6.4.9/spin hello.pml
as the spin binary is in another folder you won't get that error. But move that spin binary in the Src* folder into your file path to launch spin from anywhere.
answered Jan 4 at 10:38
George UdosenGeorge Udosen
20.6k94467
Thecheckinstall make installwould be better.
– N0rbert
Jan 4 at 10:40
Yes your right!
– George Udosen
Jan 4 at 10:40
Thank you so much, you are a life saver, worked like a charm, as you can tell i am new to linux and i am having trouble understanding how some things work. Thank you again!
– Aenarion
Jan 4 at 12:19
@Aenarion please see: How to accept an answer
– George Udosen
Jan 4 at 12:57
add a comment |
I don't know where you got your instructions from but I believe you are misunderstanding the process unless I am too. From that site, I downloaded the .gz file and uncompress it the instructions are:
- Uncompress with
gunzip -d spin649_linux64.gz
- Rename the file to
spinmv spin649_linux64 spinand make executable withsudo chmod +x spin
Place that file in the any of the following locations:
/usr/local/bin, /usr/bin, /bin,
or any other directory within your search path.
Run that file with just the command
spinafter closing and reopening your terminal
Update: Nowe looking around I see where you got the instructions from but you missed the part where you ought to put the built binary in your system paths.
Use these steps:
gunzip *.tar.gztar -xf *.tarcd Src*make
If step 4 gives the error make: yacc: Command not found, then install bison with sudo apt install bison and run the make command again. Now you will see a spin file in that folder move that into any of the following paths: /usr/local/bin, /usr/bin, /bin. Close and open your teminal now you should be able to run the spin command.
Update2:
If you ran that command like this
../Src6.4.9/spin hello.pml
as the spin binary is in another folder you won't get that error. But move that spin binary in the Src* folder into your file path to launch spin from anywhere.
answered Jan 4 at 10:38
George UdosenGeorge Udosen
20.6k94467
I don't know where you got your instructions from but I believe you are misunderstanding the process unless I am too. From that site, I downloaded the .gz file and uncompress it the instructions are:
- Uncompress with
gunzip -d spin649_linux64.gz
- Rename the file to
spinmv spin649_linux64 spinand make executable withsudo chmod +x spin
Place that file in the any of the following locations:
/usr/local/bin, /usr/bin, /bin,
or any other directory within your search path.
Run that file with just the command
spinafter closing and reopening your terminal
Update: Nowe looking around I see where you got the instructions from but you missed the part where you ought to put the built binary in your system paths.
Use these steps:
gunzip *.tar.gztar -xf *.tarcd Src*make
If step 4 gives the error make: yacc: Command not found, then install bison with sudo apt install bison and run the make command again. Now you will see a spin file in that folder move that into any of the following paths: /usr/local/bin, /usr/bin, /bin. Close and open your teminal now you should be able to run the spin command.
Update2:
If you ran that command like this
../Src6.4.9/spin hello.pml
as the spin binary is in another folder you won't get that error. But move that spin binary in the Src* folder into your file path to launch spin from anywhere.
answered Jan 4 at 10:38
George UdosenGeorge Udosen
20.6k94467
edited Jan 4 at 11:04
answered Jan 4 at 10:38
George UdosenGeorge Udosen
20.6k94467
answered Jan 4 at 10:38
George UdosenGeorge Udosen
20.6k94467
answered Jan 4 at 10:38
George UdosenGeorge Udosen
20.6k94467
20.6k94467
Thecheckinstall make installwould be better.
– N0rbert
Jan 4 at 10:40
Yes your right!
– George Udosen
Jan 4 at 10:40
Thank you so much, you are a life saver, worked like a charm, as you can tell i am new to linux and i am having trouble understanding how some things work. Thank you again!
– Aenarion
Jan 4 at 12:19
@Aenarion please see: How to accept an answer
– George Udosen
Jan 4 at 12:57
add a comment |
Thecheckinstall make installwould be better.
– N0rbert
Jan 4 at 10:40
Yes your right!
– George Udosen
Jan 4 at 10:40
Thank you so much, you are a life saver, worked like a charm, as you can tell i am new to linux and i am having trouble understanding how some things work. Thank you again!
– Aenarion
Jan 4 at 12:19
@Aenarion please see: How to accept an answer
– George Udosen
Jan 4 at 12:57
The
checkinstall make install would be better.– N0rbert
Jan 4 at 10:40
The
checkinstall make install would be better.– N0rbert
Jan 4 at 10:40
Yes your right!
– George Udosen
Jan 4 at 10:40
Yes your right!
– George Udosen
Jan 4 at 10:40
Thank you so much, you are a life saver, worked like a charm, as you can tell i am new to linux and i am having trouble understanding how some things work. Thank you again!
– Aenarion
Jan 4 at 12:19
Thank you so much, you are a life saver, worked like a charm, as you can tell i am new to linux and i am having trouble understanding how some things work. Thank you again!
– Aenarion
Jan 4 at 12:19
@Aenarion please see: How to accept an answer
– George Udosen
Jan 4 at 12:57
@Aenarion please see: How to accept an answer
– George Udosen
Jan 4 at 12:57
add a comment |
Thanks for contributing an answer to Ask Ubuntu!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f1106865%2fspinroot-installation-on-16-04%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
