This repository was archived by the owner on Oct 17, 2025. It is now read-only.
This repository was archived by the owner on Oct 17, 2025. It is now read-only.
Speed up OMPL install on travis #1
Description
Installing OMPL on travis is really slow... (More than 13 minutes)
Options:
- Docker
- Have a modified install_omp_ubuntu.sh script already in the repo instead of wgetting one
- Do not build tests/demos