mirage/dyntype — pull request #6 by pgj (2013-09-10 10:16:06+00:00)
Title: Add support for disabling generation of executables.

This is the reworked version of my previous pull request. It features the previously discussed check for the presence of the `NO_EXECUTABLES` (environment) variables that would allow disabling generation of ELF binaries and would not be specific to the Mirage/kFreeBSD cross-compiler.