mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Delete redundant information in LICENSE.

Browse Source 
LICENSE:
    Refer to boehm_gc/README.md for copyright information,
    to reduce duplicated information that we forget to update.
This commit is contained in:
Peter Wang
2018-02-25 11:34:02 +11:00
parent 05689ec08d
commit a4bacb47ea
1 changed files with 8 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
LICENSE
View File

@@ -16,41 +16,15 @@ if the need should arise.
--------
The subdirectory `boehm_gc' contains a slightly modified copy of version
7.4.2 of the conservative garbage collector distributed by Hans Boehm:
The subdirectory `boehm_gc' contains a slightly modified copy of the
Boehm-Demers-Weiser Garbage Collector. See boehm_gc/README.md for
copyright information.
Copyright (c) 1988, 1989 Hans-J. Boehm, Alan J. Demers
Copyright (c) 1991-1996 by Xerox Corporation. All rights reserved.
Copyright (c) 1996-1999 by Silicon Graphics. All rights reserved.
Copyright (c) 1999-2011 by Hewlett-Packard Development Company.
The file boehm_gc/linux_threads.c is also
Copyright (c) 1998 by Fergus Henderson. All rights reserved.
The files boehm_gc/Makefile.am, and boehm_gc/configure.in are
Copyright (c) 2001 by Red Hat Inc. All rights reserved.
THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
OR IMPLIED. ANY USE IS AT YOUR OWN RISK.
Permission is hereby granted to use or copy this program
for any purpose, provided the above notices are retained on all copies.
Permission to modify the code and to distribute modified code is granted,
provided the above notices are retained, and a notice that the code was
modified is included with the above copyright notice.
A few files have other copyright holders. A few of the files needed
to use the GNU-style build procedure come with a modified GPL license
that appears not to significantly restrict use of the collector, though
use of those files for a purpose other than building the collector may
require the resulting code to be covered by the GPL.
The atomic_ops library (libatomic_ops) contains some code that
is covered by the GNU General Public License, but is not needed by, nor
linked into the collector library or Mercury. It is included here only
because the libatomic_ops distribution is included in its entirety.
The atomic_ops library (libatomic_ops) contains some code that
is covered by the GNU General Public License, but is not needed by, nor
linked into the collector library or Mercury. It is included here only
because it is simpler to include the libatomic_ops distribution in its
entirety.
--------