mozart / mozart-stdlib

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

To install the Mozart Standard Library, you should have Mozart already
installed on your system. Let us assume that Mozart is installed in
$PREFIX. 

Now, to build the Standard Library, it is a good idea to do it in a
different directory from the sources. Let us consider $STDLIB for the
sources and $BUILD_STDLIB for building. You should do the following:

cd $BUILD_STDLIB
$STDLIB/configure --prefix=$PREFIX
make
make install

About


Languages

Language:HTML 81.9%Language:Oz 16.2%Language:Roff 0.6%Language:XSLT 0.5%Language:Makefile 0.4%Language:Shell 0.2%Language:CSS 0.1%