<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>Lisaac Compiler Runtime Library Exception</title>
</head>
<body>
<h1 style="text-align: center;">Lisaac Compiler Runtime Library Exception</h1>
<p style="text-align: center;">Version 3.1, 31 March 2009</p>
<p style="text-align: center;"><em>(Based on the <a href="http://www.gnu.org/licenses/gcc-exception.html">GCC Runtime Library Exception</a>)</em></p>
<p>Copyright © 2009 Isaac Project.
<br/><del>Copyright © 2009 Free Software Foundation, Inc.
<<a href="http://fsf.org/">http://fsf.org/</a>></del></p>
<p>Everyone is permitted to copy and distribute verbatim copies of this license document, but changing it is not allowed.</p>
<p>This Lisaac Compiler Runtime Library Exception ("Exception") is an additional
permission under section 7 of the GNU General Public License, version
3 ("GPLv3"). It applies to a given file (the "Runtime Library") that
bears a notice placed by the copyright holder of the file stating that
the file is governed by GPLv3 along with this Exception.</p>
<p>When you use Lisaac Compiler to compile a program, Lisaac Compiler may combine portions of
certain Lisaac Compiler header files and runtime libraries with the compiled
program. The purpose of this Exception is to allow compilation of
non-GPL (including proprietary) programs to use, in this way, the
header files and runtime libraries covered by this Exception.</p>
<h2><a name="section0"></a>0. Definitions.</h2>
<p>A file is an "Independent Module" if it either requires the Runtime
Library for execution after a Compilation Process, or makes use of an
interface provided by the Runtime Library, but is not otherwise based on
the Runtime Library.</p>
<p>"Lisaac Compiler" means a version of the GNU Compiler Collection, with or
without modifications, governed by version 3 (or a specified later
version) of the GNU General Public License (GPL) with the option of
using any subsequent versions published by the FSF.</p>
<p>"GPL-compatible Software" is software whose conditions of
propagation, modification and use would permit combination with Lisaac Compiler in
accord with the license of Lisaac Compiler.</p>
<p>"Target Code" refers to output from any compiler for a real or
virtual target processor architecture, in executable form or suitable
for input to an assembler, loader, linker and/or execution phase.
Notwithstanding that, Target Code does not include data in any format
that is used as a compiler intermediate representation, or used for
producing a compiler intermediate representation.</p>
<p>The "Compilation Process" transforms code entirely represented in
non-intermediate languages designed for human-written code, and/or in
Java Virtual Machine byte code, into Target Code. Thus, for example,
use of source code generators and preprocessors need not be considered
part of the Compilation Process, since the Compilation Process can be
understood as starting with the output of the generators or
preprocessors.</p>
<p>A Compilation Process is "Eligible" if it is done using Lisaac Compiler, alone
or with other GPL-compatible software, or if it is done without using
any work based on Lisaac Compiler. For example, using non-GPL-compatible
Software to optimize any Lisaac Compiler intermediate representations would not
qualify as an Eligible Compilation Process.</p>
<h2><a name="section1"></a>1. Grant of Additional Permission.</h2>
<p>You have permission to propagate a work of Target Code formed by
combining the Runtime Library with Independent Modules, even if such
propagation would otherwise violate the terms of GPLv3, provided that
all Target Code was generated by Eligible Compilation Processes. You
may then convey such a combination under terms of your choice,
consistent with the licensing of the Independent Modules.</p>
<h2><a name="section2"></a>2. No Weakening of Lisaac Compiler Copyleft.</h2>
<p>The availability of this Exception does not imply any general
presumption that third-party software is unaffected by the copyleft
requirements of the license of Lisaac Compiler.</p>
</body>
</html>