#!/usr/bin/env bash

#Node path should add libs in
export NODE_PATH=$NODE_PATH:"$(cd lib; pwd)"

#Z3_PATH dictates where z3_js will look for Z3 in
if [ -e ${Z3_PATH+x} ]; then
	if [[ "$OSTYPE" == "darwin"* ]]; then
	    export Z3_PATH="./node_modules/z3javascript/bin/libz3.dylib"
	else
		export Z3_PATH="./node_modules/z3javascript/bin/libz3.so"
	fi
	#echo "Set Default Z3_PATH to $Z3_PATH"
fi
