Mozart installation on FreeBSD

Mozart 1.3.0 is available as a FreeBSD port. Please ensure you have a ports collection more recent than 2004-04-18 (note: updating your ports with cvsup and as root do “cd /usr/ports/lang/mozart && make install clean

Update

Since there was been some problems reported with the ports, you can also follow these instructions

To install Mozart 1.3.2 on FreeBSD 7.0RC2 you can follow this procedure (do not try to use the FreeBSD port):

Pre-install phase:

• Install the last version of GMP (ftp://ftp.gnu.org/pub/gnu/gmp/gmp-4.2.2.tar.gz)
• Install emacs
• Add the path to gmp.h in CPATH (e.g., setenv CPATH ${CPATH}:/usr/local/include/:/usr/include)
• Create the Makefile with the CORRECT paths to your gmp library and your tk: ./configure --with-gmp=/usr/local/lib --with-tkinclude=/usr/local/include/tk8.4/

compile: gmake

Install phase: gmake install

Post-Install: add path to Oz in $PATH

Enjoy!