+ @echo >> $@
+ @echo '#include "ghc_boot_platform.h"' >> $@
+ @echo >> $@
+ @echo 'cBuildPlatform :: String' >> $@
+ @echo 'cBuildPlatform = BuildPlatform_NAME' >> $@
+ @echo 'cHostPlatform :: String' >> $@
+ @echo 'cHostPlatform = HostPlatform_NAME' >> $@
+ @echo 'cTargetPlatform :: String' >> $@
+ @echo 'cTargetPlatform = TargetPlatform_NAME' >> $@
+ @echo >> $@