diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc b/src/plugins/e-acsl/scripts/e-acsl-gcc index 1c8d7dfd8e69915953690b05eceb47fd757968a0..3f99ceb4b8f495e5be9b983ae228a2823638b5d4 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