Skip to content
No description or website provided.
C++ C Emacs Lisp XSLT Shell Perl Other
Latest commit f7589b8 Nov 26, 2013 @ggutierrez ggutierrez Merge pull request #173 from grasGendarme/patch-1
Update for recent aquamacs
Failed to load latest commit information.
contrib Now Mozart compile mostly warning-free again! Jan 8, 2009
design Fixes Space Leaks from G and Y registers trapped in thread stacks. Sep 12, 2003
doc Added documentation for the backward compatibility of the unpickler May 1, 2009
misc
platform
share Some support for easy building on 64-bit Linux (but still as a 32-bit… Jun 15, 2009
.gitignore removed emacs backup files May 18, 2011
LICENSE
LICENSE-others Added list of files that do not fall under Mozart license (fixes #668) Mar 26, 2001
LICENSE.html Changed copyright. Jan 24, 2003
LICENSE.rtf Changed copyright. Jan 24, 2003
Makefile.in cleaned up - no 'std' targets (note that '--with-stdlib' is still May 18, 2004
OZVERSION final merge of mozdss-branch to the trunk Jun 26, 2008
README Updated build instructions for Debian/Ubuntu x64 in README Jan 24, 2013
aclocal.m4 Added the time of build to the OPI greeting. Dec 30, 2008
config.guess updated config.guess and config.sub Jul 16, 2008
config.sub updated config.guess and config.sub Jul 16, 2008
configure Added the time of build to the OPI greeting. Dec 30, 2008
configure.in merged from release branch Jul 25, 2002
install-sh lastest versions Sep 25, 1997
mkinstalldirs
reconf.sh mozart.ps.uni-sb.de --> www.mozart-oz.org Jan 21, 1999

README

For more information on Oz and Mozart see

	http://www.mozart-oz.org

We would appreciate if you could send E-mail to

	download@mozart-oz.org

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 lib32z1-dev lib32gmp3-dev
$ mkdir -p ~/dev/mozart
$ cd ~/dev/mozart
$ git clone git://github.com/mozart/mozart.git
$ ./configure --prefix=/home/<username>/oz --disable-contrib-gdbm
$ 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
$ 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
$ 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 : http://www.mozart-oz.org/documentation/install/index.html
Something went wrong with that request. Please try again.