No description, website, or topics provided.
Pull request Compare This branch is 2 commits behind mozart:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
adt
net
os
ozmake
wp
xml
.gitignore
Generator.oz
HOWTO
Makefile.in
Mapping.oz
README
String.oz
configure
configure.in
cygpath.sh
generator.html
index.html
makefile.oz
mapping.html
mozart-stdlib.hhc
ozdoc.css
page.gif
string.html

README

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