I need a 32-bit version for Debian 32-bit, and since there are no 32-bit binaries officially available I decided to build from source.
So far I tried building versions 7.0.0 and 7.0.6, with the same result each time: the frontend binaries do not get built.
Actually most of the executable files are missing from the "out/linux.x86/release/bin/" directory, which has the following content:
additions/ testcase/ tools/ bldRTLdrCheckImports VBoxAudioTest VBoxDDU,so VBoxEFI32,fd VBoxEFI64,fd vbox-img VBoxNetDHCP VBoxRT,so
(sorry, I had to replace dots with commas in order for the post to go through... it thinks those are URLs !!!)
As far as I can tell from the configure / compilation output, there are no errors, building ends successfully.
I would like to know if this is the intended behaviour or if maybe I'm missing something.
I'm attaching the console output from the ./configure and kmk commands.
The command used for ./configure is:
./configure --disable-hardening --with-qt-dir=/opt/Qt-5.9.2
and the commands (two of them) used for building are:
kmk all
kmk packing