15 lines
397 B
Bash
15 lines
397 B
Bash
#! /bin/bash
|
|
|
|
log "Compiling and installing fish-shell to local prefix"
|
|
|
|
local fish_shell_dir=$WORKSPACE/fish-shell
|
|
|
|
if [ ! -d $fish_shell_dir ]; then
|
|
log "Cloning fish-shell"
|
|
git clone https://github.com/fish-shell/fish-shell $fish_shell_dir
|
|
else
|
|
(cd $fish_shell_dir && git pull)
|
|
fi
|
|
|
|
(cd $fish_shell_dir && ./configure --prefix=$LOCAL_PREFIX --disable-shared && make && make install)
|