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

Bug 520

Summary: Can't run server on 64-bit Linux
Product: UPPAAL Reporter: Martin Stigge <martin.stigge>
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: major    
Priority: P2    
Version: 4.0.13   
Hardware: PC   
OS: Linux   
Architecture:

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 
ok
.
server: relocation error: /lib32/libresolv.so.2: symbol strlen, version GLIBC_2.0 not defined in file libc.so.6 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..)