Mozart

For more information on Oz and Mozart see

https://mozart.github.io/

We would appreciate if you could send E-mail to the mozart-users mailing list:

    https://groups.google.com/forum/#!forum/mozart-users

with some brief information for what you plan to use Mozart.

Have lots of fun!

-=Compilation=-

Building mozart for Arch Linux.

sudo packer -S mozart-git

Building mozart for Ubuntu/Debian (x64).

$ sudo apt-get install emacs flex bison tk-dev build-essential g++-multilib zlib1g-dev:i386 libgmp-dev:i386 $ mkdir -p ~/dev/mozart $ cd ~/dev/mozart $ git clone https://github.com/mozart/mozart $ mkdir build $ cd build $ ../mozart/configure --prefix=$HOME/oz --disable-contrib-gdbm $ make && make install $ export OZHOME=$HOME/oz $ export PATH=$PATH:$OZHOME/bin

Change the prefix path and OZHOME to where you want it installed. Run oz to start the IDE.

Building mozart for OS X

In the instructions below, replace <username> with your Mac OS username.

Install homebrew https://brew.sh + xcode dependency $ brew install emacs --with-cocoa $ brew install git gmp gdbm flex tcl-tk

Install 32-bit gmp: $ curl -O https://gmplib.org/download/gmp/gmp-6.1.2.tar.bz2 $ tar xvf gmp-6.1.2.tar.bz2 $ cd gmp-6.1.2 $ ./configure CFLAGS="-arch i386" CXXFLAGS="-arch i386" ABI="32" --prefix=/Users/<username>/oz $ make $ sudo make install

Build and install Mozart/Oz $ git clone https://github.com/mozart/mozart.git $ CXX="g++ -Wno-deprecated"
PATH="/usr/local/opt/tcl-tk/bin:/usr/local/opt/flex/bin:$PATH"
PKG_CONFIG_PATH="/usr/local/opt/tcl-tk/lib/pkgconfig"
LDFLAGS="-L/usr/local/opt/flex/lib"
CPPFLAGS="-I/usr/local/opt/flex/include"
./configure --prefix=/Users/<username>/oz --enable-modules-static
--with-tcl=/usr/local/Cellar/tcl-tk/8.6.8/lib/
--with-tk=/usr/local/Cellar/tcl-tk/8.6.8/lib $ make $ make install amend and append the below to the ~/.bash_profile file export OZHOME=/Users/<username>/oz export PATH=$PATH:$OZHOME/bin

In case of any errors please send a message to the hackers list and include the output of the following commands: $ uname -a $ gcc --version $ lipo -info /usr/local/lib/libgmp.dylib

Installation.

Please refer to this website for more detail : https://mozart.github.io/mozart-v1/doc-1.4.0/install/index.html