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

Last change on this file since 1462 was 1462, checked in by ayache, 9 years ago

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

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  = stringTools cost_value compute cerco cost
30
31# PLUGIN_HAS_MLI := yes
32
33# include Makefile.plugin
34include $(FRAMAC_SHARE)/Makefile.dynamic
35
36distclean: clean
37
38.PHONY = distclean
Note: See TracBrowser for help on using the repository browser.