1
Vote

Unable to install TLAPS on Ubuntu 16.04

description

I changed the file's permissions, and attempted to run it, but I keep getting the following error:
$ ./tlaps-install.bin
bash: ./tlaps-install.bin: No such file or directory
Is it something to do with architectures?

comments

MartinRie wrote Oct 6, 2016 at 10:53 AM

Hello, the error message says that the command-line interpreter could not find the tlaps-install.bin in the current directory. I presume you are using the instructions and binary available at http://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries/Linux.html and just shortened the output (*)? Is it possible you downloaded the installer to a different directory. than the one you are currently in?

(*) The installer there is the same file you get from the download section from Codeplex, but the instructions are a bit better.

omazhary wrote Oct 6, 2016 at 4:52 PM

Hi,

nope. I'm using the official instructions. Like you said, I just shortened the instructions. I also am directly in the directory where it is. That's why I'm asking about the architecture.

MartinRie wrote Oct 6, 2016 at 7:07 PM

The distribution is compiled for i686 ( see also the output of file tlaps-install.bin ) but should run fine on a x68 architecture with i686 libraries installed. I just tried the following on an Ubuntu 14 LTS and managed to run the installer:
sudo dpkg --add-architecture i386
sudo apt-get install libc6:i386 
I will check which other libraries are required for the backend provers and add them in a seperate comment.

MartinRie wrote Oct 6, 2016 at 7:15 PM

It seems that all the tools are executable with libc6 and libstdc++6 installed in the i686 architecture. I could only do some shallow tests but it seems the command
sudo apt-get install libc6:i386 libstdc++6:i386
did the trick on the test-machine.

omazhary wrote Oct 6, 2016 at 8:47 PM

That solved the issue. Thanks!!