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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
