]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/blob - plugin/Makefile
Imported Upstream version 0.1
[pkg-cerco/frama-c-cost-plugin.git] / plugin / Makefile
1 ##########################################################################
2 #                                                                        #
3 #  This file is part of Frama-C.                                         #
4 #                                                                        #
5 #  Copyright (C) 2007-2011                                               #
6 #    CEA (Commissariat � l'�nergie atomique et aux �nergies              #
7 #         alternatives)                                                  #
8 #                                                                        #
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.                                              #
12 #                                                                        #
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.                   #
17 #                                                                        #
18 #  See the GNU Lesser General Public License version 2.1                 #
19 #  for more details (enclosed in the file licenses/LGPLv2.1).            #
20 #                                                                        #
21 ##########################################################################
22
23 # Generic Makefile for bytecode plugins
24
25 FRAMAC_SHARE  := $(shell frama-c.byte -print-path)
26 FRAMAC_LIBDIR := $(shell frama-c.byte -print-libpath)
27
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
32
33 # PLUGIN_HAS_MLI := yes
34
35 # include Makefile.plugin
36 include $(FRAMAC_SHARE)/Makefile.dynamic
37
38 distclean: clean
39
40 .PHONY = distclean