diff --git a/jrl-cmakemodules/Makefile.common b/jrl-cmakemodules/Makefile.common index f414a6fb06ff3e0dc04f7b304cf3942025168c86..2f7209cbecaaa0b5483883117598b7821c2c594d 100644 --- a/jrl-cmakemodules/Makefile.common +++ b/jrl-cmakemodules/Makefile.common @@ -12,6 +12,14 @@ ifndef VERSION PKG_FAIL_REASON+="Dependency on jrl/Makefile.common requires VERSION" endif +ifdef USE_PYTHON_ONLY + USE_PYTHON= true + CMAKE_ARGS+= -DINSTALL_PYTHON_INTERFACE_ONLY=ON + CMAKE_ARGS+= -DINSTALL_DOCUMENTATION=OFF + CMAKE_ARGS+= -DINSTALL_GENERATED_HEADERS=OFF + CMAKE_ARGS+= -DINSTALL_PKG_CONFIG_FILE=OFF +endif + DISTNAME?= ${NAME}-${VERSION} ifdef USE_PYTHON PKGNAME?= ${PKGTAG.python-}${DISTNAME}