On Ubuntu, you should make sure that you can run docker
without sudo
. To set that up, just do:
sudo usermod -aG docker $USER
and then log out and back in. You should only ever have to do this once.
cd setup
./docker_build.py
./docker_run.py
# in the shell created by `docker_run.py`:
cd /titan
mkdir build
cd build
cmake ..
make
- [ ] Update SHA in CMakeLists.txt
- [ ] cp build/src/drake/setup/ubuntu/16.04/install_prereqs.sh setup/install_drake_prereqs.sh