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

[Bruno Dutertre]

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