view make/bsd/platform_zero.in @ 8657:63400866de15

pipeline: include PushNodesThroughPi according to % mx vm -G:Meter= | grep NodesPushed 3774 nodes (836 ReadNodes, 2938 IsNullNodes) are pushed.
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 05 Apr 2013 16:23:01 +0200
parents f08d439fab8c
children
line wrap: on
line source

os_family = bsd

arch = zero

arch_model = zero

os_arch = bsd_zero

os_arch_model = bsd_zero

lib_arch = zero

compiler = gcc

gnu_dis_arch = zero

sysdefs = -D_ALLBSD_SOURCE -D_GNU_SOURCE -DCC_INTERP -DZERO -D@ZERO_ARCHDEF@ -DZERO_LIBARCH=\"@ZERO_LIBARCH@\"