From f4983adbea036430b433f0e5c360eb3769816262 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Tue, 23 Feb 2016 16:14:02 +0100
Subject: [PATCH] MIT license it is.

---
 Makefile             |  4 ++++
 README.md            | 25 +++++++++++++++----------
 ag-test.scm          |  4 ++++
 ast-generation.scm   |  4 ++++
 ast.scm              |  4 ++++
 basic-ag.scm         |  4 ++++
 cli.scm              |  4 ++++
 constants.py         |  4 ++++
 constants.scm        |  4 ++++
 dependencies.txt     |  4 ++++
 example-ast.scm      |  4 ++++
 fabfile.py           |  4 ++++
 fabric_workaround.py |  4 ++++
 ilp-measurement.scm  |  4 ++++
 ilp-test.scm         |  4 ++++
 ilp.scm              |  4 ++++
 ilp_check.py         |  4 ++++
 ilp_measurement.py   |  4 ++++
 ilp_test.py          |  4 ++++
 install.py           |  4 ++++
 join.scm             |  4 ++++
 license.txt          |  8 ++++++++
 mquat.scm            |  4 ++++
 properties.py        |  4 ++++
 properties.scm       |  4 ++++
 sockets.py           |  4 ++++
 ui.scm               |  4 ++++
 utils.py             |  4 ++++
 utils.scm            |  4 ++++
 29 files changed, 131 insertions(+), 10 deletions(-)
 create mode 100644 license.txt

diff --git a/Makefile b/Makefile
index 20b0722..0e1e670 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 RACR_RACKET_BIN   = $$HOME/git/2bt/racr/racr/racket-bin
 RACR_LARCENY_BIN  = $$HOME/git/2bt/racr/racr/larceny-bin
 RACKET_BUILD_DIR  = racket-bin
diff --git a/README.md b/README.md
index d414714..48f5a7e 100644
--- a/README.md
+++ b/README.md
@@ -1,10 +1,15 @@
-# Setup
-
-- clone [the racr repo](https://github.com/christoff-buerger/racr.git)
-- install racr
-- let scheme IDE know about racr
-  - racket: Create a symlink in `$RACKET_INSTALL_DIR/collects` pointing to `$RACR_REPO/racr/racket-bin/racr`
-
-# Links
-
-- view measurement results [online](http://nbviewer.ipython.org/urls/bitbucket.org/rschoene/racr-mquat/raw/master/ilp-measurement.ipynb)
+This program and the accompanying materials are made available under the
+terms of the MIT license (X11 license) which accompanies this distribution.
+
+Author: R. Schöne
+
+# Setup
+
+- clone [the racr repo](https://github.com/christoff-buerger/racr.git)
+- install racr
+- let scheme IDE know about racr
+  - racket: Create a symlink in `$RACKET_INSTALL_DIR/collects` pointing to `$RACR_REPO/racr/racket-bin/racr`
+
+# Links
+
+- view measurement results [online](http://nbviewer.ipython.org/urls/bitbucket.org/rschoene/racr-mquat/raw/master/ilp-measurement.ipynb)
diff --git a/ag-test.scm b/ag-test.scm
index 9675a7a..0e0cf97 100644
--- a/ag-test.scm
+++ b/ag-test.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat ag-test)
diff --git a/ast-generation.scm b/ast-generation.scm
index 3a5622f..a40b6c0 100644
--- a/ast-generation.scm
+++ b/ast-generation.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat ast-generation)
diff --git a/ast.scm b/ast.scm
index c83ea20..255562c 100644
--- a/ast.scm
+++ b/ast.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat ast)
diff --git a/basic-ag.scm b/basic-ag.scm
index af36623..8173d51 100644
--- a/basic-ag.scm
+++ b/basic-ag.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat basic-ag)
diff --git a/cli.scm b/cli.scm
index 881d558..3edf44a 100644
--- a/cli.scm
+++ b/cli.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (import (rnrs) (mquat ilp-measurement)
  (mquat ilp-test) (mquat ag-test) (mquat utils))
diff --git a/constants.py b/constants.py
index 2224193..efad4d7 100644
--- a/constants.py
+++ b/constants.py
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 class Bin(object):
 	def __init__(self, racr_bin, mquat_bin):
 		self.racr_bin = racr_bin
diff --git a/constants.scm b/constants.scm
index 7cdc708..62ded7e 100644
--- a/constants.scm
+++ b/constants.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat constants)
diff --git a/dependencies.txt b/dependencies.txt
index 365c02b..3b2a4a2 100644
--- a/dependencies.txt
+++ b/dependencies.txt
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 @libraries:
 rnrs/eval-6
 racr/core
diff --git a/example-ast.scm b/example-ast.scm
index 58cef17..ecff2be 100644
--- a/example-ast.scm
+++ b/example-ast.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat example-ast)
diff --git a/fabfile.py b/fabfile.py
index 2ef6ff3..519a086 100644
--- a/fabfile.py
+++ b/fabfile.py
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 import utils
 import ilp_test as test
 import ilp_measurement as measure
diff --git a/fabric_workaround.py b/fabric_workaround.py
index 1182597..492f827 100644
--- a/fabric_workaround.py
+++ b/fabric_workaround.py
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 import os, subprocess
 
 env = { 'local_wd' : None }
diff --git a/ilp-measurement.scm b/ilp-measurement.scm
index f74b3ed..d7b435e 100644
--- a/ilp-measurement.scm
+++ b/ilp-measurement.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 ; Measurement definitions
 ; To add a new measurement FOO:
diff --git a/ilp-test.scm b/ilp-test.scm
index 2e7ab02..fd75c9f 100644
--- a/ilp-test.scm
+++ b/ilp-test.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat ilp-test)
diff --git a/ilp.scm b/ilp.scm
index c454c41..acd9347 100644
--- a/ilp.scm
+++ b/ilp.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat ilp)
diff --git a/ilp_check.py b/ilp_check.py
index 64b7a01..5540842 100644
--- a/ilp_check.py
+++ b/ilp_check.py
@@ -1,4 +1,8 @@
 #!/usr/bin/env python
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 
 import json, codecs
 try:
diff --git a/ilp_measurement.py b/ilp_measurement.py
index ac996ad..fdd1624 100644
--- a/ilp_measurement.py
+++ b/ilp_measurement.py
@@ -1,5 +1,9 @@
 #!/usr/bin/env python
 # -*- coding: utf-8 -*-
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 
 import sys, re, os, csv, timeit, shutil, json, threading, time
 from datetime import datetime
diff --git a/ilp_test.py b/ilp_test.py
index 3daf8fc..10496da 100644
--- a/ilp_test.py
+++ b/ilp_test.py
@@ -1,5 +1,9 @@
 #!/usr/bin/env python
 # -*- coding: utf-8 -*-
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 
 import re, threading, os, shutil, sys, timeit
 try:
diff --git a/install.py b/install.py
index 43bb3b7..b9aaab4 100644
--- a/install.py
+++ b/install.py
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 import os, shutil, sys
 try:
 	from fabric.api import lcd, task
diff --git a/join.scm b/join.scm
index e686aa7..012492d 100644
--- a/join.scm
+++ b/join.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat join)
diff --git a/license.txt b/license.txt
new file mode 100644
index 0000000..ada9741
--- /dev/null
+++ b/license.txt
@@ -0,0 +1,8 @@
+The MIT License (MIT)
+Copyright (c) 2015 - 2016 by René Schöne
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
diff --git a/mquat.scm b/mquat.scm
index be8bab7..a66a906 100644
--- a/mquat.scm
+++ b/mquat.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (import (rnrs) (racr core) (racr testing)
         (mquat constants) (mquat utils) (mquat join) (mquat ast) (mquat basic-ag)
diff --git a/properties.py b/properties.py
index a68bf17..76f3b6f 100644
--- a/properties.py
+++ b/properties.py
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 from utils import local_quiet
 
 properties_fname = 'scheme.properties'
diff --git a/properties.scm b/properties.scm
index 53b07f8..8f12e4b 100644
--- a/properties.scm
+++ b/properties.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat properties)
diff --git a/sockets.py b/sockets.py
index ee639d0..5bec3fd 100644
--- a/sockets.py
+++ b/sockets.py
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 from fabric.api import task, local
 
 @task
diff --git a/ui.scm b/ui.scm
index 0c37ccd..d3d449a 100644
--- a/ui.scm
+++ b/ui.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat ui)
diff --git a/utils.py b/utils.py
index 91d1301..c024a31 100644
--- a/utils.py
+++ b/utils.py
@@ -1,3 +1,7 @@
+# This program and the accompanying materials are made available under the
+# terms of the MIT license (X11 license) which accompanies this distribution.
+
+# Author: R. Schöne
 import sys, os, csv, shutil, json
 try:
 	from fabric.api import local, quiet, task, env
diff --git a/utils.scm b/utils.scm
index 9900797..fb9f27a 100644
--- a/utils.scm
+++ b/utils.scm
@@ -1,4 +1,8 @@
 #!r6rs
+; This program and the accompanying materials are made available under the
+; terms of the MIT license (X11 license) which accompanies this distribution.
+
+; Author: R. Schöne
 
 (library
  (mquat utils)
-- 
GitLab