]> www.ginac.de Git - cln.git/blobdiff - configure.ac
* Add table of contents in TeX output.
[cln.git] / configure.ac
index 37ebf1dd96d666b302e55f35ced2537be31d712e..13a798f8eb16a738ea1277bcef6afae6ba3af0f5 100644 (file)
@@ -69,6 +69,15 @@ dnl           check for build configuration
 dnl
 PACKAGE=cln
                       dnl libtool wants PACKAGE
+case $host_os in
+    *mingw*)
+     AC_DISABLE_SHARED
+  dnl Shared libraries are not supported on some platforms [yet]
+    ;;
+    *)
+     AC_ENABLE_SHARED
+    ;;
+esac
 AC_PROG_LIBTOOL
                       dnl sets variable LIBTOOL
 
@@ -151,8 +160,10 @@ CL_MACHINE([floating-point types and behaviour],${srcdir}/autoconf/floatparam.c,
 dnl
 dnl           interfacing to GNU gmp (must be at least version 3)
 dnl
-AC_ARG_WITH(gmp, [  --with-gmp              use external fast low-level functions from GNU MP 3.
-                          [default=yes]], ,with_gmp="yes")
+AC_ARG_WITH(gmp, AS_HELP_STRING([--with-gmp], 
+  [use external fast low-level functions from GNU MP (default: yes).]),
+  with_gmp="$withval",
+  with_gmp="yes")
 if test "$with_gmp" = yes; then
   CL_GMP_H_VERSION
   if test "$cl_cv_new_gmp_h" = no; then with_gmp="no"; fi
@@ -180,4 +191,4 @@ changequote([,])dnl
     cp "$srcdir/$f" "$f"
   fi
 done
-AC_OUTPUT([Makefile src/Makefile tests/Makefile benchmarks/Makefile examples/Makefile doc/Makefile cln-config cln-config.1 cln.spec cln.pc], [chmod +x cln-config])
+AC_OUTPUT([Makefile src/Makefile tests/Makefile benchmarks/Makefile examples/Makefile doc/Makefile cln.spec cln.pc])