From 3f9ece857fd06eb9f2d92fb16d356d1d8ad925cf Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Wed, 21 Sep 2016 23:03:13 +0200
Subject: [PATCH] on TravisCI, install curl => required for some tests

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 5fd0ebe68..c73437d10 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,7 +6,7 @@ language: c
 compiler: gcc
 before_install:
         - sudo apt-get -qq update
-        - sudo apt-get install -y qemu-system-x86 nasm texinfo libmpfr-dev libmpc-dev libgmp-dev libisl-dev flex bison
+        - sudo apt-get install -y curl qemu-system-x86 nasm texinfo libmpfr-dev libmpc-dev libgmp-dev libisl-dev flex bison
         - git submodule update --init hermit/lwip hermit/usr/gcc hermit/usr/pte hermit/usr/libomp
 script:
         - ./configure
@@ -25,3 +25,4 @@ env:
                 - HERMIT_MEM="512M"
                 - HERMIT_KVM="0"
                 - HERMIT_VERBOSE="1"
+                - HERMIT_APP_PORT=8000