installation.tex 462 Bytes
Newer Older
1 2
\section{Installation}

Camil Staps's avatar
Camil Staps committed
3
Clean-test-properties is included in the nightly builds which can be downloaded from \url{https://ftp.cs.ru.nl/Clean/builds/}.
4

Camil Staps's avatar
Camil Staps committed
5
Alternatively, you can build the tool from source.
6
On Linux and Mac, you can clone the repository and run \bash{make} to fetch dependencies and build the binary:
7

8 9
\begin{Verbatim}
	git clone https://gitlab.science.ru.nl/clean-and-itasks/clean-test-properties
Camil Staps's avatar
Camil Staps committed
10
	cd clean-test-properties/src
11
	make
12
\end{Verbatim}