Errors building PVR.HTS addon from source for Kodi 17

Hi,

I got the latest Popcornmix for my Raspberry Pi 2 compiled ( https://github.com/popcornmix/xbmc.git ) and found out that I have no PVR addons, nor am I able to download any from within Kodi GUI. I’ve been looking after the PVR.HTS addon and found the source code on:
https://github.com/kodi-pvr/pvr.hts/tree/master
Actually I was looking after a zip file that I could install through Kodi GUI or a way to build one without recompiling the whole Kodi.

My Kodi 17 source files reside in (relative to the pvr.hts/build directory) ../../../tmp/SBo/xbmc-17/ and these were the steps I followed:

cd /kit/kodi-slack-build/pvr.hts && mkdir build && cd build
cmake -DADDONS_TO_BUILD=pvr.hts -DADDON_SRC_PREFIX=../.. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=../../../tmp/SBo/xbmc-17/xbmc/addons -DPACKAGE_ZIP=1 ../../../tmp/SBo/xbmc-17/project/cmake/addons
make -j 4 V=1

It looks like there is also a mistake in the instructions on github, as the directory /xbmc/project/cmake/addons does not exist and I had to change it to /project/cmake/addons

By running the compilation instructions, I got into an error:
— Build files have been written to: /kit/kodi-slack-build/pvr.hts/build/build/bootstrap
Scanning dependencies of target binary-addons
[ 12%] Creating directories for ‘binary-addons’
[ 25%] Performing download step (git clone) for ‘binary-addons’
Cloning into ‘binary-addons’…
Already on ‘master’
Your branch is up-to-date with ‘origin/master’.
[ 37%] No patch step for ‘binary-addons’
[ 50%] Performing update step for ‘binary-addons’
Current branch master is up to date.
[ 62%] No configure step for ‘binary-addons’
[ 75%] No build step for ‘binary-addons’
[ 87%] Performing install step for ‘binary-addons’
— Bootstrapping following addons: pvr.hts
[100%] Completed ‘binary-addons’
[100%] Built target binary-addons
CMake Error at CMakeLists.txt:219 (message):
No addons available to be built

— Configuring incomplete, errors occurred!
See also “/kit/kodi-slack-build/pvr.hts/build/CMakeFiles/CMakeOutput.log”.

CMakeOutput.log doesn’t really contain anything interesting, but I can provide it if needed. And, I’m not sure what the message “No addons available to be built” means.

I would be really thankful if someone can provide me with a way to get the pvr.hts addon compiled and installed in Kodi 17 Popcornmix.