diff options
| -rw-r--r-- | config/Makefile-templ | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config/Makefile-templ b/config/Makefile-templ index 5cad03b9e..afecf9969 100644 --- a/config/Makefile-templ +++ b/config/Makefile-templ @@ -216,6 +216,13 @@ OTHERLIBRARIES=unix str num threads graph dynlink labltk # C implementation of these routines. BIGNUM_ARCH=alpha +### Link-time options to ocamlc or ocamlopt for linking with POSIX threads +# Needed for the "systhreads" package +# Usually: +#PTHREAD_LINK=-cclib -lpthread +# For Solaris: +#PTHREAD_LINK=-cclib -lpthread -cclib -lposix4 + ### Location of the include directory containing the X11/*.h includes # Needed for the "graph" and "labltk" packages # Usually: |