fix makefiles a bit

diff --git a/libsatsolver.spec b/libsatsolver.spec
index 0e81ad7..5533dd3 100644 (file)
--- a/libsatsolver.spec
+++ b/libsatsolver.spec
@@ -1,4 +1,4 @@
-Name:           libsatsolver0-0
+Name:           libsatsolver
 Version:        0.0.1
 Release:        1
 License:        BSD
@@ -30,7 +30,7 @@ make
 
 %install
 make DESTDIR=%{buildroot} install
-rm -f %{buildroot}%{_libdir}/libsatsolver0.la
+rm -f %{buildroot}%{_libdir}/libsatsolver.la
 
 %post -p /sbin/ldconfig
 %postun -p /sbin/ldconfig
@@ -40,11 +40,11 @@ rm -rf "$RPM_BUILD_ROOT"
 
 %files
 %defattr(-,root,root)
-%{_libdir}/libsatsolver0.so.*
+%{_libdir}/libsatsolver.so.*
 
 %files devel
 %defattr(-,root,root)
-%{_libdir}/libsatsolver0.so
+%{_libdir}/libsatsolver.so
 %doc doc/README*
 %doc doc/THEORY
 %doc doc/PLANNING

diff --git a/src/Makefile.am b/src/Makefile.am
index 3f46a6a..b9e52fc 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -1,4 +1,4 @@
-lib_LTLIBRARIES= libsatsolver0.la
+lib_LTLIBRARIES= libsatsolver.la
 solverincludedir = $(includedir)/satsolver
 
 solverinclude_HEADERS = \
@@ -18,7 +18,9 @@ solverinclude_HEADERS = \
 
 EXTRA_DIST = poolid_private.h
 
-libsatsolver0_la_SOURCES = \
+libsatsolver_la_LDFLAGS = -version-info 0:0:0
+
+libsatsolver_la_SOURCES = \
         bitmap.c        \
        evr.c           \
        poolid.c        \

diff --git a/tools/Makefile.am b/tools/Makefile.am
index a1b7599..d237497 100644 (file)
--- a/tools/Makefile.am
+++ b/tools/Makefile.am
@@ -4,7 +4,7 @@ INCLUDES =  \
        -I$(top_srcdir)/src
 
 LIBS = \
-       $(top_builddir)/src/libsatsolver0.la
+       $(top_builddir)/src/libsatsolver.la
 
 noinst_HEADERS = source_write.h