diff options
| author | Zerophase | 2018-07-21 23:06:04 -0500 |
|---|---|---|
| committer | Zerophase | 2018-07-21 23:07:26 -0500 |
| commit | abb8a2d75adaf4e64f05864f98e25b6ac7ca471b (patch) | |
| tree | ef9550fbd740df8d2c21c41d77207f693fa380e5 /use-arch-mono.patch | |
| parent | 5bab3964279f46e66762d6435d950b23430d16e2 (diff) | |
| download | aur-abb8a2d75adaf4e64f05864f98e25b6ac7ca471b.tar.gz | |
4.20.0
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 + |