#!/bin/sh

set -euo pipefail

function prefetch_target () {
  nix-prefetch-url --type sha256 https://update.tabnine.com/$2/$1/TabNine
}

if [ -z "$1" ]; then
  echo "Usage: $0 <version>"
  exit 1
fi

echo "
sha256 = if stdenv.isDarwin then
\"$(prefetch_target x86_64-apple-darwin $1)\"
else
\"$(prefetch_target x86_64-unknown-linux-musl $1)\";"