From 57369539dac98fa4150af8267f8a545b1447bd38 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Fri, 17 May 2019 21:45:45 +0200
Subject: [PATCH] add basic tests

---
 .gitlab-ci.yml | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e4134d67c..7b77e2379 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ variables:
 stages:
   - prepare
   - build
-  #- test
+  - test
 
 # Stage: prepare
 ##############################################################################
@@ -39,4 +39,18 @@ build:
 
 # Stage: test
 ##############################################################################
-
+test:
+  stage: test
+  script:
+    - cd build
+    - export TDIR=./local_prefix/opt/hermit/x86_64-hermit/extra
+    - export FILES="$TDIR/tests/hello
+    - export PROXY=./local_prefix/opt/hermit/bin/proxy
+    - for f in $FILES; do echo "check $f..."; HERMIT_ISLE=qemu HERMIT_CPUS=1 HERMIT_KVM=0 HERMIT_VERBOSE=1 timeout --kill-after=5m 5m $PROXY $f || exit 1; done
+  image: ${IMAGE}
+  tags:
+    - docker
+  only:
+    - merge_requests
+  dependencies:
+    - build