Skip to content
/ mozart Public
forked from mozart/mozart

A fork of the Mozart/Oz v1.3.2 VM for 64-bit systems

License

Unknown and 3 other licenses found

Licenses found

Unknown
LICENSE
Unknown
LICENSE.html
Unknown
LICENSE.rtf
Unknown
LICENSE-others
Notifications You must be signed in to change notification settings

doublec/mozart

 
 

Repository files navigation

Note: This is a version of the Mozart/Oz virtual machine forked from
version 1.3.2 and modified to work on 64-bit systems. It has been
lightly tested on Linux and Mac OS. It is a work in progress.

I chose to fork from v1.3.2 to keep compatibility with the book
"Concepts, Techniques, and Models of Computer Programming".

Documentation for the v1.3.2 system is available at:
  https://web.archive.org/web/20080310002155/http://www.mozart-oz.org/documentation/

You may wish to also try the rewrite of the virtual machine knows as
Mozart 2.0: https://github.com/mozart/mozart2

For more information on Oz and Mozart see

        http://mozart2.org/

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!

Fast track compilation for Ubuntu.
----------------------------------

Ubuntu version 21.10 and above capture the <ctrl+.> keybinding for
entering emoji. Use `ibus-setup` to change the keybinding so that the
Oz IDE can receive it.

This branch of Mozart has 64-bit support. Build a 64-bit Mozart/Oz
with the following commands:

    $ sudo apt-get install tk-dev tcl-dev build-essential \
        libc6-dev zlib1g-dev libgmp-dev
    $ mkdir mozart
    $ cd mozart
    $ git clone --branch x86_64_wip https://github.com/doublec/mozart
    $ mkdir build
    $ cd build 
    $ ../mozart/configure --disable-contrib-gdbm --prefix=/tmp/oz
    $ make && make install
    $ export OZHOME=/tmp/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. For `gcc` I use `gcc-13` but newer versions of `gcc` should
work.

Install homebrew https://brew.sh + xcode dependency

    $ brew install --cask emacs
    $ brew install git gmp gdbm flex tcl-tk gcc-13

Build and install this branch of Mozart/Oz

    $ mkdir mozart
    $ cd mozart
    $ git clone --branch x86_64_wip https://github.com/doublec/mozart.git
    $ mkdir build
    $ cd build
    $ CC="gcc-13" CXX="g++-13" \
      INCLUDE=/usr/local/include LIB=/usr/local/lib \
      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 -L/usr/local/lib" \
      CPPFLAGS="-I/usr/local/opt/flex/include -I/usr/local/include" \
      ../mozart/configure --with-tcl=/usr/local/Cellar/tcl-tk/8.6.13_5/ \
       --with-tclinclude=/usr/local/Cellar/tcl-tk/8.6.13_5/include/tcl-tk/ \
       --with-tk=/usr/local/Cellar/tcl-tk/8.6.13_5/ \
       --with-tkinclude=/usr/local/Cellar/tcl-tk/8.6.13_5/include/tcl-tk/ \
       --prefix=/tmp/oz 

Be sure to change the `prefix` to where you want Mozart/Oz to be installed.

    $ make 
    $ make install

Set the following environment variables before running (changing the install path to the `prefix` used previously):

    $ export OZHOME=/tmp/oz
    $ export PATH=$PATH:$OZHOME/bin

To run:

    $ oz

In the resulting Emacs windows you can test by entering:

    {Browse 1+1}

Then either pressing Ctrl+. Ctrl+l, or choosing one of the evaulation
options in the menu. This should open the Mozart/Oz system browser
showing the answer.

About

A fork of the Mozart/Oz v1.3.2 VM for 64-bit systems

Resources

License

Unknown and 3 other licenses found

Licenses found

Unknown
LICENSE
Unknown
LICENSE.html
Unknown
LICENSE.rtf
Unknown
LICENSE-others

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 42.6%
  • Oz 40.9%
  • C 7.9%
  • Makefile 1.5%
  • Shell 1.5%
  • Roff 1.2%
  • Other 4.4%