isabelle: Admin/polyml-5.1/README@dca691610489 (annotated)

25181 7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	1
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	2	This distribution of Poly/ML 5.1 has been compiled from the original
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	3	sources as follows:
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	4
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	5	cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	6	cd polyml
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	7	cvs up -dAP
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	8	./configure --prefix=/tmp/polyml --without-x
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	9	make
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	10	make install
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	11
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	12	Now /tmp/polyml/bin/* and /tmp/polyml/lib/* can be moved to the
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	13	platform-specific target directory (e.g. polyml-5.1/x86-linux).
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	14
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	15	Makarius
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	16	24-Oct-2007
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	17
7c86f9ed8588 README for polyml-5.1 binary distribution; wenzelm parents: diff changeset	18	$Id$

author	wenzelm
	Sat, 10 Nov 2007 18:36:06 +0100
changeset 25378	dca691610489
parent 25181	7c86f9ed8588
child 25431	f8f46c3b7551
permissions	-rw-r--r--