diff --git a/Makefile b/Makefile index 1d58f76..9eb97de 100644 --- a/Makefile +++ b/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 diff --git a/README b/README index 9e6dce5..56cd902 100644 --- a/README +++ b/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