formatting
parent
94dc709f9b
commit
d83e9d0fd8
|
@ -132,11 +132,11 @@ jobs:
|
||||||
echo "GTSAM_ROT3_EXPMAP=OFF" >> $GITHUB_ENV
|
echo "GTSAM_ROT3_EXPMAP=OFF" >> $GITHUB_ENV
|
||||||
echo "GTSAM Uses Cayley map for Rot3"
|
echo "GTSAM Uses Cayley map for Rot3"
|
||||||
|
|
||||||
-name: Use system versions of 3rd party libraries
|
- name: Use system versions of 3rd party libraries
|
||||||
if: matrix.flag == 'system'
|
if: matrix.flag == 'system'
|
||||||
run: |
|
run: |
|
||||||
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
|
||||||
|
|
||||||
- name: Build & Test
|
- name: Build & Test
|
||||||
run: |
|
run: |
|
||||||
|
|
Loading…
Reference in New Issue