*NIX Instructions

From Clean
Revision as of 14:42, 2 September 2019 by Mart (talk | contribs)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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