From 6973c86c41dc350ff024fc78505de581a22d12f7 Mon Sep 17 00:00:00 2001
From: Phuntsok Drak-pa <phundrak@phundrak.fr>
Date: Mon, 16 Apr 2018 02:18:16 +0200
Subject: [PATCH] ughhhhhhhhhhhhhhhh

---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index dc19e3c..1a07cc4 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -9,6 +9,7 @@ jobs:
     steps:
       - checkout
       - run: gcc --version
+      - run: sudo apt-get install software-properties-common python-software-properties
       - run: sudo add-apt-repository -y ppa:jonathonf/gcc-7.1
       - run: sudo apt-get update
       - run: sudo apt-get install gcc-7 g++-7