GitHub - doublec/mozart-stdlib

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 358 Commits
adt		adt
net		net
os		os
ozmake		ozmake
wp		wp
xml		xml
.gitignore		.gitignore
Generator.oz		Generator.oz
HOWTO		HOWTO
Makefile.in		Makefile.in
Mapping.oz		Mapping.oz
README		README
String.oz		String.oz
configure		configure
configure.in		configure.in
cygpath.sh		cygpath.sh
generator.html		generator.html
index.html		index.html
makefile.oz		makefile.oz
mapping.html		mapping.html
mozart-stdlib.hhc		mozart-stdlib.hhc
ozdoc.css		ozdoc.css
page.gif		page.gif
string.html		string.html

Repository files navigation

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