#!/bin/bash

WINE=/Applications/Wine.app/Contents
STARTWINE=$WINE/MacOS/startwine
WINEPATH=$WINE/Resources/bin/winepath

Z3="$HOME/Wine Files/drive_c/Program Files/Microsoft Research/Z3/bin/z3.exe"

ARGS=
for p in "$@"
do
  if [ -e "$p" ]
  then
    p=$($WINEPATH -w "$p")
  else 
    p=$(echo "$p" | sed 's/^-/\//')
  fi
  ARGS="$ARGS $p"
done

"$STARTWINE" "$Z3" $ARGS