add new filesHEADmaster

1 files changed, 31 insertions, 0 deletions

diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..53ad6cb
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,31 @@
+#!/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"