add gmp to makefile
authorbrian <brian@brianweb.net>
Tue, 15 Nov 2005 03:03:30 +0000 (19:03 -0800)
committerbrian <brian@brianweb.net>
Tue, 15 Nov 2005 03:03:30 +0000 (19:03 -0800)
commit8817b8182ec910e54686e834e4a21efb0ab2fde8
treed3358e8a86541d56bfcaa6e88ac012eef5c11ef1
parentc690989b7973d1a2e5aed45afe51f782f064a127
add gmp to makefile

darcs-hash:20051115030330-24bed-c019af6fea4ec3b0bfea036ccc9990444f5a8dac.gz
Makefile
upstream/Makefile