alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ports: fix soplex library

Browse Source
This commit is contained in:
Johannes Schlatow
2016-09-30 12:03:06 +02:00
parent f57874aac2
commit 31bf253e40
3 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/lib/soplex/timer.patch Normal file
View File

@@ -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)