Shashidhar Dakuri wrote: > src/src_sharpSAT/MainSolver/FormulaCache.h:9:25: sys/sysinfo.h: No such file > or > directory
That is a glibc header, meaing the program you're trying to build is not portable and depends on linux-specific features. Headers with the sys/ prefix tend to mean system-specific so it's generally a bad idea to use them if you care about portability. If you want to build it you'll have to either remove the code that needs that interface or figure out a way to portably achieve the same goal. Or you could reimplement the interface in Cygwin, which is what has happened for a number of linux-specific APIs, but not yet this one. Brian -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/