Fixes gitlab-ci with Centos7

.gitlab-ci.yml

@@ -6,10 +6,8 @@ variables:
 before_script:
   # Enable the usage of sources over https
   - uname -a
-  - apt-get update -yqq
-  - apt-get install apt-transport-https zip -yqq
-  - apt-get install -y build-essential libgmp-dev libx11-dev libfontconfig-dev libxft-dev git python libc6-dev
-  - ln -s /usr/lib/x86_64-linux-gnu/libgmp.so /usr/lib/x86_64-linux-gnu/libgmp.so.3
+  - yum -y install java-1.8.0-openjdk unzip which zip boost gperftools-libs libX11 mpfr
+  - yum -y groupinstall 'Development Tools'
   # Install SBT
   - curl -s "https://get.sdkman.io" | bash
   - source "/root/.sdkman/bin/sdkman-init.sh"
@@ -36,7 +34,7 @@ scala-test:
     - source setup.sh
     - source /opt/cad/xilinx/vivado/Vivado/$VIVADO_VERSION/settings64.sh
     - sbt assembly
-    - tapasco hls arraysum, arrayupdate
+    - tapasco -v hls arraysum, arrayupdate
 
 hls-2017.4:
   variables: