mirage/mirage-net — pull request #36 by pgj (2013-08-28 14:16:42+00:00)
Title: Make dynamic linking optional when configuring.

This is required for the kFreeBSD backend as its (modified) compiler cannot do dynamic linking.