deps/eigen3: Use Eigen 3.3.9 from source only on Ubuntu 18, use apt/eigen on newer operating systems

Rainer Kartmannrequested to merge
module/remove-deps-eigen into main
  • Rename module deps/eigen3 to deps/eigen3/3.3.9,
  • Add new module deps/eigen3 redirecting to deps/eigen3.3.9 on bionic, to apt/eigen3 else
  • Update usages of apt/eigen3 to deps/eigen3

Related:

See especially sw/simox/simox!117 (comment 39222)

Tested on:

  • Updated: Compilation on Ubuntu 18
    • To switch from apt/eigen to deps/eigen/3.3.9, clearing the build directories appears to be necessary
  • Updated: Compilation on Ubuntu 20, deps/eigen deleted, with sw/simox/simox!117 (merged)
Edited by Rainer Kartmann

Merge request reports