@@ -0,0 +1,55 @@
6+echo "| _ \ _ _ _ __ ___/ ___| ___ _ __(_)_ __ | |_ "
7+echo "| |_) | | | | '__/ _ \___ \ / __| '__| | '_ \| __|"
8+echo "| __/| |_| | | | __/___) | (__| | | | |_) | |_ "
9+echo "|_| \__,_|_| \___|____/ \___|_| |_| .__/ \__|"
12+echo "This script will "
14+echo " - Copy binary files to /usr/local/purescript/bin/"
15+echo " - Copy source code to ~/.purescript/prelude/"
17+echo "PureScript is distributed under the MIT license:"
19+echo "Permission is hereby granted, free of charge, to any person obtaining a copy of"
20+echo "this software and associated documentation files (the 'Software'), to deal in"
21+echo "the Software without restriction, including without limitation the rights to"
22+echo "use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of"
23+echo "the Software, and to permit persons to whom the Software is furnished to do so,"
24+echo "subject to the following conditions:"
26+echo "The above copyright notice and this permission notice shall be included in all"
27+echo "copies or substantial portions of the Software."
29+echo "THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR"
30+echo "IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS"
31+echo "FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR"
32+echo "COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER"
33+echo "IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN"
34+echo "CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE."
36+echo "Press any key to continue or ^C to exit."
41+echo "Copying binary files to /usr/local/purescript/bin/ ..."
43+mkdir -p /usr/local/purescript/bin/
44+cp psc psci psc-make docgen /usr/local/purescript/bin/
46+echo "Copying source code to ~/.purescript/prelude/ ..."
48+mkdir -p ~/.purescript/prelude
49+cp prelude.purs ~/.purescript/prelude/
51+echo "You can add the PureScript binaries to your PATH variable as follows:"
53+echo " echo \"export PATH=/usr/local/purescript/bin/:\\\$PATH\" >> ~/.bash_profile"
54+echo " source ~/.bash_profile"