mozart / mozart-stdlib Goto Github PK

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