DLVHEX solver: core system and plugin API
GNU Lesser General Public License v2.1
24
stars
8
forks
source link
when configure does not find python and --enable-python is not used, the build still uses some python code and fails with linker error #19
Open
peschue opened 8 years ago
ifdef HAVE_PYTHON is probably missing in some header or source file
compilation works, as the headers sometimes can be found while the library cannot be found
in that case configure should not say HAVE_PYTHON and compilation and linking should succeed