source: Deliverables/D5.1-5.3/cost-plug-in/plugin/Makefile @ 1679

Last change on this file since 1679 was 1679, checked in by ayache, 8 years ago

Frama-C plug-in (sources+documentation)

File size: 1.9 KB
Line 
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
25FRAMAC_SHARE  := $(shell frama-c.byte -print-path)
26FRAMAC_LIBDIR := $(shell frama-c.byte -print-libpath)
27
28PLUGIN_NAME = Cost_synthesis
29PLUGIN_CMO  =  eset emap completeMap multiset misc arithSig arith       \
30        cost_value compute cerco cost
31
32# PLUGIN_HAS_MLI := yes
33
34# include Makefile.plugin
35include $(FRAMAC_SHARE)/Makefile.dynamic
36
37distclean: clean
38
39.PHONY = distclean
Note: See TracBrowser for help on using the repository browser.