But this will require a minimal change to the makefile : libpicosat.so: picosat.o version.o $(CC) $(CFLAGS) -shared -Wl,-soname,libpicosat.so.1 -o \ libpicosat.so.1.0.0 picosat.o version.o -lc Also, it is necessary to add -fPIC to CFLAGS.
p -- ---- http://en.wikipedia.org/wiki/Posting_style -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
