From 8b74ab08e5f433b6dbe7a23d25db50a86c548300 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 26 Aug 2006 20:25:54 +0200
Subject: [PATCH] configure.in: no longer compile shared libraries by default.

Some systems can't link in a static libntl in a shared libbarvinok.
---
 README         | 4 ++++
 README.Solaris | 2 --
 configure.in   | 1 +
 3 files changed, 5 insertions(+), 2 deletions(-)
 delete mode 100644 README.Solaris

diff --git a/README b/README
index c088b87..d3c624f 100644
--- a/README
+++ b/README
@@ -59,6 +59,10 @@ or
 
 ./configure --prefix=/opt --with-polylib=/opt --with-ntl=/opt --disable-fractional
 
+If you want shared libraries, then configure with the --enable-shared option.
+Note that this doesn't work on some systems because we link in libntl, which
+is only avaiable as a static library.
+
 Then
 
 make
diff --git a/README.Solaris b/README.Solaris
deleted file mode 100644
index 71410de..0000000
--- a/README.Solaris
+++ /dev/null
@@ -1,2 +0,0 @@
-Due to a bug in libtool, linking fails on Solaris.
-As a temporary stopgap move "-lntl" from LIBS to LDADD in Makefile.
diff --git a/configure.in b/configure.in
index f276588..df922bd 100644
--- a/configure.in
+++ b/configure.in
@@ -17,6 +17,7 @@ case $host in
 	;;
 esac
 
+AC_DISABLE_SHARED
 AC_PROG_LIBTOOL
 
 AC_CHECK_HEADERS(getopt.h)
-- 
2.11.4.GIT