Don't use System Eigen, switch back to default build mode

release/4.3a0
Frank Dellaert 2018-10-09 14:38:34 -04:00
parent fc8ca12f57
commit ff2fe8af8e
1 changed files with 1 additions and 1 deletions

View File

@ -10,6 +10,6 @@ pipelines:
script: # Modify the commands below to build your repository. script: # Modify the commands below to build your repository.
- mkdir build - mkdir build
- cd build - cd build
- cmake -DCMAKE_BUILD_TYPE=Debug -DGTSAM_USE_SYSTEM_EIGEN=ON -DGTSAM_USE_EIGEN_MKL=OFF .. - cmake -DGTSAM_USE_SYSTEM_EIGEN=OFF -DGTSAM_USE_EIGEN_MKL=OFF ..
- make -j2 - make -j2
- make -j2 check - make -j2 check