Vitor Santos Costa
|
9f27ab5ab3
|
fix typo in minisat compilation
|
2009-11-23 21:03:04 +00:00 |
|
U-Xato7\Vsc
|
dd60f64f42
|
WIN32 can get confused with C and c type files, so, just in case.
|
2009-11-23 16:02:47 +00:00 |
|
Vitor Santos Costa
|
4b40e80fe5
|
CXX not CPP, you idiot!
|
2009-11-18 09:53:38 +00:00 |
|
Vitor Santos Costa
|
167e129222
|
make configuration changes to better support C++ and deeper included packages.
|
2009-11-18 09:29:26 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
7058b6b35f
|
minisat swi interface package.
|
2009-11-11 10:56:37 +00:00 |
|