Skip to content

Instantly share code, notes, and snippets.

@ConstantineLignos

ConstantineLignos/picosat_additions.h

Last active March 12, 2018 23:20
Show Gist options
  • Star 2 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ConstantineLignos/4601835 to your computer and use it in GitHub Desktop.
Save ConstantineLignos/4601835 to your computer and use it in GitHub Desktop.
Download ZIP
Building picosat on Windows.
Raw
picosat_additions.h
/* Turn off features that will not work on Windows.
*/
#define NGETRUSAGE
#define NALLSIGNALS
Raw
picosat_windows_instructions.txt
How to build:
1. Add the lines in 'picosat_additions.h' to 'picosat.h'. A good spot to place them is just below '#include <stdio.h>'. These turn off features that rely on headers not present in MSYS.
2. Run:
./configure
3. Make the config manually, to avoid a circular dependency introduced by the makefile not distinguishing between the VERSION file and version.h on case-insensitive systems:
./mkconfig > config.h
4. Run:
make
@nmz787
Copy link

nmz787 commented Jun 28, 2016

what environment did you run ./configure in? What are the pre-reqs (Visual Studio, cygwin, etc)?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment