*NIX Instructions

From Clean
Revision as of 13:31, 2 September 2019 by Mart (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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 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