diff --git a/.README.in b/.README.in new file mode 100644 index 000000000..32e531852 --- /dev/null +++ b/.README.in @@ -0,0 +1,69 @@ +This directory contains the source distribution for the University of Melbourne +Mercury compiler, version @VERSION@. + +The Mercury implementation is free software, but it is Copyright (C) +1994-1997 The University of Melbourne. It is distributed under the terms +of the GNU General Public License. See the file COPYING for copying +permission. The Mercury library and runtime (the files in the library +and runtime subdirectories) are distributed under the terms of the GNU +Library General Public License. See the file COPYING.LIB for copying +permissions for those files. (If those licencing arrangements are not +satisfactory, please contact us! We are willing to offer alternative +arrangements, if the need should arise.) The subdirectory `boehm_gc' +contains a conservative garbage collector distributed by Hans Boehm - +see the file README in that directory for copyright information about +those files. A few files (config*) are derived from code that is +copyright by the Free Software Foundation, Inc. The program `texi2html' +in the doc directory is copyright by CERN; see the copyright notice at +the end of that file. The `Togl' library in extras/graphics/Togl-1.2 +is copyright by Brian Paul and Ben Bederson; see the file +extras/graphics/Togl-1.2/LICENCE. + +THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY +EXPRESSED OR IMPLIED. ANY USE IS AT YOUR OWN RISK. See the file COPYING. + +See the file INSTALL for installation instructions. +But first read README.AIX, README.BSDI, README.IRIX-5, README.Linux, +or README.MS-Windows if you are installing on a machine running +AIX, BSD Unix, IRIX 5, Linux, or Microsoft Windows respectively. + +The documentation sources are in the `doc' subdirectory. The installation +process will install INFO, HTML, and DVI versions in the locations specified +in the file Mmake.common - by default these locations are +/usr/local/mercury-@VERSION@/info, +/usr/local/mercury-@VERSION@/lib/mercury/html, +and /usr/local/mercury-@VERSION@/lib/mercury/doc respectively. +The installation process will also install Unix-style man pages - +by default they will be installed in /usr/local/mercury-@VERSION@/man/man1. +The files RELEASE_NOTES, NEWS, HISTORY, LIMITATIONS, and BUGS +also contain useful information. If you're interested in looking +at the source code, the file compiler/notes/compiler_design.html is +a good place to start. + +The `samples' directory contains some example Mercury programs. +There are also some additional Mercury programs and libraries +in the `extras' directory. + +For more information about Mercury, see the Mercury WWW home page at +http://www.cs.mu.oz.au/mercury, or send mail to mercury@cs.mu.oz.au. + +If you would like to join the Mercury mailing lists (there are two, +mercury-users for general discussion, and mercury-announce for +announcements), send mail with "subscribe" in the body to +mercury-users-request@cs.mu.oz.au or mercury-announce-request@cs.mu.oz.au +(respectively). + +Please send bug reports, enhancement requests, suggestions for improvements, +and any other feedback to mercury-bugs@cs.mu.oz.au or mercury@cs.mu.oz.au. +If you find something you don't like, please tell us. +If you find something you do like, please tell the world! + +The Mercury distribution is available via anonymous ftp or WWW +from the following locations: + + Australia: + ftp://turiel.cs.mu.oz.au/pub/mercury + USA: + ftp://ftp.cs.sunysb.edu/pub/XSB/mercury + Europe: + ftp://ftp.csd.uu.se/pub/Mercury diff --git a/BUGS b/BUGS index 1996880cd..5cb617bf8 100644 --- a/BUGS +++ b/BUGS @@ -11,10 +11,17 @@ able to reproduce the problem. Make sure that all bug reports are fully self-contained. Below is a list of the known outstanding bugs. -We'll try to record any other bugs that are discovered in 0.6 +We'll try to record any other bugs that are discovered on our WWW page . See also the LIMITATIONS file. +Note: please do not be alarmed by the fact that this software has some bugs. +ALL useful software has bugs. During the development of the Mercury +implementation we have found bugs in gcc, as, ld, the dynamic loader, +and even the OS kernel. We hope that by listing the known outstanding bugs +here we are doing our users a service. It would be disappointing if +anyone were to infer the wrong thing from it. + ----------------------------------------------------------------------------- Subject: bug report - Inf and NaN Date: Wed, 4 Oct 1995 02:48:19 +1000 (EST) diff --git a/Mmake.common.in b/Mmake.common.in index de77f85cc..389bcf456 100644 --- a/Mmake.common.in +++ b/Mmake.common.in @@ -17,6 +17,10 @@ #-----------------------------------------------------------------------------# +include $(MERCURY_DIR)/VERSION + +#-----------------------------------------------------------------------------# + # Specify the locations for installing things. # These directories can all be modified independantly. # In particular, you might want to find a better place for the DVI and diff --git a/Mmakefile b/Mmakefile index 69199d21c..df52d2f8b 100644 --- a/Mmakefile +++ b/Mmakefile @@ -11,8 +11,6 @@ MAIN_TARGET=all MERCURY_DIR=. include Mmake.common -VERSION=0.6 - #-----------------------------------------------------------------------------# SUBDIRS = scripts util boehm_gc runtime library compiler doc profiler @@ -71,7 +69,7 @@ depend_profiler: #-----------------------------------------------------------------------------# .PHONY: all -all: $(SUBDIRS) +all: $(SUBDIRS) README INSTALL .PHONY: scripts scripts: @@ -146,6 +144,12 @@ config.status: configure Mmake.common: Mmake.common.in config.status ./config.status +README: .README.in VERSION + sed 's/@VERSION@/$(VERSION)/g' .README.in > README + +INSTALL: .INSTALL.in VERSION + sed 's/@VERSION@/$(VERSION)/g' .INSTALL.in > INSTALL + #-----------------------------------------------------------------------------# # Generally you should do a `mmake realclean' before doing `mmake tar'. @@ -189,6 +193,7 @@ tar: mv mercury-$(VERSION) mercury \ ) +.PHONY: version version: @echo $(VERSION) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index b6e28a0de..5b3480830 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -1,5 +1,5 @@ -We are pleased to announce the release of version 0.6 of the Mercury system. +We are pleased to announce the release of version 0.7 of the Mercury system. Mercury is a new general-purpose programming language, designed and implemented by a small group of researchers at the University of @@ -13,7 +13,7 @@ traditional logic programming syntax, but also allows the syntactic convenience of user-defined functions, smoothly integrating logic and functional programming into a single paradigm. -For a list of what's new in release 0.6, see the NEWS file. +For a list of what's new in this release, see the NEWS file. The main features of Mercury are: diff --git a/VERSION b/VERSION new file mode 100644 index 000000000..36c801435 --- /dev/null +++ b/VERSION @@ -0,0 +1,42 @@ +# This is the central place where the version number is kept. +# (But note that the version number for the last major release is +# hard-coded in the RELEASE_NOTES file.) +# +# The version number must be a valid file name, i.e. it should +# not contain whitespace or special characters. Stick to [A-Za-z0-9._-]. +# +# Please assign version numbers according to the scheme explained below. + +VERSION=DEV + +# We use the following general scheme for version numbers: +# +# Pattern Examples Explanation +# ------- ------- ----------- +# *.* 0.6, 0.7 Major releases. +# +# *.*.* 0.6.1 Bug-fix releases. +# +# rotd- rotd-1997-07-28 "Release-of-the-day" releases. +# These releases are snapshots of our +# development sources built automatically +# after they have passed our nightly +# automatic test process. +# +# - "Unofficial" releases (releases of patched +# 0.6.2-1 versions by anyone other than the Mercury +# team). BASE should be the official +# release on which it is based, +# e.g. "0.7", or "rotd-97-07-28". +# PATCH should be something uniquely +# identifying this release. +# (In the example "0.6.2-1", PATCH was "1", +# which is not a good choice. Something like +# "0.6.2-debian1" would have been a better name.) +# +# DEV DEV Generic version number used internally by +# the Mercury team for development versions. +# +# DEV- DEV-blah Version numbers used internally by +# the Mercury team for specific development +# versions. diff --git a/configure.in b/configure.in index eb88c1a26..ece8602ca 100644 --- a/configure.in +++ b/configure.in @@ -40,7 +40,8 @@ if test "$SUPPRESS_LOG_FILE_RECURSION" != "yes"; then fi #-----------------------------------------------------------------------------# AC_CONFIG_HEADER(runtime/conf.h) -AC_PREFIX_DEFAULT(/usr/local/mercury-0.6) +. ./VERSION +AC_PREFIX_DEFAULT(/usr/local/mercury-$VERSION) AC_CANONICAL_HOST FULLARCH="$host" AC_SUBST(FULLARCH)