Current versions of the Alice system are somewhat resource-hungry. We hence recommend a system with at least 1 GHz and 512 MB Ram. The installation requires approximately 70 MB of Harddisk space.
The following packages provide version 1.4 of the Alice programming system. All packages include the full manual web pages.
As a self installing executable:
Note: You have to uninstall all previous versions of Alice before installing the packages.
For Red Hat Linux:
For Debian Linux:
deb http://www.ps.uni-saarland.de/alice/download/debian stable contribto your /etc/apt/sources.list. You need to apt-get the package alice-runtime.
For other Linuces:
You can unpack the binary tarball to the root directory, it will install Alice under /opt/alice-seam. After unpacking, add /opt/alice-seam/bin to your PATH.
We provide a disk image with Alice as a full, self-contained application. Just mount the image and copy Alice to your hard disk. Starting the Alice application will launch the interactive toplevel.
In order to use the Alice command line tools, add
/Applications/Alice.app/Contents/Resources/bin
to your
PATH
environment variable. (This assumes that you copied
Alice into that folder, just replace the path with the path where you
actually copied it.)
Package version 4 fixes the startup problem on recent versions of Mac OS
Note: starting Alice for the first time may take a while. Please be a little patient.
The Alice system is free software. See the license for details.
Some binary packages (especially the Windows build) contain versions of the Gtk, SQLite3, and libxml2 libraries. Please see the corresponding web sites for license information.
The following packages provide the previous version 0.9.3 of the Alice programming system, which runs on the Mozart VM and allows interoperability with Oz code.
This version of Alice is based on the Mozart Programming system. It hence is necessary to install Mozart before installation of Alice itself. You will need:
Gtk support is included in the standard Windows distribution of Mozart. For Linux, you have to install the mozart-gtk add-on package, which is available from the Mozart download site.
As Windows Installer package (MSI):
Or as self installing executable:
Note: You have to uninstall all previous versions of Alice before installing the packages.
For Red Hat Linux:
For Debian Linux:
Note that this package is dependent on the Debian package for Mozart and will not work with a Mozart system installed by other means.
For other Unixes (binary tarballs):
After unpacking, please include the respective bin directory into your PATH, e.g.
PATH=<alice-directory>/bin:$PATH
You also need to have Mozart's bin in your path:
PATH=<mozart-directory>/bin:$PATH
We provide a version of the SML-Mode for Emacs that is patched with special support for Alice ML keywords, error messages, and file extensions. It allows using the interactive Alice top-level from within Emacs.
Please follow the instructions in the contained INSTALL or INSTALL-WINDOWS file for installation.
Note: If you are using the Mozart-based variant of Alice (version 0.9.x), first make sure that the environment variables OZHOME and ALICE_HOME point to the installation directory of the Mozart system and the Alice system, respectively.
In addition to the released version, the current development sources are also available via anonymous CVS.
Warning: It is quite likely that development snapshots might have bugs, they might not even build! You are basically on your own.
CVSROOT: :pserver:anoncvs@cvs.ps.uni-saarland.de:/services/alice/CVS Module: alice Password: anoncvs
The tag for the current release branch is:
release-1-4
An example session to check out the whole Alice source tree (including tools, libraries, and documentation) might look as follows:
% cvs -d :pserver:anoncvs@cvs.ps.uni-saarland.de:/services/alice/CVS login (Logging in to anoncvs@cvs.ps.uni-saarland.de) CVS password: anoncvs % cvs -d :pserver:anoncvs@cvs.ps.uni-saarland.de:/services/alice/CVS get alice
From the CVS repository you can also access the released version:
% cvs -d :pserver:anoncvs@cvs.ps.uni-saarland.de:/services/alice/CVS get -r release-1-3 alice
Note that you also need SEAM and Gecode to be able to actually build Alice. See the Alice Wiki for details.
A mirror of the original CVS repository has been installed by Chris Double on GitHub:
This mirror includes a number of patches to support building Alice on more recent systems.
For more Alice-related libraries and tools provided by the user community, please see our contributions page.