[YICES-HELP] New problem. Re: libYicesLite.so for 64 bit Java
ligd at cs.utah.edu
Wed Sep 14 12:18:29 PDT 2011
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.
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.
> in advance!
More information about the YICES-HELP