From 959503a69f360117b632194a0995db4d969677d5 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 19 Sep 2013 11:49:04 -0700 Subject: [PATCH] Update ubuntu-12.04-detailed.md - add ppa to install latest version of cmake. old version which came with ubuntu-12.04 has a problem with valgrind. [skip ci] --- doc/make/ubuntu-12.04-detailed.md | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/make/ubuntu-12.04-detailed.md b/doc/make/ubuntu-12.04-detailed.md index 24fe4ca73..94a23ea55 100644 --- a/doc/make/ubuntu-12.04-detailed.md +++ b/doc/make/ubuntu-12.04-detailed.md @@ -6,6 +6,7 @@ Preparing working environment on Ubuntu 12.04 sudo apt-get install git sudo apt-get install libgmp-dev sudo apt-get install libmpfr-dev + sudo add-apt-repository ppa:kalakris/cmake -y sudo apt-get install cmake sudo add-apt-repository ppa:ubuntu-toolchain-r/test -y