*NIX Instructions: Difference between revisions
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..." |
No edit summary |
||
| 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 12: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
