mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-16 14:25:56 +00:00
Code Issues Projects Releases Wiki Activity

Updated the NEWS, README*, and RELEASE_NOTES files.

Browse Source 
mercury/*:
	Updated the NEWS, README*, and RELEASE_NOTES files.
	README.64-bit was obsolete.
This commit is contained in:
Fergus Henderson
1995-09-03 16:19:22 +00:00
parent d286426475
commit ef8e182372
4 changed files with 50 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
NEWS
View File

@@ -4,13 +4,15 @@ NEWS for Mercury release 0.4
Higher-order predicates and lambda expressions are now implemented.
(This means that `call/{1,2,3}' and `solutions/2' are now useable.)
Unique modes are now partially implemented.
Unifications with partially instantiated modes are now implemented.
Partially instantiated modes are now closer to being fully implemented.
The installation process is more standard (configure; make; make install).
Autoconfiguration is a bit more robust.
`msc' and `mnc' now produce somewhat smaller object files.
Error messages are a little better in some cases.
Fixed a few code generation bugs.
Ported to DEC Alpha/OSF.
Ported to DEC Alpha/OSF and BSDI BSD/386.
Improved efficiency of the 386 port by about 50%
(the asm_fast.gc mode now works on the 386).
We generate better code for calls to `\='.
We generate better code for `compare/3'.
A few other new optimizations.
@@ -18,5 +20,4 @@ The profiler now works (documentation is sparse, though - see profiler/README).
Some new library predicates, including `string__format' (like C's sprintf).
`set__join/2' has been renamed as `set__power_union/2'.
`list__sort/2' has been renamed as `list__sort_and_remove_dups/2'.
There is a new `list__sort/2' which does *not* remove duplicates.
There is a new `list__sort/2' which does not remove duplicates.

33
README.BSDI Normal file
View File

@@ -0,0 +1,33 @@
When porting Mercury to a BSDI BSD/386 1.1 system,
I had problems with `ar' not handling long filenames.
(The error message was "ar: libmercury.a: invalid file type".)
If you get a similar error, try the following patch.
--- library/Mmake Sat Jul 15 14:54:49 1995
+++ /home/mulga/pgrad/fjh/mercury/src/mercury-0.3/library/Mmake Mon Sep 4 04:13:18 1995
@@ -109,7 +109,10 @@
libmercury : libmercury.a libmercury.$(SO) library.init
libmercury.a : $(library.os)
- ar cr libmercury.a $(library.os)
+ # ar cr libmercury.a $(library.os)
+ -ln -s mercury_builtin.o m_builtin.o
+ ar cr libmercury.a \
+ `echo $(library.os) | sed 's/mercury_builtin/m_builtin/'`
$(RANLIB) libmercury.a
libmercury.so : $(library.pic_os)
--- boehm_gc/Makefile Sun Apr 2 19:11:25 1995
+++ /home/mulga/pgrad/fjh/mercury/src/mercury-0.3/boehm_gc/Makefile Sun Jan 1 01:01:29 1995
@@ -138,7 +138,9 @@
rm -f on_sparc_sunos5
./if_mach SPARC SUNOS5 touch on_sparc_sunos5
./if_mach SPARC SUNOS5 $(AR) rus gc.a $(OBJS) dyn_load.o
- ./if_not_there on_sparc_sunos5 $(AR) ru gc.a $(OBJS) dyn_load.o
+ -ln -s solaris_threads.o s_threads.o
+ ./if_not_there on_sparc_sunos5 $(AR) ru gc.a \
+ `echo $(OBJS) | sed 's/solaris_threads/s_threads/'` dyn_load.o
./if_not_there on_sparc_sunos5 $(RANLIB) gc.a || cat /dev/null
# ignore ranlib failure; that usually means it doesn't exist, and isn't needed

18
README.IRIX-5
View File

@@ -11,11 +11,12 @@ To use non-local gotos, your Irix machine needs to have the nonshared
versions of the C standard library installed (in /usr/lib/nonshared),
and you need also need a version of `libgcc.a' that has been compiled
with `-mno-abicalls' in /usr/lib/nonshared. To create that, you need
to replace the `-g1' with `-mno-abicalls' in the definition of
LIBGCC2_CFLAGS in the Makefile in the gcc source directory, then type
`make libgcc.a', and then copy libgcc.a to /usr/lib/nonshared.
[To use a different directory than /usr/lib/nonshared, you will
have to edit `configure', `scripts/ml.in', and `scripts/mgnuc.in'.]
to obtain a copy of the gcc source distribution, replace the `-g1' with
`-mno-abicalls' in the definition of LIBGCC2_CFLAGS in the Makefile in
the gcc source directory, type `make libgcc.a', and then copy libgcc.a
to /usr/lib/nonshared. [To use a directory other than
/usr/lib/nonshared, you will have to edit `configure', `scripts/ml.in',
and `scripts/mgnuc.in'.]
Once you have done that, you can reinstall Mercury;
`configure' should detect that using gcc labels now works.
@@ -31,10 +32,3 @@ give you small executables and short link times. But for
large programs, you should set GRADE=asm_fast.gc in your Mmake file
for considerably improved performance.
XXX
You will also need to change
AS=as
to
AS=as -non_shared
in boehm_gc/Makefile to get asm_fast.gc working.

10
RELEASE_NOTES
View File

@@ -1,3 +1,4 @@
We are pleased to announce the first public release of the Mercury system.
Mercury is a new, purely declarative logic programming language.
@@ -137,10 +138,11 @@ than all previous Prolog systems known to us. However, the system does
not need these extensions, and will work in their absence.
The current Mercury system runs on Unix machines. It is known to run on
Solaris 2.x, IRIX 5.x, Ultrix 4.3 and Linux. It should run without too
many changes on other Unix variants as well. The current distribution
uses gcc as the compiler. We require gcc version 2.6.3 or higher, due
to a bug in some earlier versions of gcc. You will also need GNU make.
Solaris 2.x, IRIX 5.x, Ultrix 4.3, BSDI 1.1, and Linux. It should run
without too many changes on other Unix variants as well. The current
distribution uses gcc as the compiler. We require gcc version 2.6.3 or
higher, due to a bug in some earlier versions of gcc. You will also
need GNU make.
This first Mercury distribution contains: