#!/bin/sh
# build.sh -- compile the DF-0265 harness, linking the EXACT audited
# sys/net/zlib.c (verbatim copy in this folder) as a userspace library.
# zlib.c is written to compile in userspace mode (it #includes "zlib.h"
# when _KERNEL is not defined); the harness supplies zcalloc/zcfree.
set -e
cd "$(dirname "$0")"
echo "+ cc -O2 -Wall -include kshim.h -o harness harness.c zlib.c"
cc -O2 -Wall -include kshim.h -o harness harness.c zlib.c
echo "BUILD_EXIT=$?"
ls -l harness