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

Bug 345 - 4.0.2 verifyta not executing on SunOS
Summary: 4.0.2 verifyta not executing on SunOS
Status: RESOLVED FIXED
Alias: None
Product: Build system
Classification: Unclassified
Component: all (show other bugs)
Version: unspecified
Hardware: Sun Solaris
: P2 blocker
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-09-08 00:36 CEST by alex
Modified: 2007-03-02 22:26 CET (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.