Download Clean

From Clean
(Difference between revisions)
Jump to: navigation, search
m (64-bit)
Line 13: Line 13:
  
 
For details see the [http://clean.cs.ru.nl/download/Clean24/CleanLicenseConditions.txt Clean License Conditions]
 
For details see the [http://clean.cs.ru.nl/download/Clean24/CleanLicenseConditions.txt Clean License Conditions]
 +
 +
== Nightly builds ==
 +
We provide automated nightly builds from the development branches in version control (a mix of git and subversion) of the various components that Clean consists of. We are constantly improving the quality control of these builds, but don't expect a perfectly stable system.
 +
 +
All nightly builds are available from: ftp://ftp.cs.ru.nl/pub/Clean/builds/
 +
At this moment the following packages are available:
 +
 +
# clean-classic-*: A 'classic' clean distribution similar to the 2.4 release and older. This package is built for linux (x86 and x64), windows (x86 and x64) and macos (x64).
 +
# clean-classic-itasks-*: The same as the 'classic' packages, but with the iTasks-SDK and its dependencies included. This package is only built for linux-x64, windows-x86 and macos-x64.
 +
 +
In the near future more granular packages will be added that package individual components (libraries and/or tools).
  
 
== Windows ==
 
== Windows ==
Line 21: Line 32:
 
| Clean 2.4 with IDE and libraries (Intel, 64bit) || [http://clean.cs.ru.nl/download/Clean24/windows/Clean_2.4_64.zip Clean_2.4_64.zip] - [http://clean.cs.ru.nl/download/Clean24/windows/Clean_2.4_64.7z Clean_2.4_64.7z]
 
| Clean 2.4 with IDE and libraries (Intel, 64bit) || [http://clean.cs.ru.nl/download/Clean24/windows/Clean_2.4_64.zip Clean_2.4_64.zip] - [http://clean.cs.ru.nl/download/Clean24/windows/Clean_2.4_64.7z Clean_2.4_64.7z]
 
|}
 
|}
 
=== Latest development releases ===
 
{|border="1"
 
| Clean + iTasks (27 Sept 2016; Intel, 32bit) || [ftp://ftp.cs.ru.nl/pub/Clean/nightly/clean-itasks-win32-20160927.zip clean-itasks-win32-20160927.zip]
 
|-
 
| Clean + iTasks (24 June 2016; Intel, 32bit) || [ftp://ftp.cs.ru.nl/pub/Clean/nightly/clean-itasks-win32-20160624.zip clean-itasks-win32-20160624.zip]
 
|}
 
 
Scripts for building your own release from scratch can be found [https://svn.cs.ru.nl/repos/clean-tools/trunk/build/Windows/ on Subversion].
 
  
 
== Linux ==
 
== Linux ==
Line 40: Line 42:
  
 
Running Clean on Linux is a little different than running Clean on Windows. First of all, there is no IDE available, which means that you have to manage your projects using command-line tools. The primary tool to run Clean on Linux is <tt>clm</tt>. This is a small wrapper tool around the compiler that checks which files have changed and need to be (re)compiled. It is basically a Clean-specific <tt>make</tt> replacement.
 
Running Clean on Linux is a little different than running Clean on Windows. First of all, there is no IDE available, which means that you have to manage your projects using command-line tools. The primary tool to run Clean on Linux is <tt>clm</tt>. This is a small wrapper tool around the compiler that checks which files have changed and need to be (re)compiled. It is basically a Clean-specific <tt>make</tt> replacement.
 
=== Latest development releases ===
 
 
==== 64-bit ====
 
{|border="1"
 
| Clean + iTasks (24 October 2016; Intel, 64bit) || [ftp://ftp.cs.ru.nl/pub/Clean/nightly/clean-itasks-linux64-20161024.tar.gz clean-itasks-linux64-20161024.tar.gz]
 
|-
 
| Clean + iTasks (31 May 2016; Intel, 64bit) || [ftp://ftp.cs.ru.nl/pub/Clean/nightly/clean-itasks-linux64-20160531.tar.gz clean-itasks-linux64-20160531.tar.gz]
 
|-
 
| Clean + iTasks (02 May 2016; Intel, 64bit) || [ftp://ftp.cs.ru.nl/pub/Clean/nightly/clean-itasks-linux64-20160502.tar.gz clean-itasks-linux64-20160502.tar.gz]
 
|}
 
 
==== 32-bit ====
 
{|border="1"
 
| Clean + iTasks (22 October 2015; Intel, 32bit) || [ftp://ftp.cs.ru.nl/pub/Clean/nightly/clean-itasks-linux32-20151022.tar.gz clean-itasks-linux32-20151022.tar.gz]
 
|}
 
 
New in this release is the <tt>cpm</tt> command-line tool, which acts as a light-weight, command-line based version of the CleanIDE and is preferred over <tt>clm</tt>.
 
 
Scripts for building your own release from scratch can be found [https://svn.cs.ru.nl/repos/clean-tools/trunk/build/Linux/ on Subversion].
 
  
 
== Mac OS X ==
 
== Mac OS X ==
Line 69: Line 51:
 
This is a command-line version, similar to the linux version. Apple's developer tool XCode should be installed first.  
 
This is a command-line version, similar to the linux version. Apple's developer tool XCode should be installed first.  
  
=== Latest development releases ===
 
{|border="1"
 
| Clean + iTasks (24 October 2016; Intel, 64bit) || [ftp://ftp.cs.ru.nl/pub/Clean/nightly/clean-itasks-macos-20161024.zip clean-itasks-macos-20161024.zip]
 
|-
 
| Clean + iTasks (30 June 2016; Intel, 64bit) || [ftp://ftp.cs.ru.nl/pub/Clean/nightly/clean-itasks-osx-20160630.zip clean-itasks-osx-20160630.zip]
 
|}
 
 
Alternatively, install the latest nightly via [http://brew.sh homebrew]:
 
 
<tt>
 
brew tap clean-and-itasks/homebrew-clean-and-itasks https://gitlab.science.ru.nl/clean-and-itasks/homebrew-clean-and-itasks.git<br/>
 
brew install clean-itasks
 
</tt>
 
 
New in this release is the <tt>cpm</tt> command-line tool, which acts as a light-weight, command-line based version of the CleanIDE and is preferred over <tt>clm</tt>.
 
 
Scripts for building your own release from scratch can be found [https://svn.cs.ru.nl/repos/clean-tools/trunk/build/MacOSX/ on Subversion].
 
  
 
== Source code ==
 
== Source code ==

Revision as of 14:00, 5 December 2016

Clean is available for #Windows (32 and 64 bit), #Linux (32 and 64 bit) and #Mac OS X (64 bit only).

The latest stable release is Clean 2.4. The use of development releases is required for iTasks.

Clean 2.4 License

Clean is available under a dual license. Users can choose which of these two licenses they wish to operate under:

  1. The Simplified BSD License applies to the libraries, runtime system and examples, the LGPL to the rest.
  2. A commercial license.

For details see the Clean License Conditions

Nightly builds

We provide automated nightly builds from the development branches in version control (a mix of git and subversion) of the various components that Clean consists of. We are constantly improving the quality control of these builds, but don't expect a perfectly stable system.

All nightly builds are available from: ftp://ftp.cs.ru.nl/pub/Clean/builds/ At this moment the following packages are available:

  1. clean-classic-*: A 'classic' clean distribution similar to the 2.4 release and older. This package is built for linux (x86 and x64), windows (x86 and x64) and macos (x64).
  2. clean-classic-itasks-*: The same as the 'classic' packages, but with the iTasks-SDK and its dependencies included. This package is only built for linux-x64, windows-x86 and macos-x64.

In the near future more granular packages will be added that package individual components (libraries and/or tools).

Windows

Latest stable release

Clean 2.4 with IDE and libraries (Intel, 32bit) Clean_2.4.zip - Clean_2.4.7z
Clean 2.4 with IDE and libraries (Intel, 64bit) Clean_2.4_64.zip - Clean_2.4_64.7z

Linux

Latest stable release

Clean 2.4 with libraries (Intel, 32bit) clean2.4.tar.gz
Clean 2.4 with libraries (Intel, 64bit) clean2.4_64.tar.gz

Running Clean on Linux is a little different than running Clean on Windows. First of all, there is no IDE available, which means that you have to manage your projects using command-line tools. The primary tool to run Clean on Linux is clm. This is a small wrapper tool around the compiler that checks which files have changed and need to be (re)compiled. It is basically a Clean-specific make replacement.

Mac OS X

Latest stable release

Clean 2.4 with libraries (Intel, 64bit) clean2.4.zip

This is a command-line version, similar to the linux version. Apple's developer tool XCode should be installed first.


Source code

Windows Complete sources Clean2.4Sources.zip - Clean2.4Sources.7z
Linux Complete sources Clean2.4Sources.tar.gz
Linux Bootstrap from intermediate ABC files. 32-bit. Does not contain all sources. clean2.4_boot.tar.gz
Linux Bootstrap from intermediate ABC files. 64-bit. Does not contain all sources. clean2.4_64_boot.tar.gz
Mac OS X Bootstrap from intermediate ABC files. 64-bit. Does not contain all sources. clean2.4_boot.zip

Older releases

You can view the release history of older releases.

Experimental release for Haskell Front End

There is an experimental release (9.3M) of Clean that accompanies the paper Exchanging Sources Between Clean and Haskell - A Double-Edged Front End for the Clean Compiler, by John van Groningen, Thomas van Noort, Peter Achten, Pieter Koopman, and Rinus Plasmeijer. In Jeremy Gibbons, editor, Proceedings of the 3rd Haskell Symposium, Haskell '10, Baltimore, MD, US. ACM Press, 2010.

Disclaimer: The implementation of the front end is work in progress. This beta release is far from complete and is not fully tested.

To compile and run your first Clean* and Haskell* programs, take the following steps:

  1. Unpack the downloaded ZIP file to your destination of choice
  2. Open CleanIDE.exe, located on the top level of the folder
  3. Choose in the prompt if you would like to associate files with the Clean IDE
  4. Click File > Open ... and browse to the Examples folder
  5. Open Main.prj and press CTRL + R to compile and run the project

The file Main.hs imports all the examples from the paper and runs several examples, feel free to experiment!

Personal tools