2021-05-09 06:10:08 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
|
|
# Parallel make isn't supported yet.
|
2021-06-06 22:36:04 +00:00
|
|
|
export MAKEFLAGS='-j1'
|
2021-05-09 06:10:08 +00:00
|
|
|
|
2021-06-06 22:36:04 +00:00
|
|
|
make PLATFORM=linux PREFIX="$1" STATICBUILD=1
|
|
|
|
make PLATFORM=linux PREFIX="$1" STATICBUILD=1 install
|
|
|
|
mkdir -p "$1/usr/share"
|
|
|
|
mv "$1/share/chicken" "$1/usr/share/"
|
|
|
|
mv "$1/share/man" "$1/usr/share/"
|