gringo: added additional dependencies

lunar-linux · Jan 18, 2014 · 959d7f7 · 959d7f7
1 parent 980f7eb
commit 959d7f7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/compilers/gringo/DEPENDS b/compilers/gringo/DEPENDS
@@ -1,3 +1,6 @@
 depends scons
 depends re2c
 depends bison
+
+optional_depends Python "WITH_PYTHON=python2.7 CPPPATH=/usr/include/python2.7" " " "build python scripting extension"
+optional_depends lua    "WITH_LUA=lua" " " "build lua scripting extension"