By setting dist explicitly to trusty, which has cmake >= 2.8.12 in their official package repository and installing newly non-default packages explicitly. Closes #1015.master
parent
fa0b5e1b85
commit
e4e3e50867
1 changed files with 5 additions and 0 deletions
Loading…
Reference in New Issue