diff -dur picosat-913.ORIG/makefile.in picosat-913/makefile.in
--- picosat-913.ORIG/makefile.in	2009-07-13 07:04:44.000000000 -0600
+++ picosat-913/makefile.in	2009-09-02 12:29:45.851603078 -0600
@@ -1,14 +1,15 @@
 CC=@CC@
 CFLAGS=@CFLAGS@
+SONAME=-Xlinker -soname -Xlinker libpicosat.so.0
 
-all: picosat libpicosat.a
+all: picosat libpicosat.so
 
 clean:
 	rm -f picosat *.exe *.s *.o *.a *.so
 	rm -f makefile config.h
 	rm -f gmon.out *~ 
 
-picosat: libpicosat.a app.o main.o
+picosat: libpicosat.so app.o main.o
 	$(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat
 
 app.o: app.c picosat.h makefile
@@ -18,16 +19,15 @@
 	$(CC) $(CFLAGS) -c $<
 
 picosat.o: picosat.c picosat.h makefile
-	$(CC) $(CFLAGS) -c $<
+	$(CC) $(CFLAGS) -fPIC -c $<
 
 version.o: version.c config.h makefile
-	$(CC) $(CFLAGS) -c $<
+	$(CC) $(CFLAGS) -fPIC -c $<
 
 config.h: makefile VERSION mkconfig # and actually picosat.c
 	rm -f $@; ./mkconfig > $@
 
-libpicosat.a: picosat.o version.o
-	ar rc $@ picosat.o version.o
-	ranlib $@
+libpicosat.so: picosat.o version.o
+	$(CC) $(CFLAGS) -shared -o $@ picosat.o version.o $(SONAME)
 
 .PHONY: all clean