-std=c++11
-stdlib=libc++
-Iapp/gringo
-Iapp/shared/include
-Ilibgringo
-Ilibgringo/src
-Ilibclasp
-Ilibprogram_opts
-Ibuild/debug/libgringo
-Ibuild/debug/libgringo/src
-Ibuild/libcxx/include
-I/home/wv/bin/linux/64/gcc-4.9/include/c++/v1
-Ilibgringo/tests
-I/usr/include/python2.7
-I/usr/include/python2.6
-I/usr/include/lua5.1
-DWITH_PYTHON
-DWITH_LUA
-DWITH_THREADS=1
