diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-30 14:12:36 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-30 14:12:36 +0200 |
| commit | ac313f65cd88704ec3229e70fcf91846f34253e8 (patch) | |
| tree | 4db83b1c3b3e4447fca7fb6c7c4594483f755337 | |
| parent | 1b87b2abead3751eb0564ac36030501a9cec748c (diff) | |
| download | compcert-kvx-ac313f65cd88704ec3229e70fcf91846f34253e8.tar.gz compcert-kvx-ac313f65cd88704ec3229e70fcf91846f34253e8.zip | |
be verbose!
| -rwxr-xr-x | .download_from_Kalray.sh | 2 | ||||
| -rw-r--r-- | .gitlab-ci.yml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/.download_from_Kalray.sh b/.download_from_Kalray.sh index f35c654a..ad971c56 100755 --- a/.download_from_Kalray.sh +++ b/.download_from_Kalray.sh @@ -9,7 +9,7 @@ cd download VERSION=ACE4.6.0 FILE=$VERSION.tgz DEBPATH=$VERSION/ACE-acceleration/ubuntu1804/tools/DEB -sshpass "-p$KALRAY_SFTP_PASSWORD" rsync -e 'ssh -o "StrictHostKeyChecking=no"' --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz . +sshpass "-p$KALRAY_SFTP_PASSWORD" rsync -e 'ssh -vvv -o "StrictHostKeyChecking=no"' --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz . tar xvfz $FILE $DEBPATH/ mv $DEBPATH/*.deb . rm -rf $VERSION diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9534282d..0616fa9a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -268,12 +268,12 @@ build_kvx: stage: build image: coqorg/coq:8.12.2-ocaml-4.11.2-flambda before_script: - - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update - - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace libzip4 - ./.download_from_Kalray.sh - (cd download ; rm -f *dkms*.deb *eclipse*.deb *llvm*.deb *board-mgmt* *oce-host* *pocl* *flash-util* *barebox* *-kann-* *-kaf-* *-stb-* *-opencv* *-eigen* *-task* *-blis* *-lz4*) - sudo dpkg -i download/*.deb - rm -rf download + - sudo apt-get -o Acquire::Check-Valid-Until=false -o Acquire::Check-Date=false update + - sudo apt-get -y install sshpass openssh-client libzip4 lttng-tools liblttng-ctl-dev liblttng-ust-dev babeltrace libzip4 - eval `opam config env` - opam update - opam install -y menhir |