#! /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)