Skip to content


Repository files navigation

Mozart-Oz v2

Join the chat at

The Mozart Programming System is an open source implementation of Oz 3. This repository contains the upcoming version 2 of the system.

The status of Mozart 2 is currently alpha quality. It is not ready for production, but it can be used for experimenting, testing, and obviously, for contributing.


Binary packages for recent releases are available on GitHub.

SourceForge contains all the binary packages ever published, including previous releases and releases of Mozart 1.

Build Instructions

This main Readme is shamefully biased towards Linux. Side-along Readmes are available for Mac OS, Windows, and OpenBSD.

We found rather difficult to build and configure correctly CLANG/LLVM for all supported system. Those tools are required to build pre-generated sources. In reponse to this, we decided to include in this repository those sources. This section describes a build with the pre-generated sources included. We do however check the pre-generated sources at every commit, rebuilding them in a Travis CI job. The files .travis.yml(for Linux) and appveyor(for Windows) can be very helpfull guides to build Mozart2 on your system. You can find information about our CI jobs.


In order to build Mozart 2, you need the following tools on your computer:

  • git and Subversion to grab the source code
  • java >= 1.6.0
  • gcc >= 4.7.1 on Windows, Linux and Mac OS < 10.8;
  • cmake >= 2.8.6
  • Boost >= 1.53.0 (with development files). We recommend the use of Boost 1.65 as there is some issues with recent version of Boost with cmake.
  • Tcl/Tk 8.5 or 8.6 (with development files)
  • emacs


As mentioned, recent versions of Boost are not currently correctly supported by cmake. However, if you wish to build Mozart2 with a recent version of Boost(> 1.65), you should include the option -DCMAKE_CXX_COMPILER_ARCHITECTURE_ID=your architecture id(x64 for a 64 bits system) in your cmake command. You may also run the cmake command to generate Makefile twice, as the second time the cache is used to find Boost. Should cmake fail to find your Boost you can specify the localation with the option -DBOOST_ROOT.

Clone the Mozart Repository

As the Mozart repository contains submodules, you should clone recursively:

$ git clone --recursive

You can also fetch the submodules separately using:

$ git clone
$ cd mozart2
$ git submodule update --init

Build Mozart

Mozart 2 is built with cmake. The following steps will perform the build:

$ mkdir build
$ cd build
$ cmake -DCMAKE_BUILD_TYPE=Release ..
$ make

You may wish to add -j n to the make command line with n set to the number of CPUs to perform some of the build steps in parallel to reduce the build time.

Once built, you may run the following to install Mozart

$ make install

To change the directory where Mozart 2 is installed add -DCMAKE_INSTALL_PREFIX:PATH=/path/to/install to the cmake command:

$ cmake -DCMAKE_INSTALL_PREFIX:PATH=/tmp/oz2 . && make && make install

On distros like Arch Linux and Nixos, Boost static libraries have been removed. Please add -DMOZART_BOOST_USE_STATIC_LIBS=OFF to your cmake command.

Building the pre-generated sources

You will need LLVM and Clang installed to build Mozart 2 from the git repository. Some Linux distros don't seem to ship the required LLVM/Clang cmake support files so the steps below go through building a local version of LLVM and Clang for the Mozart 2 build system to use.

The steps below assume you are in the directory above the mozart2 repository cloned by git (refer to previous section to see how to clone the repository).

Building LLVM and Clang

To build LLVM following the following steps:

$ git clone --branch release_39
$ cd llvm/tools
$ git clone --branch release_39
$ cd ..
$ mkdir build
$ cd build
$ cmake -DCMAKE_BUILD_TYPE=Release  \
        -DCMAKE_INSTALL_PREFIX:PATH=`pwd`/../../llvm-install \
$ make
$ make install
$ cd ../..
$ export PATH=`pwd`/llvm-install/bin:$PATH

You may wish to add -j n to the make command line with n set to the number of CPUs to perform some of the build steps in parallel to reduce the build time.

This will install to an llvm-install directory off the root directory created previously and add it to the front of the PATH so i t can be found in the Mozart 2 build.

Building the pre-generated targets

You may want to move the previous pre-generated files located in mozart2/vm/vm/main/cached and in mozart2/vm/boostenv/main/cached to be sure they are not used in the new build. The following steps will perform the build of the pre-generated sources:

$ mkdir build
$ cd build
$ CXXFLAGS=-I`pwd`/../llvm-install/include cmake -DCMAKE_BUILD_TYPE=Release \
        -DCMAKE_INSTALL_PREFIX:PATH=/path/to/install \
$ make -B gensources genboostsources VERBOSE=1

The generated sources are located in build/vm/boostenv/main/generated and in build/vm/vm/main/generated. You can check if they correspond with the previous ones and change them accordingly. You could then proceed with the build containing the pre-generated sources.

Alternatively, you can complete the build by running the following :

$ make
$ make install

Change /path/to/install to the location where Mozart 2 should be installed.

On distros like Arch Linux and Nixos, Boost static libraries have been removed. Please add -DMOZART_BOOST_USE_STATIC_LIBS=OFF to your cmake command.

CMake Options

Other cmake options can be given with the form -DOPTION=Value. The table below lists the options you can add.

OptionValueRequired if
CMAKE_BUILD_TYPE Debug or Release Always
CMAKE_INSTALL_PREFIX Where `make install` should install -
CMAKE_CXX_COMPILER Path to your C++ compiler Mac OS: must be forced to clang++
CMAKE_MAKE_PROGRAM Path to your make program Windows: must be forced to MinGW make
GTEST_SRC_DIR and GTEST_BUILD_DIR Paths to the source and build directories of GTest If not present, GTest will be downloaded and built automatically
LLVM_SRC_DIR and LLVM_BUILD_DIR Paths to the source and build directories of LLVM If not present, LLVM will be downloaded and built automatically
CLANG_SRC_DIR Paths to the source directory of CLANG Use this if cmake cannot find the CLANG sources
EMACS Path to the Emacs executable Required on Windows (on Unix it can be found automatically, in principle)
CPACK_GENERATOR Comma-separated list of generators for CPack Optional, see CPack documentation
BOOST_ROOT Path to the boost root May be used if cmake fails to find boost
CMAKE_CXX_COMPILER_ARCHITECTURE_ID Indicates in which architecture the system is compiled Required with recent version of Boost (due to some incompability with cmake)

There is a NixOS expression to install the Mozart2 binary: nix-env -i mozart-binary