Update licence, add opam script

9 files changed, 150 insertions, 36 deletions

diff --git a/tests/dataType_test.ml b/tests/dataType_test.ml
index 3900f28..18f243f 100755
--- a/tests/dataType_test.ml
+++ b/tests/dataType_test.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 open OUnit2

 module N = DataType.Num

 

diff --git a/tests/expressionParser_test.ml b/tests/expressionParser_test.ml
index 481ed6d..6bfe0f2 100755
--- a/tests/expressionParser_test.ml
+++ b/tests/expressionParser_test.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 open OUnit2
 
 let u = UTF8.from_utf8string
diff --git a/tests/expression_test.ml b/tests/expression_test.ml
index 6743a09..5b5d991 100755
--- a/tests/expression_test.ml
+++ b/tests/expression_test.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 open OUnit2
 module T = Tools
 
diff --git a/tests/odf/odf_ExpressionParser_test.ml b/tests/odf/odf_ExpressionParser_test.ml
index 3d6c4fa..40dcbcd 100755
--- a/tests/odf/odf_ExpressionParser_test.ml
+++ b/tests/odf/odf_ExpressionParser_test.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 open OUnit2

 

 let u = UTF8.from_utf8string

diff --git a/tests/sheet_test.ml b/tests/sheet_test.ml
index 197cf88..144b50d 100755
--- a/tests/sheet_test.ml
+++ b/tests/sheet_test.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 open OUnit2
 
 module Option = Tools.Option
diff --git a/tests/test.ml b/tests/test.ml
index 0c5af82..a69c4a3 100755
--- a/tests/test.ml
+++ b/tests/test.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 let () =
 
   (*Evaluator.set_catalog (Functions.C.compile @@ Functions.built_in @@ Functions.C.empty);*)
diff --git a/tests/tools_test.ml b/tests/tools_test.ml
index 74a3acd..4f48382 100755
--- a/tests/tools_test.ml
+++ b/tests/tools_test.ml
@@ -1,42 +1,21 @@
-open OUnit2
-
-module TestList = struct
-
-  let test_linearize ctx = begin
-    let input = [
-      ['1'; '2'; '3'];
-      ['A'; 'B'];
-      ['W'; 'X'; 'Y'; 'Z'];
-      ['O'];
-    ] in
-
-    let expected = [
-      '1'; 'A'; 'W'; 'O'; 'X'; 'B'; '2'; '3'; 'Y'; 'Z'
-    ] in
-
-    let result = Tools.List.linearize input in
-
-    let to_string elems = begin
-      let result_buffer = Buffer.create 16 in
-      List.iter (Buffer.add_char result_buffer) elems;
-      Buffer.contents result_buffer
-    end in
-
-
-    assert_equal
-      ~msg:(Printf.sprintf "Expected %s but got %s" (to_string expected) (to_string result) )
-      expected
-      result
-
+(*
+This file is part of licht.
 
-  end
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
 
-  let tests = "list_test">::: [
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
 
-      "test_list_linearize"       >:: test_linearize;
-  ]
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
 
-end
+open OUnit2
 
 module TestString = struct
 
@@ -231,7 +210,6 @@ end
 let tests = "tools_test">::: [
 
   TestString.tests;
-  TestList.tests;
 
   "test_get_julian_day"       >:: TestDate.test_get_julian_day;
   "test_from_julian_day"      >:: TestDate.test_from_julian_day;
diff --git a/tests/tree/splay_test.ml b/tests/tree/splay_test.ml
index 3f5fa96..6f01368 100755
--- a/tests/tree/splay_test.ml
+++ b/tests/tree/splay_test.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 open OUnit2

 

 (** Module for the keys *)

diff --git a/tests/unicode_test.ml b/tests/unicode_test.ml
index 8c58dc8..6f8ffa9 100755
--- a/tests/unicode_test.ml
+++ b/tests/unicode_test.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 open OUnit2
 
 let _msg ~expected ~result =