diff --git a/src/plugins/aorai/configure.ac b/src/plugins/aorai/configure.ac deleted file mode 100644 index 12d8e0c06f2eb77532aa8a6a3ca1ebc0b65e4c4f..0000000000000000000000000000000000000000 --- a/src/plugins/aorai/configure.ac +++ /dev/null @@ -1,50 +0,0 @@ -########################################################################## -# # -# This file is part of Aorai plug-in of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# CEA (Commissariat à l'énergie atomique et aux énergies # -# alternatives) # -# INRIA (Institut National de Recherche en Informatique et en # -# Automatique) # -# INSA (Institut National des Sciences Appliquees) # -# # -# 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). # -# # -########################################################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], - [m4_include(FRAMAC_SHARE/configure.ac)] - ) - -check_plugin(aorai,PLUGIN_RELATIVE_PATH(plugin_file),[support for Aorai plug-in],yes) - -plugin_use_external(aorai,ltltoba) - -if test "$ENABLE_AORAI" != "no"; then - # ltl2ba library - configure_tool([LTLTOBA],[ltl2ba],[ltl2ba not found.],no) -fi - -check_plugin_dependencies - -write_plugin_config(Makefile) diff --git a/src/plugins/dive/configure.ac b/src/plugins/dive/configure.ac deleted file mode 100644 index 915ba81d4170058fdeb67a1b8fe0609bf3f24045..0000000000000000000000000000000000000000 --- a/src/plugins/dive/configure.ac +++ /dev/null @@ -1,51 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(dive,PLUGIN_RELATIVE_PATH(plugin_file), - [support for Dive plug-in],yes) - -# Plug-in dependencies -###################### - -plugin_require(dive,eva) -plugin_require(dive,studia) -plugin_require(dive,server) -#plugin_use(dive,usable_plugin_but_not_mandatory) - -check_plugin_dependencies - -####################### -# Generating Makefile # -####################### - -write_plugin_config(Makefile) diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac deleted file mode 100644 index 24bceba8839c8bf604345cfbcb394d803b016496..0000000000000000000000000000000000000000 --- a/src/plugins/e-acsl/configure.ac +++ /dev/null @@ -1,101 +0,0 @@ -########################################################################## -# # -# This file is part of the Frama-C's E-ACSL plug-in. # -# # -# Copyright (C) 2012-2022 # -# 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). # -# # -########################################################################## - -######################################## -# E-ACSL as a standard Frama-C plug-in # -######################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(e_acsl,PLUGIN_RELATIVE_PATH(plugin_file), - [support for E-ACSL plug-in],yes) - -plugin_require(e_acsl,rtegen) - -# E-ACSL only works on Linux as of now. Disable it on Mac OS and Windows -AC_CHECK_PROG(UNAME,uname,uname,no) - -if test "$UNAME" = "no"; then - plugin_disable(e_acsl,[Not on a POSIX platform.]) -fi - -HOST_OS=$($UNAME -s) -case $HOST_OS in -Darwin | Linux | DragonFly | FreeBSD | NetBSD | OpenBSD) -# BSDs haven't really be tested, but it should at least compile fine -;; -*) - plugin_disable(e_acsl,[unsupported system $HOST_OS]) -;; -esac - -check_plugin_dependencies - -############################### -# C specific stuff for E-ACSL # -############################### - -MAY_RUN_TESTS=yes - -# C compiler and stdio.h -######################### - -AC_CHECK_HEADERS([stdio.h],[HAVE_STDIO_H=yes],) - -# not sure it can actually happen: -# looks like configure stops on error if no C compiler detected -if test -z $HAVE_STDIO_H; then - MAY_RUN_TESTS=no - AC_MSG_WARN([stdio.h missing: non-regression tests unavailable.]) -fi - -# Doxygen -######### - -AC_CHECK_PROG(DOXYGEN,doxygen,doxygen,no) -AC_CHECK_PROG(HAVE_DOT,dot,yes,no) -AC_OUTPUT(PLUGIN_RELATIVE_PATH(doc/doxygen/doxygen.cfg), [ ]) - -####################### -# Generating Makefile # -####################### - -AC_SUBST(MAY_RUN_TESTS) - -write_plugin_config(Makefile) - -############################### -# Configure contrib libraries # -############################### - -m4_ifndef([plugin_dir], [ - m4_define([plugin_dir],[./]) -]) diff --git a/src/plugins/instantiate/configure.ac b/src/plugins/instantiate/configure.ac deleted file mode 100644 index 13fce7ac2932ff2e52aa0c32318931a746db7388..0000000000000000000000000000000000000000 --- a/src/plugins/instantiate/configure.ac +++ /dev/null @@ -1,45 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -########################################## -# Instantiate plugin # -########################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(instantiate,PLUGIN_RELATIVE_PATH(plugin_file), - [support for instantiate plug-in],yes) - -####################### -# Generating Makefile # -####################### - -write_plugin_config(Makefile) diff --git a/src/plugins/loop_analysis/configure.ac b/src/plugins/loop_analysis/configure.ac deleted file mode 100644 index 3ec5f39ac30d7cd894ecf19464720d2383d98509..0000000000000000000000000000000000000000 --- a/src/plugins/loop_analysis/configure.ac +++ /dev/null @@ -1,46 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -############################################## -# LoopAnalysis as a standard Frama-C plug-in # -############################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(loop_analysis,PLUGIN_RELATIVE_PATH(plugin_file), - [support for loop analysis plug-in],yes) -plugin_require(loop_analysis,eva) - -####################### -# Generating Makefile # -####################### - -write_plugin_config(Makefile) diff --git a/src/plugins/markdown-report/configure.ac b/src/plugins/markdown-report/configure.ac deleted file mode 100644 index 6d1e6edfecbf9c326918ca39e4065703278f7e2a..0000000000000000000000000000000000000000 --- a/src/plugins/markdown-report/configure.ac +++ /dev/null @@ -1,48 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], - [m4_include(FRAMAC_SHARE/configure.ac)] - ) - -check_plugin(mdr,PLUGIN_RELATIVE_PATH(plugin_file),[Markdown/SARIF report plug-in],yes) - -plugin_use(mdr,eva) - -plugin_require_pkg(mdr,ppx_deriving) -plugin_require_pkg(mdr,ppx_deriving_yojson) - -configure_pkg(ppx_deriving,[package ppx_deriving not found]) -configure_pkg(ppx_deriving_yojson,[package ppx_deriving_yojson not found]) - -check_plugin_dependencies - -write_plugin_config(Makefile) diff --git a/src/plugins/nonterm/configure.ac b/src/plugins/nonterm/configure.ac deleted file mode 100644 index 03b27b7c9e2d2bb0aeb399e6b39a24dc1807c641..0000000000000000000000000000000000000000 --- a/src/plugins/nonterm/configure.ac +++ /dev/null @@ -1,47 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -######################################## -# Nonterm as a standard Frama-C plug-in # -######################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(nonterm,PLUGIN_RELATIVE_PATH(plugin_file), - [support for nonterm plug-in],yes) - -plugin_require(nonterm,eva) - -####################### -# Generating Makefile # -####################### - -write_plugin_config(Makefile) diff --git a/src/plugins/obfuscator/configure.ac b/src/plugins/obfuscator/configure.ac deleted file mode 100644 index 4633284b2849a41cea4784feb39978af568aa1ac..0000000000000000000000000000000000000000 --- a/src/plugins/obfuscator/configure.ac +++ /dev/null @@ -1,38 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], - [m4_include(FRAMAC_SHARE/configure.ac)] - ) - -check_plugin(obfuscator,PLUGIN_RELATIVE_PATH(plugin_file),[support for Obfuscator plug-in],yes) - -write_plugin_config(Makefile) diff --git a/src/plugins/report/configure.ac b/src/plugins/report/configure.ac deleted file mode 100644 index ae01a0e634c4c4ea265c0f29e4977af108783f6e..0000000000000000000000000000000000000000 --- a/src/plugins/report/configure.ac +++ /dev/null @@ -1,45 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -######################################## -# E-ACSL as a standard Frama-C plug-in # -######################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(report,PLUGIN_RELATIVE_PATH(plugin_file), - [support for report plug-in],yes) - -####################### -# Generating Makefile # -####################### - -write_plugin_config(Makefile) diff --git a/src/plugins/security_slicing/configure.ac b/src/plugins/security_slicing/configure.ac deleted file mode 100644 index a00568fe1900ae6abe667a78c135421e408989a9..0000000000000000000000000000000000000000 --- a/src/plugins/security_slicing/configure.ac +++ /dev/null @@ -1,43 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS],[m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(security_slicing,PLUGIN_RELATIVE_PATH(plugin_file), - [support for Security_slicing plug-in],yes) - -plugin_require(security_slicing,slicing) -plugin_require(security_slicing,eva) -plugin_require(security_slicing,pdg) -plugin_require(security_slicing,gui) -check_plugin_dependencies - -write_plugin_config(Makefile) diff --git a/src/plugins/server/configure.ac b/src/plugins/server/configure.ac deleted file mode 100644 index f7b4777282cf87fd540b6cc707e15a3c1e7d5a8f..0000000000000000000000000000000000000000 --- a/src/plugins/server/configure.ac +++ /dev/null @@ -1,65 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -######################################## -# Server as a standard Frama-C plug-in # -######################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(server,PLUGIN_RELATIVE_PATH(plugin_file),[Server plug-in],yes) - -######################################## -# Server ZMQ Configuration # -######################################## - -AC_ARG_ENABLE( - server-zmq, - [ --enable-server-zmq Server ZeroMQ support (default: yes)], - SERVER_ZMQ=$enableval, - SERVER_ZMQ=yes -) - -if test "$SERVER_ZMQ" = "yes" ; -then - configure_pkg([zmq], - [Server support for ZeroMQ disabled (try 'opam install zmq').]) - plugin_use_pkg(server,zmq) - SERVER_ZMQ=$HAS_OCAML_ZMQ -fi - -AC_SUBST(SERVER_ZMQ) - -####################### -# Generating Makefile # -####################### - -write_plugin_config(Makefile) diff --git a/src/plugins/studia/configure.ac b/src/plugins/studia/configure.ac deleted file mode 100644 index f28dc662bfb701502ef0a91e830b004fe16f8939..0000000000000000000000000000000000000000 --- a/src/plugins/studia/configure.ac +++ /dev/null @@ -1,48 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -######################################## -# Studia as a standard Frama-C plug-in # -######################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(studia,PLUGIN_RELATIVE_PATH(plugin_file), - [support for studia plug-in],yes) - -plugin_require(studia,eva) -plugin_require(studia,server) - -####################### -# Generating Makefile # -####################### - -write_plugin_config(Makefile) diff --git a/src/plugins/variadic/configure.ac b/src/plugins/variadic/configure.ac deleted file mode 100644 index 56d3db96b4895d7f2760a263bd358a9cfa03923d..0000000000000000000000000000000000000000 --- a/src/plugins/variadic/configure.ac +++ /dev/null @@ -1,45 +0,0 @@ -########################################################################## -# # -# This file is part of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# 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). # -# # -########################################################################## - -########################################## -# Variadic as a standard Frama-C plug-in # -########################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)]) - -check_plugin(variadic,PLUGIN_RELATIVE_PATH(plugin_file), - [support for variadic plug-in],yes) - -####################### -# Generating Makefile # -####################### - -write_plugin_config(Makefile) diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac deleted file mode 100644 index 010a5beef14a3a671c0bdc352dbf5ae391bf7659..0000000000000000000000000000000000000000 --- a/src/plugins/wp/configure.ac +++ /dev/null @@ -1,72 +0,0 @@ -########################################################################## -# # -# This file is part of WP plug-in of Frama-C. # -# # -# Copyright (C) 2007-2022 # -# CEA (Commissariat a l'energie atomique et aux energies # -# 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). # -# # -########################################################################## - -m4_define([plugin_file],Makefile.in) - -m4_define([FRAMAC_SHARE_ENV], - [m4_normalize(m4_esyscmd([echo $FRAMAC_SHARE]))]) - -m4_define([FRAMAC_SHARE], - [m4_ifval(FRAMAC_SHARE_ENV,[FRAMAC_SHARE_ENV], - [m4_esyscmd(frama-c -print-path)])]) - -m4_ifndef([FRAMAC_M4_MACROS], - [m4_include(FRAMAC_SHARE/configure.ac)] - ) - -check_plugin(wp,PLUGIN_RELATIVE_PATH(plugin_file),[WP plug-in],yes,yes) - -plugin_require(wp,qed) -plugin_require(wp,rtegen) -plugin_use(wp,gui) - -# Why3 API dependency -###################### - -configure_pkg(why3,[package why3 not found]) - -plugin_require_pkg(wp,why3) - -check_plugin_dependencies - -if test "$HAS_OCAML_WHY3" = "yes"; then -AC_MSG_CHECKING(why3 version) -WHY3VERSION=`ocamlfind query -format %v why3 | tr -d '\\r\\n'` -case $WHY3VERSION in - "") - AC_MSG_RESULT([not found!]) - plugin_disable(wp,[why3 not found]) - ;; - 0.* | 1.[[01234]].*) - AC_MSG_RESULT([found $WHY3VERSION: requires 1.5.0+]) - plugin_disable(wp,[non-supported why3 $WHY3VERSION]) - ;; - 1.5.*) - AC_MSG_RESULT([found $WHY3VERSION: ok]) - ;; - *) - AC_MSG_RESULT([found $WHY3VERSION: might work (should be 1.5.0+)]) - ;; -esac -fi - -write_plugin_config(Makefile)