Packaging: Add options for fine-grained builds #5957
authorChristian Kamm <mail@ckamm.de>
Fri, 22 Sep 2017 08:32:38 +0000 (10:32 +0200)
committerRoeland Jago Douma <roeland@famdouma.nl>
Thu, 5 Oct 2017 20:01:37 +0000 (22:01 +0200)
commit9143ddd0ade07b3fed0923b5dacfa15f6cc48b54
treeea24fc261aae9e68be89731b66983a7179451deb
parentf46440eb67df22293a6d75fe782e782ab12193a0
Packaging: Add options for fine-grained builds #5957

Extracted and adjusted from packaging.diff by @jnweiger and @dschmidt
CMakeLists.txt
shell_integration/CMakeLists.txt