From ed71366478562c4928dfb4661dcf92113b73c3d1 Mon Sep 17 00:00:00 2001
From: Brice Goglin <Brice.Goglin@inria.fr>
Date: Thu, 3 May 2018 16:08:03 +0200
Subject: [PATCH] contrib/ci.inria.fr: add embedded check job

Was only in master (and v2.0 by ricochet), no reason to skip it.

Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
---
 contrib/ci.inria.fr/job-3-embedded.sh | 36 +++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100755 contrib/ci.inria.fr/job-3-embedded.sh

diff --git a/contrib/ci.inria.fr/job-3-embedded.sh b/contrib/ci.inria.fr/job-3-embedded.sh
new file mode 100755
index 0000000000..e715ced87e
--- /dev/null
+++ b/contrib/ci.inria.fr/job-3-embedded.sh
@@ -0,0 +1,36 @@
+#!/bin/sh
+#
+# Copyright © 2012-2018 Inria.  All rights reserved.
+# See COPYING in top-level directory.
+#
+
+set -e
+set -x
+
+# environment variables
+test -f $HOME/.ciprofile && . $HOME/.ciprofile
+
+# remove everything but the last 10 builds
+ls | grep -v ^hwloc- | grep -v ^job- | xargs rm -rf || true
+ls -td hwloc-* | tail -n +11 | xargs chmod u+w -R || true
+ls -td hwloc-* | tail -n +11 | xargs rm -rf || true
+
+# find the tarball, extract it
+tarball=$(ls -tr hwloc-*.tar.gz | grep -v build.tar.gz | tail -1)
+basename=$(basename $tarball .tar.gz)
+test -d $basename && chmod -R u+rwX $basename && rm -rf $basename
+tar xfz $tarball
+mv $tarball $basename # keep the tarball, we'll need it for the embedded test below
+cd $basename
+
+# ignore clock problems
+touch configure
+
+# embedded tests
+(cd tests/embedded && ./run-embedded-tests.sh ../../../$tarball)
+
+# cleanup
+rm -rf doc
+cd ..
+tar cfz ${basename}.build.tar.gz $basename
+rm -rf $basename