add stretch target

Author: mathieupoumeyrolsonos

.github/workflows/cross-platform.yml

@@ -18,6 +18,7 @@ jobs:
           - aarch64-unknown-linux-gnu
           - armv6vfp-unknown-linux-gnueabihf
           - armv7-unknown-linux-gnueabihf
+          - armv7-unknown-linux-gnueabihf-stretch
           - aarch64-unknown-linux-musl
           - armv7-unknown-linux-musl
           - aarch64-linux-android

.travis/cross.sh

@@ -103,6 +103,12 @@ case "$PLATFORM" in
         cargo build --target aarch64-apple-darwin
         ;;
 
+    "armv7-unknown-linux-gnueabihf-stretch")
+        (cd .travis/docker-debian-stretch; docker build --tag debian-stretch .)
+        docker run -v `pwd`:/tract -w /tract -e PLATFORM=armv7-unknown-linux-gnueabihf debian-stretch ./.travis/cross.sh 
+        export RUSTC_TRIPLE=armv7-unknown-linux-gnueabihf
+        ;;
+
     "aarch64-unknown-linux-gnu" | "armv6vfp-unknown-linux-gnueabihf" | "armv7-unknown-linux-gnueabihf" | \
         "aarch64-unknown-linux-musl" | "armv7-unknown-linux-musl" )
 
@@ -202,9 +208,13 @@ case "$PLATFORM" in
         ;;
 esac
 
-if [ -n "$AWS_ACCESS_KEY_ID" -a -e "target/$RUSTC_TRIPLE/release/tract" ]
+if [ -e "target/$RUSTC_TRIPLE/release/tract" ]
 then
     export RUSTC_TRIPLE
     TASK_NAME=`.travis/make_bundle.sh`
-    aws s3 cp $TASK_NAME.tgz s3://tract-ci-builds/tasks/$PLATFORM/$TASK_NAME.tgz
+    echo bench task: $TASK_NAME 
+    if [ -n "$AWS_ACCESS_KEY_ID" ]
+    then
+        aws s3 cp $TASK_NAME.tgz s3://tract-ci-builds/tasks/$PLATFORM/$TASK_NAME.tgz
+    fi
 fi

.travis/docker-debian-stretch/Dockerfile

@@ -0,0 +1,7 @@
+FROM debian:stretch
+
+COPY sources.list /etc/apt/sources.list
+RUN apt-get -y update ; apt-get -y upgrade ; apt-get install -y curl wget build-essential # gcc-arm-linux-gnueabihf binutils-arm-linux-gnueabihf
+# RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
+# ENV PATH $PATH:/root/.cargo/bin
+# RUN rustup target install armv7-unknown-linux-gnueabihf

.travis/docker-debian-stretch/sources.list

@@ -0,0 +1,3 @@
+deb http://archive.debian.org/debian/ stretch contrib main non-free
+deb http://archive.debian.org/debian stretch-backports main
+deb http://archive.debian.org/debian-security stretch/updates main