From 15dece61af4fbef12a826f6f1d24dbc4f8b3a3fd Mon Sep 17 00:00:00 2001
From: Alexander Belyaev <32522095+pifon2a@users.noreply.github.com>
Date: Thu, 26 Jul 2018 06:49:29 +0200
Subject: [PATCH] Follow the CMake update. (#951)

---
 scripts/install_debs.sh | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/scripts/install_debs.sh b/scripts/install_debs.sh
index 8291bc5..6916377 100755
--- a/scripts/install_debs.sh
+++ b/scripts/install_debs.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Copyright 2016 The Cartographer Authors
 #
@@ -17,6 +17,21 @@
 set -o errexit
 set -o verbose
 
+# Install CMake 3.2 for Ubuntu Trusty and Debian Jessie.
+sudo apt-get update
+sudo apt-get install lsb-release -y
+if [[ "$(lsb_release -sc)" = "trusty" ]]
+then
+  sudo apt-get install cmake3 -y
+elif [[ "$(lsb_release -sc)" = "jessie" ]]
+then
+  sudo sh -c "echo 'deb http://ftp.debian.org/debian jessie-backports main' >> /etc/apt/sources.list"
+  sudo apt-get update
+  sudo apt-get -t jessie-backports install cmake -y
+else
+  sudo apt-get install cmake -y
+fi
+
 . /opt/ros/${ROS_DISTRO}/setup.sh
 
 cd catkin_ws