420160f83d
After this commit, you should be able to build libmp and libgmp independently and without being forced to do a make depend first..