1.1 --- a/tools/install.sh Mon May 21 00:52:45 2018 +0200
1.2 +++ b/tools/install.sh Wed May 23 23:57:09 2018 +0200
1.3 @@ -1,5 +1,10 @@
1.4 #!/bin/sh
1.5
1.6 +if ! which realpath > /dev/null ; then
1.7 + echo "Please install the realpath program." 1>&2
1.8 + exit 1
1.9 +fi
1.10 +
1.11 THISDIR=`dirname "$0"`
1.12 DIRNAME=`realpath "$THISDIR/.."`
1.13 PROGNAME=`basename "$0"`
1.14 @@ -40,7 +45,7 @@
1.15
1.16 L4DIR=$1
1.17
1.18 -# Copy (or remove) each of the objects.
1.19 +# Determine the mode.
1.20
1.21 if [ "$2" = '--clean' ] ; then
1.22 CLEAN=$2
1.23 @@ -48,6 +53,14 @@
1.24 CLEAN=
1.25 fi
1.26
1.27 +# Generate binaries if appropriate.
1.28 +
1.29 +if [ ! "$CLEAN" ] ; then
1.30 + "$THISDIR/makefonts.sh" -q
1.31 +fi
1.32 +
1.33 +# Copy (or remove) each of the objects.
1.34 +
1.35 for OBJTYPE in 'conf' 'pkg' ; do
1.36 TARGETDIR=`realpath "$L4DIR"`/$OBJTYPE
1.37 SOURCEDIR="$DIRNAME/$OBJTYPE"