mirror of
https://github.com/urbit/shrub.git
synced 2024-12-21 09:51:36 +03:00
30 lines
468 B
Bash
Executable File
30 lines
468 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -ex
|
|
|
|
if [ -n "${TRAVIS_TAG-}" ]
|
|
then
|
|
ver="$TRAVIS_TAG"
|
|
elif [ -n "${TRAVIS_COMMIT-}" ]
|
|
then
|
|
ver="$TRAVIS_COMMIT"
|
|
else
|
|
ver="$(git rev-parse HEAD)"
|
|
fi
|
|
|
|
export STACK_YAML="`pwd`/pkg/hs/stack.yaml"
|
|
|
|
mkdir -p release
|
|
|
|
stack clean # Make sure we optimize
|
|
|
|
stack install urbit-king \
|
|
--local-bin-path "`pwd`/release" \
|
|
--test --no-run-tests
|
|
|
|
out="release/king-linux64-dynamic-$ver"
|
|
|
|
mv release/urbit-king "$out"
|
|
|
|
ldd "$out"
|