Difference between revisions of "*NIX Instructions"
From Clean
Jump to navigationJump to search (Created page with "Using Clean on Linux or MacOS systems is not the same as on windows. == iTasks == == Clean 3.0 == === Installing === - open a terminal and navigate to the place where you w...") |
|||
| Line 2: | Line 2: | ||
== iTasks == | == iTasks == | ||
| + | |||
| + | - open a terminal and navigate to the place where you would like to store the distribution | ||
| + | cd /path/to/clean | ||
| + | - download the latest zip | ||
| + | curl -o clean.zip https://ftp.cs.ru.nl/Clean/builds/macos-x64/clean-bundle-complete-macos-x64-latest.tgz | ||
| + | - unzip the zip file | ||
| + | tar -xf clean-bundle-complete-macos-x64-latest.tgz | ||
| + | - navigate to the directory | ||
| + | cd clean-bundle-complete | ||
| + | - add the directory to PATH (e.g. in bash:) | ||
| + | echo "export PATH=\"$PWD/bin:\$PATH\"" >> .bash_profile | ||
| + | - add the directory to CLEAN_HOME (e.g. in bash:) | ||
| + | echo "export CLEAN_HOME=\"$PWD\"" >> .bash_profile | ||
== Clean 3.0 == | == Clean 3.0 == | ||
| − | |||
- open a terminal and navigate to the place where you would like to store the distribution | - open a terminal and navigate to the place where you would like to store the distribution | ||
| Line 17: | Line 29: | ||
make | make | ||
- add the directory to PATH (e.g. in bash:) | - add the directory to PATH (e.g. in bash:) | ||
| − | echo "export PATH=$PWD/bin:\$PATH" >> .bash_profile | + | echo "export PATH=\"$PWD/bin:\$PATH\"" >> .bash_profile |
Revision as of 13:42, 2 September 2019
Using Clean on Linux or MacOS systems is not the same as on windows.
iTasks
- open a terminal and navigate to the place where you would like to store the distribution
cd /path/to/clean
- download the latest zip
curl -o clean.zip https://ftp.cs.ru.nl/Clean/builds/macos-x64/clean-bundle-complete-macos-x64-latest.tgz
- unzip the zip file
tar -xf clean-bundle-complete-macos-x64-latest.tgz
- navigate to the directory
cd clean-bundle-complete
- add the directory to PATH (e.g. in bash:)
echo "export PATH=\"$PWD/bin:\$PATH\"" >> .bash_profile
- add the directory to CLEAN_HOME (e.g. in bash:)
echo "export CLEAN_HOME=\"$PWD\"" >> .bash_profile
Clean 3.0
- open a terminal and navigate to the place where you would like to store the distribution
cd /path/to/clean
- download the latest zip
curl -o clean.zip https://ftp.cs.ru.nl/Clean/Clean30/macosx/clean3.0.zip
- unzip the zip file
unzip clean.zip
- navigate to the directory
cd clean
- run make
make
- add the directory to PATH (e.g. in bash:)
echo "export PATH=\"$PWD/bin:\$PATH\"" >> .bash_profile
