From e7e44936a8e700a69507d0b57c18628194a4ab32 Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <schlatow@ida.ing.tu-bs.de>
Date: Mon, 7 Aug 2017 18:49:13 +0200
Subject: [PATCH] ports: update to 17.05

Ref #74
---
 run/glucose.run | 1 +
 run/lemon.run   | 1 +
 run/scip.run    | 1 +
 run/soplex.run  | 1 +
 4 files changed, 4 insertions(+)

diff --git a/run/glucose.run b/run/glucose.run
index 71a2f50..9ee51c6 100644
--- a/run/glucose.run
+++ b/run/glucose.run
@@ -50,6 +50,7 @@ append config {
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
+	<default caps="100" />
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
 		<provides>
diff --git a/run/lemon.run b/run/lemon.run
index 2e03cd1..1179225 100644
--- a/run/lemon.run
+++ b/run/lemon.run
@@ -19,6 +19,7 @@ install_config {
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
+	<default caps="100" />
 	<start name="test-lemon">
 		<resource name="RAM" quantum="2M"/>
 		<config>
diff --git a/run/scip.run b/run/scip.run
index 05f319e..854c31e 100644
--- a/run/scip.run
+++ b/run/scip.run
@@ -20,6 +20,7 @@ install_config {
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
+	<default caps="100" />
 	<start name="test-scip">
 		<resource name="RAM" quantum="16M"/>
 		<config>
diff --git a/run/soplex.run b/run/soplex.run
index 51bc5ee..637af51 100644
--- a/run/soplex.run
+++ b/run/soplex.run
@@ -19,6 +19,7 @@ install_config {
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
+	<default caps="100" />
 	<start name="test-soplex">
 		<resource name="RAM" quantum="2M"/>
 		<config>