deps/eigen3: Use Eigen 3.3.9 from source only on Ubuntu 18, use apt/eigen on newer operating systems (!491) · Merge requests · Software / ArmarX / Meta / Axii

Merged Rainer Kartmann requested to merge module/remove-deps-eigen into main 2 years ago

Feb 01, 2023
- Fix invalid bash variable export · 2a1bce1a
  Rainer Kartmann authored 2 years ago
  
  2a1bce1a
- Fix directory name · 530b2f02
  Rainer Kartmann authored 2 years ago
  
  530b2f02
- Update usages of apt/eigen3 to deps/eigen3 · b49dead9
  Rainer Kartmann authored 2 years ago
  
  b49dead9
- Rename module deps/eigen3 to deps/eigen3/3.3.9, add new module deps/eigen3... · 36dd6b5e
  Rainer Kartmann authored 2 years ago
  
  Rename module deps/eigen3 to deps/eigen3/3.3.9, add new module deps/eigen3 redirecting to deps/eigen3.3.9 on bionic, apt/eigen3 else
  36dd6b5e
Jan 30, 2023
- Merge branch 'main' into module/remove-deps-eigen · e1ccb434
  Rainer Kartmann authored 2 years ago
  
  e1ccb434
Jan 27, 2023
- Deprecate deps/eigen3 · fbf0b29a
  Rainer Kartmann authored 2 years ago
  
  fbf0b29a
- Replace usages of deps/eigen3 with apt/eigen3 · 6ded2371
  Rainer Kartmann authored 2 years ago
  
  6ded2371

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