#!/bin/bash
set -e
ROOT="$(cd "$(dirname "$0")" && pwd)"

CROSS_CC="$ROOT/toolchains/aarch64/bin/aarch64-linux-gnu-gcc"
SYSROOT="$ROOT/out-br/host/aarch64-buildroot-linux-gnu/sysroot"
TEEC_INC="$ROOT/out-br/per-package/optee_examples_ext/host/aarch64-buildroot-linux-gnu/sysroot/usr/include"

"$CROSS_CC" \
    --sysroot="$SYSROOT" \
    -I"$TEEC_INC" \
    -Wall -g -O0 \
    -o "$ROOT/out/bin/c01_poc" \
    "$ROOT/c01_poc.c" \
    -lteec

echo "Built: out/bin/c01_poc"