https://bitbucket.org/adelard/simple-concurrency
Tip revision: cd7dfa9b13e79137daa54446067371af0a68515d authored by Dan Sheridan on 27 February 2015, 15:32:58 UTC
Change -accesses-for to report accesses from the "main" entry point even if it is not explicitly listed in -threads; this better matches the behaviour of -var-overlap.
Change -accesses-for to report accesses from the "main" entry point even if it is not explicitly listed in -threads; this better matches the behaviour of -var-overlap.
Tip revision: cd7dfa9
Makefile
# 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