Script to build and install Coq on Linux, OSX and FreeBSD

install-coq.sh

#!/usr/bin/env bash

VERSION=${1-v8.5}
git clone https://github.com/coq/coq -b v8.5

install_desktop_file () {
    d=~/local/share/applications/coq-ide.desktop
    echo "[Desktop Entry]" > $d
    echo "Name=Coq IDE" >> $d
    echo "Exec=coqide" >> $d
    echo "Icon=/usr/local/share/coq/coq.png" >> $d
    echo "Type=Application" >> $d
    echo "Categories=GTK;Utility;" >> $d
}

if [[ `uname` == Linux ]]; then
    makecmd=make
    sudo apt-get install liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml-dev
    install_desktop_file
elif [[ `uname` == Darwin ]]; then
    makecmd=make
    brew install gtk+
    opam install lablgtk
elif [[ `uname` == FreeBSD ]] then
    makecmd=gmake
    pkg install gtksourceview2
    opam install lablgtk
    install_desktop_file
fi

cd coq && \
    ./configure -makecmd $makecmd && \
    $makecmd && \
    sudo $makecmd install