--- makefile.orig	2010-12-23 20:45:11.000000000 -0700
+++ makefile	2011-07-18 14:25:12.977375864 -0600
@@ -173,6 +173,9 @@
 libflint.so: $(FLINTOBJ)
 	$(CC) -fPIC -shared -o libflint.so $(FLINTOBJ) $(LIBS)
 
+libflint.a: $(FLINTOBJ)
+	$(AR) rcs libflint.a $(FLINTOBJ)
+
 ##### zn_poly object files
 
 zn_mod.o: zn_poly/src/zn_mod.c $(HEADERS)