Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
circleci: no need to apt-get now that we use a docker
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 12 Jun 2018 15:29:39 +0000 (17:29 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 12 Jun 2018 15:29:39 +0000 (17:29 +0200)
.circleci/config.yml

index 09ce8e7..e28a06b 100644 (file)
@@ -16,10 +16,6 @@ jobs:
     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: |
             mkdir _build