Description: Upstream changes introduced in version 913-4
 This patch has been created by dpkg-source during the package build.
 Here's the last changelog entry, hopefully it gives details on why
 those changes were made:
 .
 picosat (913-4) unstable; urgency=low
 .
   * Install picosat.h and libpicosat.{a,so}, thanks Pietro Abate for most of
     the necessary patch (closes: #576364).
   * Cleanup debian/rules and add support for building dynamic libraries.
 .
 The person named in the Author field signed this changelog entry.
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: http://bugs.debian.org/576364

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: http://bugs.debian.org/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: <YYYY-MM-DD>

--- picosat-913.orig/makefile.in
+++ picosat-913/makefile.in
@@ -4,7 +4,7 @@ CFLAGS=@CFLAGS@
 all: picosat libpicosat.a
 
 clean:
-	rm -f picosat *.exe *.s *.o *.a *.so
+	rm -f picosat *.exe *.s *.o *.a *.so.1.0.0
 	rm -f makefile config.h
 	rm -f gmon.out *~ 
 
@@ -30,4 +30,14 @@ libpicosat.a: picosat.o version.o
 	ar rc $@ picosat.o version.o
 	ranlib $@
 
+%.pic.o: %.o
+	mv $< $*.nopic.o
+	$(MAKE) CFLAGS="$(CFLAGS) -fPIC" $<
+	mv $< $@
+	mv $*.nopic.o $<
+
+libpicosat.so: picosat.pic.o version.pic.o
+	$(CC) $(CFLAGS) -shared -Wl,-soname,libpicosat.so.1 -o \
+		libpicosat.so.1.0.0 $^ -lc
+
 .PHONY: all clean
