|Summary:||4.0.2 verifyta not executing on SunOS|
|Component:||all||Assignee:||Gerd Behrmann <behrmann>|
Description alex 2006-09-08 00:36:47 CEST
I tried to run the 4.0.2 SunOS version of verifyta on a Solaris server (sparc III with 24GB memory and 8 CPUS) but got the following message: ld.so.1: verifyta: fatal: libm.so.2: open failed: No such file or directory As I understand it, the libm.so.2 library is not where the executable thinks it is.
Comment 1 Gerd Behrmann 2006-09-09 12:28:44 CEST
Which version of Solaris do you use? UPPAAL was compile on and for Solaris 10. I no longer have access to Solaris 9 machines and can therefore not produce a binary for Solaris 9.
Comment 2 Gerd Behrmann 2006-09-09 12:32:44 CEST
Comparing version 4.0.1 and 4.0.2, I noticed that version 4.0.1 was linked against an older version of libm. I will see if there is anything I can do in 4.0.3 to resolve this problem. Still, I would like to know which version of Solaris you use.
Comment 3 alex 2006-09-09 16:13:59 CEST
The system characteristics are: - Sun Fire 880 workstation - System SunOS - Version 5.9 - KernelID Generic_118558-24 So I guess this means Solaris 9.
Comment 4 Gerd Behrmann 2006-09-09 19:06:00 CEST
The problem is that on Solaris 8 and Solaris 9 libm.so.1 (an older version of the libm library) is used, whereas applications build on Solaris 10 link with libm.so.2. As a workaround, I suggest the following procedure: Execute: cd uppaal-4.0.2/bin-SunOS/ ln -sf /lib/libm.so.1 libm.so.2 Then define the LD_LIBRARY_PATH environment variable to the path of the bin-SunOS directory. This can be done in the Uppaal startup script by adding the following line before the if-expression: export LD_LIBRARY_PATH=/complete/path/to/bin-SunOS/ where the appropriate path is filled in. I hope we can link to libm.so.1 in UPPAAL 4.0.3.
Comment 5 Gerd Behrmann 2006-09-09 20:46:36 CEST
Fixed on the trunk as of rev. 2646. Still needs to be fixed on the 4.0 branch.
Comment 6 Gerd Behrmann 2006-09-23 13:31:31 CEST
Fixed on the 4.0 branch from rev. 2682.