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