view make/bsd/platform_zero.in @ 10844:3cf5f371dc9f

Truffle: print inlined call target and rename profiling option.
author Andreas Woess <andreas.woess@jku.at>
date Mon, 22 Jul 2013 16:20:43 +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@\"