File tree Expand file tree Collapse file tree 1 file changed +12
-2
lines changed
Expand file tree Collapse file tree 1 file changed +12
-2
lines changed Original file line number Diff line number Diff line change @@ -30,10 +30,20 @@ function get_platform_identifier() {
3030__dir=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) " && pwd) "
3131__builddir=" $( pwd) /build"
3232PHARO_VERSION=" ${PHARO_VERSION:- 130} "
33- PHARO=" ./pharo Pharo.image --no-default-preferences"
3433
3534rm -rf " ${__builddir} " && mkdir -p " ${__builddir} " && cd " ${__builddir} "
36- wget -O - get.pharo.org/64/${PHARO_VERSION} +vm | bash
35+
36+ if command -v pharo > /dev/null 2>&1 ; then
37+ echo " pharo is in PATH"
38+ PHARO_VM_BIN=" pharo"
39+ wget -O - get.pharo.org/64/${PHARO_VERSION} | bash
40+ else
41+ echo " pharo not found in PATH"
42+ wget -O - get.pharo.org/64/${PHARO_VERSION} +vm | bash
43+ PHARO_VM_BIN=" ./pharo"
44+ fi
45+
46+ PHARO=" $PHARO_VM_BIN Pharo.image --no-default-preferences"
3747
3848REPOSITORY_PATH=${__dir} /../src
3949OS=$( get_platform_identifier)
You can’t perform that action at this time.
0 commit comments