VMX-Pi 64Bit Library

Hello. I would like to use the libvmxpi_hal_cpp.so file created in 32 bit in 64 bit.

Is there a libvmxpi_hal_cpp.so file created in 64-bit version?
Or is there a version with the VMX-PI development environment installed on Raspberry Pi OS 64-bit?

https://repo1.maven.org/maven2/com/kauailabs/vmx/platform/vmxpi-hal/
I tried building the source in a 64-bit environment through the above site, but it failed because there were many header files that were missing.
help.