#/bin/env bash

src=$(realpath $(dirname $0)/../..)/src
tmp=$(mktemp -d)
mkdir ${tmp}/vppinfra
touch ${tmp}/vppinfra/config.h

${CC:-cc} \
 -O2 \
 -flto \
 -static \
 -I ${src} \
 -I ${tmp} \
 -DHAVE_MEMFD_CREATE \
 -DHAVE_GETCPU \
 ${src}/vppinfra/backtrace.c \
 ${src}/vppinfra/dlmalloc.c \
 ${src}/vppinfra/elf.c \
 ${src}/vppinfra/elf_clib.c \
 ${src}/vppinfra/error.c \
 ${src}/vppinfra/format.c \
 ${src}/vppinfra/hash.c \
 ${src}/vppinfra/mem.c \
 ${src}/vppinfra/mem_dlmalloc.c \
 ${src}/vppinfra/std-formats.c \
 ${src}/vppinfra/string.c \
 ${src}/vppinfra/socket.c \
 ${src}/vppinfra/vec.c \
 ${src}/vppinfra/unformat.c \
 ${src}/vppinfra/unix-misc.c \
 ${src}/vppinfra/linux/mem.c \
 ${src}/vpp/app/vppctl.c \
 -o vppctl

rm ${tmp}/vppinfra/config.h
rmdir ${tmp}/vppinfra ${tmp}