#!/bin/sh
start=`pwd`
dir=`dirname "$0"`
if [ "$1" = 'clean' ] ; then
	set -x
	cd $dir
	rm -f *.o
	cd "$start"
	exit
fi
cc='tcc'
debug='-g'
release='-O2'
cflags="-c -std=c99"
if [ "$1" = "debug" ] ; then
	cflags="$debug $cflags"
else
	cflags="$release $cflags"
fi
set -x
cd $dir
$cc $cflags prbm.c
$cc $cflags arena.c
$cc $cflags prbs.c
$cc $cflags linux.c
ar rcs libprb.a\
	prbm.o \
	arena.o \
	prbs.o \
	linux.o
cd "$start"