From 31bf253e40394ff155e2724e43e577367ae5400a Mon Sep 17 00:00:00 2001 From: Johannes Schlatow Date: Fri, 30 Sep 2016 12:03:06 +0200 Subject: [PATCH] ports: fix soplex library --- ports/soplex.hash | 2 +- ports/soplex.port | 2 ++ src/lib/soplex/timer.patch | 11 +++++++++++ 3 files changed, 14 insertions(+), 1 deletion(-) create mode 100644 src/lib/soplex/timer.patch diff --git a/ports/soplex.hash b/ports/soplex.hash index 6ab4175..07f73ae 100644 --- a/ports/soplex.hash +++ b/ports/soplex.hash @@ -1 +1 @@ -954a138ee6d6a4911d0277fa3663f6c4a9b526d5 +2588050bec7d0f07ff97321a7d40dc8a6268729c diff --git a/ports/soplex.port b/ports/soplex.port index 7cc3341..d5ad109 100644 --- a/ports/soplex.port +++ b/ports/soplex.port @@ -6,5 +6,7 @@ URL(soplex) := http://soplex.zib.de/download/release/soplex-$(VERSION).tgz SHA(soplex) := 054fd0b1e370b999babf9ad537a230965b66808a DIR(soplex) := src/lib/soplex +PATCHES := src/lib/soplex/timer.patch + DIRS := include/soplex DIR_CONTENT(include/soplex) := $(addprefix src/lib/soplex/src/,soplex.h) diff --git a/src/lib/soplex/timer.patch b/src/lib/soplex/timer.patch new file mode 100644 index 0000000..7722af6 --- /dev/null +++ b/src/lib/soplex/timer.patch @@ -0,0 +1,11 @@ +--- src/lib/soplex/src/timer.cpp.orig 2016-09-30 11:55:56.910103919 +0200 ++++ src/lib/soplex/src/timer.cpp 2016-09-30 11:55:23.716638129 +0200 +@@ -37,6 +37,8 @@ namespace soplex + /* determine TIMES_TICKS_PER_SEC for clock ticks delivered by times(). + * (don't use CLOCKS_PER_SEC since this is related to clock() only). + */ ++#undef _SC_CLK_TCK /* not implemented in Genode */ ++ + #if defined(CLK_TCK) + #define TIMES_TICKS_PER_SEC CLK_TCK + #elif defined(_SC_CLK_TCK)