1 ##########################################################################
3 # This file is part of Frama-C. #
5 # Copyright (C) 2007-2011 #
6 # CEA (Commissariat � l'�nergie atomique et aux �nergies #
9 # you can redistribute it and/or modify it under the terms of the GNU #
10 # Lesser General Public License as published by the Free Software #
11 # Foundation, version 2.1. #
13 # It is distributed in the hope that it will be useful, #
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of #
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
16 # GNU Lesser General Public License for more details. #
18 # See the GNU Lesser General Public License version 2.1 #
19 # for more details (enclosed in the file licenses/LGPLv2.1). #
21 ##########################################################################
23 # Generic Makefile for bytecode plugins
25 FRAMAC_SHARE := $(shell frama-c.byte -print-path)
26 FRAMAC_LIBDIR := $(shell frama-c.byte -print-libpath)
28 PLUGIN_NAME = Cost_synthesis
29 PLUGIN_CMO = eset emap completeMap multiset misc arithSig arith \
30 cost_value compute parameters simplify_terms normAtLabels \
31 compute_simple compute_simple_stack_size cerco cost
33 # PLUGIN_HAS_MLI := yes
35 # include Makefile.plugin
36 include $(FRAMAC_SHARE)/Makefile.dynamic