2019-10-20 16:02:28 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
2020-01-20 18:34:48 +01:00
|
|
|
# TODO: this script has been made obsolete by the Makefile, yet downstream
|
|
|
|
# package managers plausibly rely on it for compiling locally. Remove this file
|
|
|
|
# after downstream maintainers have had time to modify their packages to simply
|
|
|
|
# invoke `make` in the project root.
|
|
|
|
|
2019-10-27 15:26:24 +01:00
|
|
|
# locate the cheat project root
|
2019-10-20 16:02:28 +02:00
|
|
|
BINDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
APPDIR=$(readlink -f "$BINDIR/..")
|
|
|
|
|
|
|
|
# compile the executable
|
2020-01-20 18:34:48 +01:00
|
|
|
cd $APPDIR
|
2019-10-20 16:02:28 +02:00
|
|
|
|
2020-01-20 18:34:48 +01:00
|
|
|
make
|