mk.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

#!/usr/bin/env bash
set -euo pipefail

repo=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)
srcdir="$repo/src"

platform="$1"
shift

if [[ "$(pwd -P)" = "$repo" ]]; then
	test ! -d build || rm -r build
	mkdir build
	cd build
fi

cat >config.mak <<EOF
CONFIGURED = 1
platform = $platform
srcdir = $srcdir
EOF
ln -s "$srcdir/Makefile"

n="$(nproc)"
make "-j$n" "-l$n" "$@"