From e40fee8bdae77532f3cc572fe1ba01a1acebc3c7 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 12 Jun 2018 17:29:39 +0200
Subject: [PATCH] circleci: no need to apt-get now that we use a docker

---
 .circleci/config.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 09ce8e7619..e28a06b183 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -15,10 +15,6 @@ jobs:
     <<: *default
     steps:
       - checkout
-      - run:
-          name: Install required packages
-          command: |
-            sudo apt-get update; sudo apt-get install cmake valgrind default-jdk gfortran libboost-dev libboost-all-dev
       - run:
           name: Build da stuff
           command: |
-- 
2.20.1