Commit e7fa2434 by Ralf Treinen

copyright: additional terms due to POSIX

parent a7107571
This diff is collapsed. Click to expand it.
......@@ -5,6 +5,10 @@
git clone https://gitlab.inria.fr/regisgia/morbig.git
## License and Copyright
please see the file COPYING
## Building instructions
### Dependencies
......
......@@ -3,4 +3,6 @@ Ralf Treinen.
This is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License, version 3.
The complete license terms can be found in the file COPYING.
Additional terms apply, due to the reproduction of portions of
the POSIX standard. Please refer to the file COPYING for details.
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
exception SyntaxError of CST.position * string
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(** This interface defines the API of libmorbig *)
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(**
......
(**************************************************************************)
(* Copyright (C) 2017 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(**
A shell script can define aliases with the following command:
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
open Parser
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(* FIXME: Naive implementation. *)
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
let message what consequence ?filename msg =
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
open API
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
type backend =
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(* Handling of command line options *)
......
/**************************************************************************/
/* Copyright (C) 2017 Yann Régis-Gianas, Nicolas Jeannerod, */
/* Ralf Treinen. */
/* */
/* This is free software: you can redistribute it and/or modify it */
/* under the terms of the GNU General Public License, version 3. */
/* */
/* Additional terms apply, due to the reproduction of portions of */
/* the POSIX standard. Please refer to the file COPYING for details. */
/**************************************************************************/
(** -*- tuareg -*-
/**************************************************************************/
......
......@@ -4,7 +4,9 @@
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* The complete license terms can be found in the file COPYING. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(**
......
(**************************************************************************)
(* Copyright (C) 2017 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(* -*- tuareg -*- *)
(**************************************************************************)
(* Copyright (C) 2017 Yann Régis-Gianas, Nicolas Jeannerod, *)
......
(**************************************************************************)
(* Copyright (C) 2017 Yann Régis-Gianas, Nicolas Jeannerod, *)
(* Ralf Treinen. *)
(* *)
(* This is free software: you can redistribute it and/or modify it *)
(* under the terms of the GNU General Public License, version 3. *)
(* *)
(* Additional terms apply, due to the reproduction of portions of *)
(* the POSIX standard. Please refer to the file COPYING for details. *)
(**************************************************************************)
(**
The following module implements the removal of line continuation.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment