Install Eigen

2023-02-05 02:28:38 -08:00 · 2023-02-05 02:28:38 -08:00 · 4972bd34b1
parent 51c62df73d
commit 4972bd34b1
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/build-special.yml
+++ b/.github/workflows/build-special.yml
@ -131,6 +131,7 @@ jobs:
      - name: Use system versions of 3rd party libraries
        if: matrix.flag == 'system'
        run: |
+          sudo apt-get install libeigen3-dev
          echo "GTSAM_USE_SYSTEM_EIGEN=ON" >> $GITHUB_ENV
          echo "GTSAM_USE_SYSTEM_METIS=ON" >> $GITHUB_ENV