@@ -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 ~/.local/bin/psc
19+strip ../dist/build/psc/psc
20−strip ~/.local/bin/psci
20+strip ../dist/build/psci/psci
21−strip ~/.local/bin/psc-docs
21+strip ../dist/build/psc-docs/psc-docs
22−strip ~/.local/bin/psc-publish
22+strip ../dist/build/psc-publish/psc-publish
23−strip ~/.local/bin/psc-bundle
23+strip ../dist/build/psc-bundle/psc-bundle
24−strip ~/.local/bin/psc-ide-server
24+strip ../dist/build/psc-ide-server/psc-ide-server
25−strip ~/.local/bin/psc-ide-client
25+strip ../dist/build/psc-ide-client/psc-ide-client
27# Copy files to staging directory
27# Copy files to staging directory
28−cp ~/.local/bin/psc build/purescript/
28+cp ../dist/build/psc/psc build/purescript/
29−cp ~/.local/bin/psci build/purescript/
29+cp ../dist/build/psci/psci build/purescript/
30−cp ~/.local/bin/psc-docs build/purescript/
30+cp ../dist/build/psc-docs/psc-docs build/purescript/
31−cp ~/.local/bin/psc-publish build/purescript/
31+cp ../dist/build/psc-publish/psc-publish build/purescript/
32−cp ~/.local/bin/psc-bundle build/purescript/
32+cp ../dist/build/psc-bundle/psc-bundle build/purescript/
33−cp ~/.local/bin/psc-ide-server build/purescript/
33+cp ../dist/build/psc-ide-server/psc-ide-server build/purescript/
34−cp ~/.local/bin/psc-ide-client build/purescript/
34+cp ../dist/build/psc-ide-client/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