<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    No, I haven't played with this any further. I'm intending to, but I
    was going to move the compile over to Solaris 11.1, that being
    obviously a more stable platform.<br>
    <br>
    I have no idea if the lack of brackets or UDK_3_0_0 on its own is
    significant, but doing a quick pvs on other files
    (/opt/openoffice.org3/program/*, /usr/bin/* and /usr/lib/*.so) it
    seems that this behaviour is OK for libraries but not binaries:<br>
    <blockquote><tt>rpcsec.so:</tt><br>
      <tt>        libgss.so.1 (SUNW_1.2, SUNWprivate_1.1);</tt><br>
      <tt>        libnsl.so.1 (SUNW_0.7, SUNWprivate_1.1);</tt><br>
      <tt>        libc.so.1 (SUNW_1.23);</tt><br>
      <tt>        rpcsec.so.1;</tt><br>
      <tt>        SUNW_1.2;</tt><br>
      <tt>        SUNW_1.1;</tt><br>
      <tt>        SUNWprivate_1.1;</tt><br>
      <tt>straddr.so:</tt><br>
      <tt>        libnsl.so.1 (SUNWprivate_1.1, SYSVABI_1.3);</tt><br>
      <tt>        libc.so.1 (SUNW_1.19);</tt><br>
      <tt>        straddr.so.2;</tt><br>
      <tt>        SUNWprivate_2.1;</tt><br>
    </blockquote>
    <br>
    I'll let you know how I get on though and thanks for your help. Any
    and all pointers always welcome...<br>
    <br>
    Eric<br>
    <br>
    <br>
    <div class="moz-cite-prefix">On 13/11/2013 11:32, Jan Holesovsky
      wrote:<br>
    </div>
    <blockquote cite="mid:1384342365.4780.26.camel@lump.site"
      type="cite">
      <pre wrap="">Hi Eric,

Eric Bautsch píše v Pá 01. 11. 2013 v 19:57 +0000:

</pre>
      <blockquote type="cite">
        <pre wrap="">Yes, the command is pvs:
<a class="moz-txt-link-freetext" href="http://docs.oracle.com/cd/E19253-01/816-5165/pvs-1/">http://docs.oracle.com/cd/E19253-01/816-5165/pvs-1/</a>
</pre>
      </blockquote>
      <pre wrap="">
Did you get anywhere, or still stuck, please? :-)

</pre>
      <blockquote type="cite">
        <pre wrap="">And the output suggests that the versions are OK:
        bautsche@cressida $ pvs solver/unxsogi.pro/bin/idlc 
                libm.so.2 (SUNW_1.1);
                libgcc_s.so.1 (GCC_3.0);
                libc.so.1 (SUNWprivate_1.1, SUNW_1.1, SUNW_0.9,
        SUNW_0.7, SYSVABI_1.3);
                libuno_sal.so.3 (LIBO_UDK_4.1, UDK_3.6, LIBO_UDK_4.0,
        PRIVATE_1.1, UDK_3
        _0_0);
        bautsche@cressida $ pvs
        solver/unxsogi.pro/lib/libuno_sal.so.3 
                libgcc_s.so.1 (GCC_3.0);
                libsocket.so.1 (SUNW_1.1, SUNW_0.7);
                libnsl.so.1 (SUNW_0.7);
                libm.so.2 (SUNW_1.1);
                libpthread.so.1 (SUNW_1.1, SUNW_1.2, SUNW_0.9);
                libuno_sal.so.3;
                UDK_3_0_0;
</pre>
      </blockquote>
      <pre wrap="">[...]

Knowing nothing about Solaris - I wonder why the other libs have eg.
(SUNW_1.1) or (GCC_3.0), but libuno_sal.so.3 has nothing like that,
instead the UDK_3_0_0 etc. are each on a separate line as if it was a
library itself, or what?  Could that be the problem?

Regards,
Kendy

</pre>
    </blockquote>
    <br>
    <pre class="moz-signature" cols="80">-- 
 
      ____
     /          .                           Eric A. Bautsch
    /--   __       ___                ______________________________________
   /     /    /   /                  /
  (_____/____(___(__________________/       email: <a class="moz-txt-link-abbreviated" href="mailto:eric.bautsch@pobox.com">eric.bautsch@pobox.com</a>

</pre>
  </body>
</html>