Set devel = 0 and default to optimized in Makefile.
This commit is contained in:
parent
ad0f60f5c0
commit
dc11fd082c
6
Makefile
6
Makefile
@ -1,5 +1,5 @@
|
||||
|
||||
devel = 1
|
||||
devel = 0
|
||||
|
||||
BISON = bison
|
||||
FLEX = flex
|
||||
@ -10,8 +10,8 @@ CXX = clang++ -fno-color-diagnostics --stdlib=libc++ --std=c++11
|
||||
|
||||
INCLUDES = -I. -I/opt/local/include
|
||||
|
||||
OPTFLAGS = -g
|
||||
# OPTFLAGS = -O2 -g
|
||||
# OPTFLAGS = -g
|
||||
OPTFLAGS = -O2 -g
|
||||
# OPTFLAGS = -O2 -DNDEBUG
|
||||
|
||||
LDFLAGS = -L/opt/local/lib
|
||||
|
3
README
3
README
@ -80,7 +80,8 @@ knotkit also builds under Linux. In addition to GMP, you will need a
|
||||
C++ compiler which supports C++11. I use LLVM clang, but knotkit
|
||||
should build with a recent version of GCC.
|
||||
|
||||
knotkit doesn't have a sophisticated build system. To build knotkit, just run:
|
||||
knotkit doesn't have a sophisticated build system. To build knotkit,
|
||||
just run:
|
||||
|
||||
make
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user