Getting and installing Mathemagix

Extensive information on how to download Mathemagix and install the software is available on our website www.texmacs.org. For the moment, we recommend compilation from the sources. In order to go short, the following steps should be followed in order to obtain a working version of the compiler mmc and the interpreter mmi:

  1. Verify that all dependencies are installed on your system. In particular, it is recommended that you have recent versions of Libtool, Readline, Gmp, Mpfr and TeXmacs installed on your computer. You will also need Svn to check out the source code.

  2. In a shell session, check out the most recent development version of Mathemagix using Svn, by issuing the command

    svn checkout https://subversion.renater.fr/anonscm/svn/mmx/

    This should create a directory mmx. Go to this directory, using

    cd mmx
  3. Configure and build the software using the commands

    ./configure
    make
  4. Assuming root privileges, install the software in /usr/local using

    make install
  5. Enjoy using the software!

Remark 1. If you want to install the software at a non standard location install-dir (which is in particular the case if you do not have root privileges on your machine), then you should replace the configuration line in step ? by

./configure --prefix=install-dir

Of course, this requires that the directory install-dir/bin is in your path.

Remark 2. Alternatively, you may not install the software at all and run the software directly from the place where it was built. In that case, you may run the command

source set-devel-path

after step 3 instead of doing a make install. This will add the necessary directories to your PATH. However, you will have to rerun the script every time that you open a new shell session.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License. If you don't have this file, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.