diff options
Diffstat (limited to 'core/samurai/build')
-rwxr-xr-x | core/samurai/build | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/core/samurai/build b/core/samurai/build new file mode 100755 index 00000000..8503932d --- /dev/null +++ b/core/samurai/build @@ -0,0 +1,21 @@ +#!/bin/sh -e + +export LDFLAGS="$LDFLAGS -static" + +# Samurai is faster than make, so we prefer using it instead if available +if cpt l -q samurai; then + cat - ninja.in <<EOF> build.ninja +destdir = $1 +cc = ${CC:-cc} +cflags = -std=c99 -Wall -Wextra -Wpedantic -Wno-unused-parameter $CFLAGS +ldflags = -static $LDFLAGS +EOF + ninja + ninja install +else + make PREFIX=/usr LDFLAGS="$LDFLAGS" + make PREFIX=/usr DESTDIR="$1" install +fi + +ln -s samu "$1/usr/bin/ninja" +ln -s samu.1 "$1/usr/share/man/man1/ninja.1" |