This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 520 - Can't run server on 64-bit Linux
Summary: Can't run server on 64-bit Linux
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.13
Hardware: PC Linux
: P2 major
Assignee: Alexandre David
Depends on:
Reported: 2011-08-11 16:16 CEST by Martin Stigge
Modified: 2011-08-11 16:18 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Martin Stigge 2011-08-11 16:16:47 CEST
When trying to run the 4.0.13 server binary on a 64 bit machine with a Debian 6 (current stable) system, I get:

$ ./server 
server: relocation error: /lib32/ symbol strlen, version GLIBC_2.0 not defined in file with link time reference

Package ia32-libs is installed. Two more details:

* Running it in a Debian 5 chroot (oldstable) is fine.
* Running the 4.0.7 server binary on Debian 6 is also fine.

Unfortunately, 4.0.13 doesn't come with the socketserver binary anymore. So now I have the workaround options to either run it in an old chroot with a self-compiled socketserver or being stuck with an old version. I opted for the first.

I saw bug #509, but this applies to the current release branch (4.0) and I don't understand get the "solution" in comment #13. (license.txt file? what? Compile from trunk? Uh..)