mozart / mozart
Licence: other
No description, website, or topics provided.
Stars: ✭ 76
Programming Languages
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 https://github.com/mozart/mozart $ mkdir build $ cd build $ ../mozart/configure --prefix=$HOME/oz --disable-contrib-gdbm $ make && make install $ export OZHOME=$HOME/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. Install homebrew https://brew.sh + xcode dependency $ brew install emacs --with-cocoa $ brew install git gmp gdbm flex tcl-tk Install 32-bit gmp: $ curl -O https://gmplib.org/download/gmp/gmp-6.1.2.tar.bz2 $ tar xvf gmp-6.1.2.tar.bz2 $ cd gmp-6.1.2 $ ./configure CFLAGS="-arch i386" CXXFLAGS="-arch i386" ABI="32" --prefix=/Users/<username>/oz $ make $ sudo make install Build and install Mozart/Oz $ git clone https://github.com/mozart/mozart.git $ CXX="g++ -Wno-deprecated" \ 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" \ CPPFLAGS="-I/usr/local/opt/flex/include" \ ./configure --prefix=/Users/<username>/oz --enable-modules-static \ --with-tcl=/usr/local/Cellar/tcl-tk/8.6.8/lib/ \ --with-tk=/usr/local/Cellar/tcl-tk/8.6.8/lib $ make $ make install amend and append the below to the ~/.bash_profile file export OZHOME=/Users/<username>/oz export PATH=$PATH:$OZHOME/bin 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
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].