1 files changed, 23 insertions, 0 deletions

diff --git a/tools/build b/tools/build
new file mode 100755
index 0000000..944d230
--- /dev/null
+++ b/tools/build
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+# environment variables:
+# $JFLAGS: additional flags passed to the java compiler
+
+BASEDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"/..
+
+
+source $BASEDIR/extcfg.sh
+
+
+# collect all source files
+SOURCES=`find "$BASEDIR/src/" "$BASEDIR/test/" -name "*.java"`
+
+mkdir -p $BASEDIR/build
+
+javac $JFLAGS -cp "$BASEDIR/build/:$BASEDIR/lib/*:$GNUNET_JAVA_CLASSPATH:$GNUNET_JAVA_DEPS" -d $BASEDIR/build/ $SOURCES
+
+cd "$BASEDIR/src/"
+
+# collect resources from src/ and copy to build/
+find "." \( -name "*.txt" -o -name "*.properties" \) \
+    -exec cp --parents '{}' "../build" \;