1 2# Common flags to build FICL related files 3 4.if ${MACHINE_CPUARCH} == "amd64" && ${DO32:U0} == 1 5FICL_CPUARCH= i386 6.else 7FICL_CPUARCH= ${MACHINE_CPUARCH} 8.endif 9 10.if ${MACHINE_CPUARCH} == "amd64" && ${DO32:U0} == 0 11CFLAGS+= -fPIC 12.endif 13 14CFLAGS+= -I${FICLSRC} -I${FICLSRC}/${FICL_CPUARCH} -I${LDRSRC} 15CFLAGS+= -DBF_DICTSIZE=30000 16 17.include "${BOOTSRC}/veriexec.mk" 18