#!/bin/bash
set -e

BIN=$(dirname $0)

if [[ "$OSTYPE" == "darwin" ]]; then
  Z3="$BIN/../src/main/universal/deps/darwin/z3/bin/z3"
  BOOGIE_EXE="$BIN/../src/main/universal/deps/darwin/boogie/Boogie"
else
  Z3="$BIN/../src/main/universal/deps/unix/z3/bin/z3"
  BOOGIE_EXE="$BIN/../src/main/universal/deps/unix/boogie/Boogie"
fi

BOOGIE_EXE=$BOOGIE_EXE $BIN/run-class viper.carbon.Carbon --z3Exe $Z3 "$@"
