vukk/instructions.md

## instructions.md

      
    Raw
  

              instructions.md
            
          
    Installing dependencies with homebrew

brew install bison re2c scons python lua tbb

Configuring


download sources
cd to the source directory
run scons configure --build-dir=release
see attached release.py file for configuring, adapt if needed

If you are on clingo 4.5.0, run (for info see http://sourceforge.net/p/potassco/bugs/104/)
sed -i".bak" '445d' libclasp/src/clasp_output.cpp

Building


run scons --build-dir=release


## release.py
CXX = 'clang++'
CXXFLAGS = ['-std=c++11', '-O3', '-Wall']
CPPPATH = ['/usr/include/python2.7', '/usr/local/include/lua5.2', '/usr/local/include/tbb']
CPPDEFINES = {'NDEBUG': 1, 'TBB_IMPLEMENT_CPP0X': 1}
LIBS = ['']
LIBPATH = ['/usr/local/lib']
LINKFLAGS = ['-std=c++11', '-O3']
RPATH = []
AR = 'ar'
ARFLAGS = ['rc']
RANLIB = 'ranlib'
BISON = '/usr/local/opt/bison/bin/bison -Wno-deprecated'
RE2C = 're2c'
WITH_PYTHON = 'python2.7'
WITH_LUA = 'lua.5.2'
WITH_TBB = 'tbb'
WITH_CPPUNIT = None
	CXX = 'clang++'
	CXXFLAGS = ['-std=c++11', '-O3', '-Wall']
	CPPPATH = ['/usr/include/python2.7', '/usr/local/include/lua5.2', '/usr/local/include/tbb']
	CPPDEFINES = {'NDEBUG': 1, 'TBB_IMPLEMENT_CPP0X': 1}
	LIBS = ['']
	LIBPATH = ['/usr/local/lib']
	LINKFLAGS = ['-std=c++11', '-O3']
	RPATH = []
	AR = 'ar'
	ARFLAGS = ['rc']
	RANLIB = 'ranlib'
	BISON = '/usr/local/opt/bison/bin/bison -Wno-deprecated'
	RE2C = 're2c'
	WITH_PYTHON = 'python2.7'
	WITH_LUA = 'lua.5.2'
	WITH_TBB = 'tbb'
	WITH_CPPUNIT = None