BitSequence build failure on arm32v7

[ninjarobot]

I'm attempting to build the swipl Docker image and plugins on the arm32v7 architecture, but I encountered a build error with the hdt plugin.

The plugin build fails on arm32v7 (Raspberry Pi) with the following error:

%  [HDT] Compiling src/bitsequence/BitSequence375.cpp
ERROR: In file included from src/bitsequence/BitSequence375.cpp:30:0:
ERROR: src/bitsequence/../util/bitutil.h: In function 'bool hdt::bitget(uint32_t*, size_t)':
ERROR: src/bitsequence/../util/bitutil.h:86:13: error: redefinition of 'bool hdt::bitget(uint32_t*, size_t)'
ERROR:  inline bool bitget(uint32_t *e, size_t p) {
ERROR:              ^~~~~~
ERROR: src/bitsequence/../util/bitutil.h:69:13: note: 'bool hdt::bitget(size_t*, size_t)' previously defined here
ERROR:  inline bool bitget(size_t *e, size_t p) {
ERROR:              ^~~~~~
ERROR: src/bitsequence/../util/bitutil.h: In function 'void hdt::bitset(uint32_t*, size_t)':
ERROR: src/bitsequence/../util/bitutil.h:91:13: error: redefinition of 'void hdt::bitset(uint32_t*, size_t)'
ERROR:  inline void bitset(uint32_t * e, size_t p) {
ERROR:              ^~~~~~
ERROR: src/bitsequence/../util/bitutil.h:74:13: note: 'void hdt::bitset(size_t*, size_t)' previously defined here
ERROR:  inline void bitset(size_t * e, size_t p) {
ERROR:              ^~~~~~
ERROR: src/bitsequence/../util/bitutil.h: In function 'void hdt::bitclean(uint32_t*, size_t)':
ERROR: src/bitsequence/../util/bitutil.h:96:13: error: redefinition of 'void hdt::bitclean(uint32_t*, size_t)'
ERROR:  inline void bitclean(uint32_t * e, size_t p) {
ERROR:              ^~~~~~~~
ERROR: src/bitsequence/../util/bitutil.h:79:13: note: 'void hdt::bitclean(size_t*, size_t)' previously defined here
ERROR:  inline void bitclean(size_t * e, size_t p) {
ERROR:              ^~~~~~~~
Warning: At global scope:
Warning: cc1plus: warning: unrecognized command line option '-Wno-unknown-warning-option'
% Makefile:100: recipe for target 'src/bitsequence/BitSequence375.o' failed
% make[2]: Leaving directory '/usr/lib/swipl/pack/hdt/hdt-cpp/hdt-lib'
% make[2]: *** [src/bitsequence/BitSequence375.o] Error 1
% make[1]: *** [all] Error 2
% Makefile:63: recipe for target 'all' failed
% make[1]: Leaving directory '/usr/lib/swipl/pack/hdt/hdt-cpp/hdt-lib'
% Makefile:26: recipe for target 'hdt-cpp/hdt-lib/libhdt.a' failed
% make: *** [hdt-cpp/hdt-lib/libhdt.a] Error 2
ERROR: -g pack_rebuild(hdt): Process "process(path(make),[all])": exit status: 2

[wouterbeek]

This may be an issue with the HDT library, see rdfhdt/hdt-cpp#143