This document is to explain how to install Concurrent Clean system in Linux environment.

Get the distribution of the latest Clean system

Get the boot distribution for Linux (32bits) environment from the official site. Then extract the archive in a temporary directory.

Build system

Change directory into 'src' directory in the extracted directory. Then type 'make.' It produces the following files.

• bin/patch_bin
• bin/clm
• bin/htoclean
• exe/cg
• exe/linker
• exe/cocl
• stdenv/Clean System Files/_startup.o
• stdenv/Clean System Files/_startupProfile.o
• stdenv/Clean System Files/_system.o
• src/tools/clm/clms

Make directories for install Clean system

Clean system must be installed under the user's home directory because the compiler may modify files in the system libraries.

Create the following directories in your home directory.

• ~/bin
• ~/lib/clean2.2

Install Clean system

Copy the following files into '~/bin' directory.

• bin/patch_bin
• bin/clm
• bin/htoclean
• exe/cg
• exe/linker
• exe/cocl

Copy the following directories into '~/lib/clean2.2' directory.

• stdenv
• data/ArgEnv
• data/Generics
• data/StdLib

Add environment variables

Add the following environment variables in your '.bash_profile' or the else.

PATH=~/bin:"${PATH}"
CLEANDIR=~/lib/clean2.2
export CLEANPATH=$CLEANDIR/stdenv:$CLEANDIR/StdLib:$CLEANDIR/ArgEnv:$CLEANDIR/Generics
export CLEANLIB=~/bin

Install manual

Copy 'man/man1/clm.1' into '/usr/local/man/man1/clm.1' or whereever you like.