view make/linux/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 354d3184f6b2
children
line wrap: on
line source

os_family = linux

arch = zero

arch_model = zero

os_arch = linux_zero

os_arch_model = linux_zero

lib_arch = zero

compiler = gcc

gnu_dis_arch = zero

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