No description, website, or topics provided.
C++ Oz C Makefile Shell Roff Other
Pull request Compare This branch is 1 commit behind mozart:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
contrib
design
doc
misc
platform
share
.gitignore
LICENSE
LICENSE-others
LICENSE.html
LICENSE.rtf
Makefile.in
OZVERSION
README
aclocal.m4
config.guess
config.sub
configure
configure.in
install-sh
mkinstalldirs
reconf.sh

README

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 git://github.com/mozart/mozart.git
$ ./configure --prefix=/home/<username>/oz --disable-contrib-gdbm --enable-modules-static
$ make && make install
amend and append the below to your ~/.profile file
export OZHOME=/home/<username>/oz
export PATH=$PATH:$OZHOME/bin

Building mozart for OS X
-------------------------------
install homebrew https://github.com/mxcl/homebrew + xcode dependency
$ brew install git emacs gmp gdbm
$ mkdir ~/oz
$ mkdir -p ~/dev/mozart
$ cd ~/dev/mozart
$ git clone git://github.com/mozart/mozart.git
$ mkdir build
$ cd build
$ ../mozart/configure --prefix=/Users/<username>/oz --enable-modules-static
$ make && make install
amend and append the below to the ~/.bash_profile file
export OZHOME=/Users/<username>/oz
export PATH=$PATH:$OZHOME/bin

Building mozart in OS X (X86_64)
--------------------------------
Install gmp:
$ curl -O  ftp://ftp.gmplib.org/pub/gmp-4.3.2/gmp-4.3.2.tar.bz2
$ tar xvfj gmp-4.3.2.tar.bz2
$ cd gmp-4.3.2
$ ./configure CFLAGS="-arch i386" CXXFLAGS="-arch i386" ABI="32" --prefix=/usr/local
$ make
$ sudo make install

Install Mozart:
$ git clone git://github.com/mozart/mozart.git
$ cd mozart
$ export CFLAGS="-arch i386"
$ export CPPFLAGS="-arch i386"
$ export LDFLAGS="-arch i386"
$ ./configure  --prefix=/usr/local --disable-contrib-gdbm --disable-doc --disable-contrib-micq --enable-modules-static
$ make
$ sudo make install

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