release

#!/usr/bin/env bash
#
# Prepare MiniZinc or-tools distribution for macOS, Linux, Win64

set -e

prepare_dist() {
  dist_name=$1
  minizinc_url=$2
  or_tools_url=$3
  arch=${4-linux}

  echo "Creating dist ${dist_name}..."

  rm -rf ${dist_name} || true
  mkdir -p ${dist_name}
  pushd ${dist_name} &>/dev/null

  echo "Fetching minizinc..."
  extract_here ${minizinc_url} ${arch}

  mkdir -p or-tools
  pushd or-tools &>/dev/null
  echo "Fetching or-tools..."
  extract_here ${or_tools_url} ${arch}

  echo "Moving or-tools globals..."
  mv share/minizinc_cp ../share/minizinc/or-tools
  mv bin/* ../bin
  mkdir ../share/or-tools
  mv LICENSE-2.0.txt ../share/or-tools
  popd &>/dev/null
  rm -rf or-tools
  rm -rf doc

  popd &>/dev/null
  echo "Creating dist archive..."

  create_archive ${arch} ${dist_name} ${dist_name}
  
  mkdir -p vendor
  mv ${dist_name} vendor/minizinc
  create_archive ${arch} ${dist_name}-vendor vendor
  rm -rf vendor
}

extract_here() {
  url=$1
  arch=$2
  
  case ${arch} in
    linux*|darwin)
      curl -sSL ${url} | tar --strip-components 1 -xzf -
      ;;
    win*)
      tempdir=$(mktemp -d)
      pushd ${tempdir} &>/dev/null
      curl -sSL ${url} >tmp.zip
      unzip -d ${tempdir} -q tmp.zip
      popd &>/dev/null
      mv ${tempdir}/*/* ./
      rm ${tempdir}/tmp.zip
      rmdir ${tempdir}/* ${tempdir}
      ;;
    *)
      echo "Unknown arch ${arch}."
      exit 1
  esac
}

create_archive() {
  arch=$1
  archive_basename=$2
  shift; shift
  
  case ${arch} in
    linux*|darwin)
      tar -czf ${archive_basename}.tar.gz $@
      ;;
    win*)
      zip -qr ${archive_basename}.zip $@
      ;;
    *)
      echo "Unknown arch ${arch}."
      exit 1
  esac
}

dist_base=minizinc-2.1.0_or-tools-v5.0

prepare_dist ${dist_base}-darwin \
  https://github.com/MiniZinc/libminizinc/releases/download/2.1.0/minizinc-2.1.0-Darwin.tar.gz \
  https://github.com/google/or-tools/releases/download/v5.0/or-tools_flatzinc_MacOsX-10.11.6_v5.0.3919.tar.gz

prepare_dist ${dist_base}-linux64 \
  https://github.com/MiniZinc/libminizinc/releases/download/2.1.0/minizinc-2.1.0-linux64.tar.gz \
  https://github.com/google/or-tools/releases/download/v5.0/or-tools_flatzinc_Ubuntu-14.04-64bit_v5.0.3919.tar.gz

prepare_dist ${dist_base}-win64 \
  https://github.com/MiniZinc/libminizinc/releases/download/2.1.0/minizinc-2.1.0-win64.zip \
  https://github.com/google/or-tools/releases/download/v5.0/or-tools_flatzinc_VisualStudio2015-64bit_v5.0.3919.zip \
  win64

release_cmd="hub release create -m ${dist_base} ${dist_base}"
for asset in ./${dist_base}*; do
  release_cmd="${release_cmd} -a ${asset}"
done

echo "Creating release..."
${release_cmd}

echo "Done."