From 4972bd34b19a6838859f6f3d699a2e0eb2fb6190 Mon Sep 17 00:00:00 2001
From: Frank Dellaert <dellaert@gmail.com>
Date: Sun, 5 Feb 2023 02:28:38 -0800
Subject: [PATCH] Install Eigen

---
 .github/workflows/build-special.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build-special.yml b/.github/workflows/build-special.yml
index bbe222a9b..873fa047c 100644
--- 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