Install metis
parent
4972bd34b1
commit
075d1595e4
|
@ -132,6 +132,7 @@ jobs:
|
||||||
if: matrix.flag == 'system'
|
if: matrix.flag == 'system'
|
||||||
run: |
|
run: |
|
||||||
sudo apt-get install libeigen3-dev
|
sudo apt-get install libeigen3-dev
|
||||||
|
sudo apt-get install metis
|
||||||
echo "GTSAM_USE_SYSTEM_EIGEN=ON" >> $GITHUB_ENV
|
echo "GTSAM_USE_SYSTEM_EIGEN=ON" >> $GITHUB_ENV
|
||||||
echo "GTSAM_USE_SYSTEM_METIS=ON" >> $GITHUB_ENV
|
echo "GTSAM_USE_SYSTEM_METIS=ON" >> $GITHUB_ENV
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue