Problems building dreal3

[yurivict]

I am trying to create a FreeBSD port for dreal3.
The problem I've encountered is that the bundled ibex doesn't build, it also depends on some obscure libs mathlib, gaol and filib.

Is ibex a really necessary dependency? For some reason, nobody else is using it, based on the lack of ports and packages for any OSes.