mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Fixed ezSAT stand-alone build

Browse source
This commit is contained in:
Clifford Wolf 2014-07-21 01:03:01 +02:00
parent 92c9403249
commit ade659e617
2 changed files with 4 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

3
libs/ezsat/Makefile
View file

@ -3,7 +3,8 @@ CC = clang
CXX = clang
CXXFLAGS = -MD -Wall -Wextra -ggdb
CXXFLAGS += -std=c++11 -O0
LDLIBS = -lminisat -lm -lstdc++
LDLIBS = ../minisat/Options.cc ../minisat/SimpSolver.cc ../minisat/Solver.cc ../minisat/System.cc -lm -lstdc++
all: demo_vec demo_bit demo_cmp testbench puzzle3d

9
libs/ezsat/ezminisat.cc
View file

@ -28,13 +28,8 @@
#include <csignal>
#include <cinttypes>
#ifdef _YOSYS_
# include "libs/minisat/Solver.h"
# include "libs/minisat/SimpSolver.h"
#else
# include <minisat/core/Solver.h>
# include <minisat/simp/SimpSolver.h>
#endif
#include "../minisat/Solver.h"
#include "../minisat/SimpSolver.h"
ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
{