forked from mozart/mozart
-
Notifications
You must be signed in to change notification settings - Fork 1
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
doublec/mozart
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
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 0
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%