@@ -16,25 +16,25 @@ pushd ${SCRIPTPATH} > /dev/null
16mkdir -p build/purescript/
16mkdir -p build/purescript/
18# Strip the binaries
18# Strip the binaries
19−strip ../dist/build/psc/psc
19+strip ~/.local/bin/psc
20−strip ../dist/build/psci/psci
20+strip ~/.local/bin/psci
21−strip ../dist/build/psc-docs/psc-docs
21+strip ~/.local/bin/psc-docs
22−strip ../dist/build/psc-publish/psc-publish
22+strip ~/.local/bin/psc-publish
23−strip ../dist/build/psc-bundle/psc-bundle
23+strip ~/.local/bin/psc-bundle
24−strip ../dist/build/psc-ide-server/psc-ide-server
24+strip ~/.local/bin/psc-ide-server
25−strip ../dist/build/psc-ide-client/psc-ide-client
25+strip ~/.local/bin/psc-ide-client
27# Copy files to staging directory
27# Copy files to staging directory
28−cp ../dist/build/psc/psc build/purescript/
28+cp ~/.local/bin/psc build/purescript/
29−cp ../dist/build/psci/psci build/purescript/
29+cp ~/.local/bin/psci build/purescript/
30−cp ../dist/build/psc-docs/psc-docs build/purescript/
30+cp ~/.local/bin/psc-docs build/purescript/
31−cp ../dist/build/psc-publish/psc-publish build/purescript/
31+cp ~/.local/bin/psc-publish build/purescript/
32−cp ../dist/build/psc-bundle/psc-bundle build/purescript/
32+cp ~/.local/bin/psc-bundle build/purescript/
33−cp ../dist/build/psc-ide-server/psc-ide-server build/purescript/
33+cp ~/.local/bin/psc-ide-server build/purescript/
34−cp ../dist/build/psc-ide-client/psc-ide-client build/purescript/
34+cp ~/.local/bin/psc-ide-client build/purescript/
35−cp README build/purescript/
35+cp README build/purescript/
36−cp ../LICENSE build/purescript/
36+cp ../LICENSE build/purescript/
37−cp ../INSTALL.md build/purescript/
37+cp ../INSTALL.md build/purescript/
39# Make the binary bundle
39# Make the binary bundle
40pushd build > /dev/null
40pushd build > /dev/null