Do we want to get Eigen out of the backend/new_cxx source tree?

Open axch opened this issue 10 years ago • 2 comments

Into external/? Into an actual build-time dependency?

Nov 11 '15 16:11 axch

Do we have a record of what version of Eigen it is? If it's >=2, <=2.0.17, or if it's >=3, <=3.2.0, we could get by in Ubuntu with the libeigen2-dev/libeigen3-dev package.

That said, I'm somewhat more inclined to just move it into external/ so that we don't have to worry about telling users on OS X to install it in homebrew and find the right path at build-time to compile Venture against it.

Nov 18 '15 18:11 riastradh-probcomp

It appears to be exactly Eigen 3.2.0-8 from Ubuntu 14.04, based on diff -ru between our copy and what I get from apt-get source.

Nov 18 '15 19:11 riastradh-probcomp