From dc7cbdfa65fd814b3b9aa3c56257da201109e807 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 5 Apr 2019 21:17:31 +0100 Subject: gentoo resync : 05.04.2019 --- dev-lang/polyml/files/polyml-5.6-configure.patch | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 dev-lang/polyml/files/polyml-5.6-configure.patch (limited to 'dev-lang/polyml/files') diff --git a/dev-lang/polyml/files/polyml-5.6-configure.patch b/dev-lang/polyml/files/polyml-5.6-configure.patch new file mode 100644 index 000000000000..ba3b6bbbd5ac --- /dev/null +++ b/dev-lang/polyml/files/polyml-5.6-configure.patch @@ -0,0 +1,11 @@ +--- a/configure.ac 2019-04-05 10:27:19.026197625 +0200 ++++ b/configure.ac 2019-04-05 10:28:10.187291374 +0200 +@@ -133,7 +133,7 @@ + # Solaris needs -lsocket, -lnsl and -lrt + AC_SEARCH_LIBS([gethostbyname], [nsl]) + AC_SEARCH_LIBS([getsockopt], [socket]) +-AC_SEARCH_LIBS([sem_wait], [rt]) ++AC_SEARCH_LIBS([sem_wait], [rt] [pthread]) + + # Check for X and Motif headers and libraries + AC_PATH_X -- cgit v1.2.3