diff options
Diffstat (limited to 'dev-lang/polyml/files/polyml-5.6-configure.patch')
| -rw-r--r-- | dev-lang/polyml/files/polyml-5.6-configure.patch | 11 |
1 files changed, 11 insertions, 0 deletions
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 |