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
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
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/