From d0289974df2160c5176fb934c0022b9b88d6ce50 Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Tue, 15 Dec 2015 16:54:44 +0100 Subject: [PATCH] Added copyright notice to the convenience E-ACSL script --- src/plugins/e-acsl/scripts/e-acsl-gcc | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc b/src/plugins/e-acsl/scripts/e-acsl-gcc index 1c8d7dfd8e6..3f99ceb4b8f 100755 --- a/src/plugins/e-acsl/scripts/e-acsl-gcc +++ b/src/plugins/e-acsl/scripts/e-acsl-gcc @@ -1,3 +1,25 @@ +########################################################################## +# # +# This file is part of the Frama-C's E-ACSL plug-in. # +# # +# Copyright (C) 2012-2015 # +# CEA (Commissariat à l'énergie atomique et aux énergies # +# alternatives) # +# # +# you can redistribute it and/or modify it under the terms of the GNU # +# Lesser General Public License as published by the Free Software # +# Foundation, version 2.1. # +# # +# It 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 Lesser General Public License for more details. # +# # +# See the GNU Lesser General Public License version 2.1 # +# for more details (enclosed in the file license/LGPLv2.1). # +# # +########################################################################## + #!/bin/sh -e # Convenience wrapper for small runs of E-ACSL Frama-C plugin -- GitLab