Problems building dreal3
yurivict opened this issue · 0 comments
yurivict commented
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.