From 427ac6febd569d0ee287dabc17f2c75bf402c317 Mon Sep 17 00:00:00 2001 From: "Guillermo A. Perez" Date: Wed, 22 Jun 2016 18:35:00 +0200 Subject: [PATCH] reset makefile to remove declare NDEBUG --- source/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/Makefile b/source/Makefile index 279dd76..ab3b99d 100644 --- a/source/Makefile +++ b/source/Makefile @@ -1,5 +1,5 @@ CXX=g++ -CXXFLAGS=-Wall -std=c++11 -pthread -O3 #-D NDEBUG +CXXFLAGS=-Wall -std=c++11 -pthread -O3 -D NDEBUG HEADERS=abssynthe.h logging.h aig.h aiger.h SOURCES=abssynthe.cpp logging.cpp aig.cpp aiger.c aigtocnf.c algos.cpp CUDD_PATH=cudd-2.5.1