mirror of
https://github.com/urbit/shrub.git
synced 2024-12-24 03:14:30 +03:00
Update scripts to point to urbit-king
.
This commit is contained in:
parent
6977ae8d3f
commit
7383f05177
@ -10,7 +10,7 @@ jobs:
|
||||
|
||||
install:
|
||||
- nix-env -iA cachix -f https://cachix.org/api/v1/install
|
||||
- stack --no-terminal --install-ghc build king --only-dependencies
|
||||
- stack --no-terminal --install-ghc build urbit-king --only-dependencies
|
||||
|
||||
script:
|
||||
- cachix use urbit2
|
||||
@ -29,7 +29,7 @@ jobs:
|
||||
- sh/travis-install-stack
|
||||
|
||||
install:
|
||||
- stack --no-terminal --install-ghc build king --only-dependencies
|
||||
- stack --no-terminal --install-ghc build urbit-king --only-dependencies
|
||||
|
||||
script:
|
||||
- sh/release-king-darwin-dynamic
|
||||
|
@ -4,7 +4,7 @@ set -ex
|
||||
|
||||
export STACK_YAML="`pwd`/pkg/hs/stack.yaml"
|
||||
|
||||
stack test king
|
||||
stack test urbit-king
|
||||
|
||||
if [ "$TRAVIS_PULL_REQUEST" = false ]
|
||||
then
|
||||
|
@ -18,12 +18,12 @@ mkdir -p release
|
||||
|
||||
stack clean # Make sure we optimize
|
||||
|
||||
stack install king \
|
||||
stack install urbit-king \
|
||||
--local-bin-path "`pwd`/release" \
|
||||
--test --no-run-tests
|
||||
|
||||
out="release/king-darwin-dynamic-$ver"
|
||||
|
||||
mv release/king "$out"
|
||||
mv release/urbit-king "$out"
|
||||
|
||||
otool -L "$out"
|
||||
|
@ -18,12 +18,12 @@ mkdir -p release
|
||||
|
||||
stack clean # Make sure we optimize
|
||||
|
||||
stack install king \
|
||||
stack install urbit-king \
|
||||
--local-bin-path "`pwd`/release" \
|
||||
--test --no-run-tests
|
||||
|
||||
out="release/king-linux64-dynamic-$ver"
|
||||
|
||||
mv release/king "$out"
|
||||
mv release/urbit-king "$out"
|
||||
|
||||
ldd "$out"
|
||||
|
@ -20,6 +20,6 @@ popd
|
||||
|
||||
out="release/king-linux64-static-$ver"
|
||||
|
||||
cp "$king"/bin/king "$out"
|
||||
cp "$king"/bin/urbit-king "$out"
|
||||
|
||||
ldd "$out"
|
||||
|
Loading…
Reference in New Issue
Block a user