*NIX Instructions

From Clean
Revision as of 08:06, 10 September 2019 by CamilStaps (talk | contribs) (Add explanation from Download Clean page)
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. There is no IDE available, which means that you have to manage your projects using command-line tools clm and cpm.

Compiling a program

clm

To compile and run a program:

   clm MAINMODULE -o BINARY
   ./BINARY

e.g.

   clm sieve -o sieve
  ./sieve

run

   clm

to see all options

cpm

To compile and run a program

   cpm project MAINMODULE create
   cpm project MAINMODULE.prj build

e.g.:

   cpm project sieve create
   cpm project sieve.prj build
   ./sieve

run

   cpm

to see all options

run

   cpm project MAINMODULE.prj

to see all project specific options

Gentle installation instructions

Make sure to have XCode installed on macs.

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

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