X-Recipient:	archive-cygwin AT delorie DOT com
X-Spam-Check-By:	sourceware.org
Message-ID:	<e111e1200803161720s9d9ac3es3c9d42b359c75b0f@mail.gmail.com>
Date:	Sun, 16 Mar 2008 19:20:46 -0500
From:	"Shashidhar Dakuri" <shashidhar DOT dakuri AT gmail DOT com>
To:	cygwin AT cygwin DOT com
Subject:	sys/sysinfo.h : No such file error
MIME-Version:	1.0
X-IsSubscribed:	yes
Mailing-List:	contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id:	<cygwin.cygwin.com>
List-Subscribe:	<mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive:	<http://sourceware.org/ml/cygwin/>
List-Post:	<mailto:cygwin AT cygwin DOT com>
List-Help:	<mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender:	cygwin-owner AT cygwin DOT com
Mail-Followup-To:	cygwin AT cygwin DOT com
Delivered-To:	mailing list cygwin AT cygwin DOT com

Hi,
i am newbie using cygwin for the first time, i have a project for
which i need sharpSAT a SAT solver, which is written in C++, i have my
application writte in Java. so in order to integrate both of them and
run them in unix environment, i installed cygwin , and when i compiled
the sharpSAT, i get the following error, but when i compiled the same
source code on my desktop with Fedora Core 6, it just compiled fine.

User AT User-PC ~/Scheduling/sharpSAT
$ make
g++ -c -pipe -O3 -w   -I. -Isrc/shared -I/usr/include  -o MainSolver.o src/src_s
harpSAT/MainSolver/MainSolver.cpp
In file included from src/src_sharpSAT/MainSolver/MainSolver.h:10,
                 from src/src_sharpSAT/MainSolver/MainSolver.cpp:1:
src/src_sharpSAT/MainSolver/FormulaCache.h:9:25: sys/sysinfo.h: No such file or
directory
make: *** [MainSolver.o] Error 1

User AT User-PC ~/Scheduling/sharpSAT
$

please help me out!!!!
-- 
Regards
Shashidhar M Dakuri
1042 - A , Alabama Street,
Beaumont, Texas 77705, USA
E-mail: shashidhar DOT dakuri AT gmail DOT com
http://galaxy.cs.lamar.edu/~dakuris
---
 +-------------------------------------------------------------------------------+
 | |
 | The one who doesn't learn from history |
 | is bound to live through it again. |
 | |
 +-------------------------------------------------------------------------------+

---

--
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/

- Raw text -