sys/sysinfo.h : No such file error

[Brian Dessent]

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/