Closed Mac85 closed 8 years ago
unzip it. Then follow this two steps:
I sireum extract. with the terminal took me into sireum folder and type its sireum install "Sireum Amandroid Cli" but the command was not found
I think the problem is Sireum folder is not in your PATH, so either set the PATH, or in that folder ./sireum install "Sireum Amandroid Cli"
I always fail. Invalid executable format
Inviato da iPhone
Il giorno 23 feb 2016, alle ore 21:23, Fengguo Wei notifications@github.com ha scritto:
I think the problem is Sireum folder is not in your PATH, so either set the PATH, or in that folder ./sireum install "Sireum Amandroid Cli"
— Reply to this email directly or view it on GitHub.
Whats the OS of your host machine?
Ubuntu 15.10
Can you send me a screen shot, which help me to see the problem
Ok
It's a 32bit machine?
Yes
Inviato da iPhone
Il giorno 23 feb 2016, alle ore 22:42, Fengguo Wei notifications@github.com ha scritto:
It's a 32bit machine?
— Reply to this email directly or view it on GitHub.
The sireum is a 64bit software, so it won't work on a 32bit machine.
Ok 😞
Inviato da iPhone
Il giorno 23 feb 2016, alle ore 23:12, Fengguo Wei notifications@github.com ha scritto:
The sireum is a 64bit software, so it won't work on a 32bit machine.
Hello I downloaded "sireum-dev-linux64.tar.gz" how do I install it? what are the commands?