From 85cd0c8b60a62a962c5d65f9ebe268a23a93ad1c Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Tue, 23 May 2017 16:32:57 +0200 Subject: [PATCH] Add missing headers --- src/plugins/e-acsl/Makefile.in | 2 +- src/plugins/e-acsl/man/e-acsl-gcc.sh.1 | 42 +++++++++++++------------- src/plugins/e-acsl/tests/print.ml | 22 ++++++++++++++ 3 files changed, 44 insertions(+), 22 deletions(-) diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index 30b886b70ca..a5f4c33a749 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -322,7 +322,7 @@ e-acsl-distrib-check: ########## EACSL_CEA_LGPL_BARE= *.ml *.mli Makefile.in configure.ac share/e-acsl/*.[ch] \ - share/e-acsl/*/*.[ch] scripts/*.sh + share/e-acsl/*/*.[ch] scripts/*.sh tests/print.ml man/e-acsl-gcc.sh.1 EACSL_CEA_LGPL=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_CEA_LGPL_BARE)) EACSL_SPARETIMELABS=$(EACSL_PLUGIN_DIR)/share/e-acsl/e_acsl_printf.h diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 index c7328e163a1..73cee4d1dbd 100644 --- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 +++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 @@ -1,24 +1,24 @@ -.\" -.\" -.\" This file is part of Frama-C. -.\" -.\" Copyright (C) 2007-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 licenses/LGPLv2.1). -.\" -.\" +.\" +.\" +.\" This file is part of Frama-C. +.\" +.\" Copyright (C) 2007-2017 +.\" 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 licenses/LGPLv2.1). +.\" +.\" .TH E-ACSL-GCC.SH 1 2016-02-02 diff --git a/src/plugins/e-acsl/tests/print.ml b/src/plugins/e-acsl/tests/print.ml index 1d084da5be9..83a43d45ca4 100644 --- a/src/plugins/e-acsl/tests/print.ml +++ b/src/plugins/e-acsl/tests/print.ml @@ -1,3 +1,25 @@ +(**************************************************************************) +(* *) +(* This file is part of Frama-C. *) +(* *) +(* Copyright (C) 2007-2017 *) +(* 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 licenses/LGPLv2.1). *) +(* *) +(**************************************************************************) + module Printer_extension(X:Printer.PrinterClass) = struct class printer = object -- GitLab