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.
[EMAIL PROTECTED] ~/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
[EMAIL PROTECTED] ~/Scheduling/sharpSAT
$
please help me out!!!!
--
Regards
Shashidhar M Dakuri
1042 - A , Alabama Street,
Beaumont, Texas 77705, USA
E-mail: [EMAIL PROTECTED]
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/
