[YICES-HELP] MinGW linking doesn't find yicesl_* functions from libyices.a

[Evgeni Kornikhin]

Thank you, Bruno! Yes, I have used the right version of Yices. Now I
have solved this problem. Thank you!

2009/5/26 Bruno Dutertre <bruno at csl.sri.com>:
> Evgeni Kornikhin wrote:
>>
>> Hello!
>> I compile sources from
>> http://atlantis.seidenberg.pace.edu/wiki/lep/Yices%20Java%20API%20Lite
>> to get libYicesLite.dll by MinGW 5.1.4 from Windows XP. But `make'
>> returns the following 'undefined reference' messages (libyices.a got
>> from sources.tar.gz and it has needed symbols!) :
>>
>
> Evgeni,
>
> This package is for Linux. If you need to compile on MinGW, you have to
> download the right version of Yices at http://yices.csl.sri.com. It might
> also be easier to use cygwin rather than MinGW.
>
> Bruno
>