# This file is part of the Concurrency Plugin for Frama-C

# Copyright (C) 2013
#   Adelard LLP
#   CINIF (Control and Instrumentation Nuclear Industry Forum)

# 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 3.

# 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 v3
# for more details (enclosed in the file ./LGPLv3).


# Make file for the concurrency plugin
############################################

FRAMAC_SHARE	:= $(shell frama-c.byte -print-path)
FRAMAC_LIBDIR	:= $(shell frama-c.byte -print-libpath)
PLUGIN_NAME	:= Concurrency
PLUGIN_CMO	:= concurrency_main
PLUGIN_GUI_CMO	:= concurguiglobs vappgui accessesgui epsgui concur_gui
PLUGIN_DYNAMIC	:= yes


include $(FRAMAC_SHARE)/Makefile.dynamic