#!/bin/bash

ORIG=`pwd`

DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"

ROOT=$DIR/../

REPC_VERSION='v0.10.0'

(

cd $ROOT

PLATFORM=''

if [ "$(uname)" == "Darwin" ]; then

PLATFORM='osx'

elif [ "$(expr substr $(uname -s) 1 5)" == "Linux" ]; then

PLATFORM='linux'

else

echo "Unsupported platform: $(uname)"

exit

fi

# Diff server is a public interface. We *do* maintain backward compat.

# We download the latest release.

echo "Fetching diff-server..."

URL="https://github.com/rocicorp/diff-server/releases/latest/download/diffs-$PLATFORM"

curl -L -f $URL > bin/diff-server

chmod u+x bin/diff-server

echo "Fetching repc..."

URL="https://github.com/rocicorp/repc/releases/download/$REPC_VERSION/repc.zip"

curl -L -f $URL > bin/repc.zip

cd bin

rm -rf repc

unzip repc.zip

mv pkg repc

rm repc.zip

cd ../src/

rm -rf wasm

ln -s ../bin/repc wasm

)