[Termtools] Running Z3 on StarExec

[Matthias Heizmann]

Hi,

thanks for the hints related to my problem. After 10-20 rounds of uploading 
and testing a new solver I am able to run Z3.

Building a statically linked Z3 using "LINK_FLAGS=-static" finally worked.
First, I obtained the following error message.
   49541 Illegal instruction     (core dumped)
After another hint from Akihisa, I found out that my binaries are incompatible 
to StarExec's CPU. After building Z3 on an older machine it worked.

Best,
Matthias


PS: Yet, I don't know how I have to build Z3 on my computer in order to obtain 
a StarExec compatible binary.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part.
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150705/2aafd0c0/attachment.sig>