#!/usr/bin/env bash
set -x
set -e

cd "$(mktemp -d)"
distro=$(lsb_release -is)

git clone https://github.com/zulip/tsearch_extras
if [ "$distro" = "Ubuntu" ] || [ "$distro" == "Debian" ]; then
    make="make"
else
    make="gmake"
fi
(cd tsearch_extras && "$make" && "$make" install)