aboutsummaryrefslogtreecommitdiffstats
path: root/.download_from_Kalray.sh
diff options
context:
space:
mode:
authorDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-09-28 13:17:42 +0200
committerDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-09-28 13:17:42 +0200
commita43f9eab3b17a32b64536aef66dbc964183a00c6 (patch)
tree388b9025b250819b9d3d957df08bd4a9eb3ac28a /.download_from_Kalray.sh
parent60a7c44defa16e11ffb75e4b19a563f03cead643 (diff)
downloadcompcert-kvx-a43f9eab3b17a32b64536aef66dbc964183a00c6.tar.gz
compcert-kvx-a43f9eab3b17a32b64536aef66dbc964183a00c6.zip
new ACE4.6.0 version
Diffstat (limited to '.download_from_Kalray.sh')
-rwxr-xr-x.download_from_Kalray.sh17
1 files changed, 12 insertions, 5 deletions
diff --git a/.download_from_Kalray.sh b/.download_from_Kalray.sh
index a7f28d5a..563a5cad 100755
--- a/.download_from_Kalray.sh
+++ b/.download_from_Kalray.sh
@@ -1,8 +1,15 @@
#!/bin/sh
mkdir download
cd download
-sshpass "-p$KALRAY_SFTP_PASSWORD" sftp -o "StrictHostKeyChecking=no" compcert@ssh.kalray.eu <<EOF
-cd files
-get DEB.tar
-EOF
-tar xf DEB.tar
+# sshpass "-p$ sftp -o "StrictHostKeyChecking=no" compcert@ssh.kalray.eu <<EOF
+# cd files
+# get DEB.tar
+# EOF
+# tar xf DEB.tar
+VERSION=ACE4.6.0
+FILE=$VERSION.tgz
+DEBPATH=$VERSION/ACE-acceleration/ubuntu1804/tools/DEB
+sshpass "-p$KALRAY_SFTP_PASSWORD" rsync --progress -a certicompil@pressembois.imag.fr:Kalray/ACE4.6.0.tgz .
+tar xvfz $FILE $DEBPATH/
+mv $DEBPATH/*.deb .
+rm -rf $VERSION