This commit is contained in:
JustArchi
2017-04-05 18:07:14 +02:00
parent 995f34a5c2
commit 5b713dc5a9

View File

@@ -90,7 +90,7 @@ MONO_ENV_OPTIONS_ADD "--server"
if [ -n "$MONO_FACADES" ]; then
echo "INFO: Mono facades path was already set to: $MONO_FACADES"
else
for USR in "/usr" "/Library/Frameworks/Mono.framework/Versions/${CURRENT_MONO_VERSION}"; do
for USR in "/opt/mono" "/usr" "/Library/Frameworks/Mono.framework/Versions/${CURRENT_MONO_VERSION}"; do
for API in "${MINIMUM_NET_FRAMEWORK}-api" "4.5"; do # 4.5 is fallback path that existed before Mono decided to split Facades on per-API basis - still available
if [ -d "${USR}/lib/mono/${API}/Facades" ]; then
export MONO_FACADES="${USR}/lib/mono/${API}/Facades"