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