[YICES-HELP] MinGW linking doesn't find yicesl_* functions from
bruno at csl.sri.com
Tue May 26 10:54:44 PDT 2009
Evgeni Kornikhin wrote:
> I compile sources from
> 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!) :
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.
More information about the YICES-HELP