[YICES-HELP] New problem. Re: libYicesLite.so for 64 bit Java

[Guodong Li]

Hi All,

  I've solved this problem by recompiling the Java source code of
YicesLite. Now the problem is the libyices.so is 32 bit and I cannot find a
64 bit version after extensive web searching. I failed to add the yices.o
in the static library libyices.a into a dynamic library, e.g. 

  /usr/bin/ld: yices.o: relocation R_X86_64_32S against
`std::basic_string<char, std::char_traits<char>, std::allocator<char>
>::_Rep::_S_empty_rep_storage' can not be used when making a shared object;
recompile with -fPIC

  This seems to require recompilation of the Yices source code. 
  Please let me know if you have a dynamically linkable Yices library. 


Thanks,
Guodong


On Thu, 08 Sep 2011 17:55:15 -0600, Guodong Li <ligd at cs.utah.edu> wrote:
> Dear Yices Users,
> 
>   I am wondering whether there is a 64-bit version of libYicesLite.so
> which is used to access Yices in Java, i.e. the one related to
> "yicesapijava.jar". Please let me know if you have any information.
Thanks
> in advance!
> 
> Best,
> Guodong