@@ -1,33 +1,22 @@
 #! /bin/bash
 
-if [ ! -x "../platform" ]; then
-	echo "No platform script found, aborting." >&2
-
-	exit 1
-fi
-
-if [ "${PLATFORM}" = "tcl" ]; then
-	rm -rf out
-
-	exit 0
-fi
-
+# Define parameters
 VERS=0.9.9
 SRC="src/tclpkcs11-${VERS}.tar.gz"
 SRCURL="http://www.rkeene.org/devel/tclpkcs11-${VERS}.tar.gz"
 BUILDDIR="tclpkcs11-${VERS}"
-WORKDIR="${TMPDIR:-/tmp}/tclpkcs11-$$${RANDOM}${RANDOM}${RANDOM}"
-PLATDIR="$(pwd)/out/${PLATFORM}"
-
-export VERS SRC SRCURL BUILDDIR WORKDIR PLATDIR
-
-if [ ! -f "${SRC}" ]; then
-	mkdir src >/dev/null 2>/dev/null
-
-	wget -O "${SRC}" "${SRCURL}" || exit 1
-fi
+export VERS SRC SRCURL BUILDDIR
+
+# Load common functions
+source ../common.sh
+
+# Do not build if the "tcl" platform has been requested
+not_platforms 'tcl'
+
+# Download source
+download_src
 
 (
 	rm -rf build
 	mkdir -p "${PLATDIR}" >/dev/null 2>/dev/null
 	mkdir build