diff options
Diffstat (limited to 'use-arch-mono.patch')
-rw-r--r-- | use-arch-mono.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/use-arch-mono.patch b/use-arch-mono.patch new file mode 100644 index 000000000000..5dccce5aa899 --- /dev/null +++ b/use-arch-mono.patch @@ -0,0 +1,23 @@ +--- SetupMono.sh 2018-07-20 12:52:21.496049854 -0500 ++++ SetupMono_new.sh 2018-07-20 12:57:46.307955647 -0500 +@@ -12,16 +12,19 @@ + + IS_MONO_INSTALLED=0 + MONO_VERSION_PATH=`which mono` || true ++UE_USE_SYSTEM_MONO=1 + if [ "$UE_USE_SYSTEM_MONO" == "1" ] && [ ! $MONO_VERSION_PATH == "" ] && [ -f $MONO_VERSION_PATH ]; then + # If Mono is installed, check if it's 4.0.2 or higher + MONO_VERSION_PREFIX="Mono JIT compiler version " + MONO_VERSION_PREFIX_LEN=${#MONO_VERSION_PREFIX} + MONO_VERSION=`"${MONO_VERSION_PATH}" --version |grep "$MONO_VERSION_PREFIX"` + MONO_VERSION=(`echo ${MONO_VERSION:MONO_VERSION_PREFIX_LEN} |tr '.' ' '`) +- if [ ${MONO_VERSION[0]} -ge 4 ]; then ++ if [ ${MONO_VERSION[0]} -eq 4 ]; then + if [ ${MONO_VERSION[1]} -ge 0 ] || [ ${MONO_VERSION[2]} -ge 2 ]; then + IS_MONO_INSTALLED=1 + fi ++ elif [ ${MONO_VERSION[0]} -eq 5 ]; then ++ IS_MONO_INSTALLED=1 + fi + fi + |