4 files changed, 1033 insertions, 0 deletions

diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile
new file mode 100644
index 000000000000..bad5747c2c7f
--- /dev/null
+++ b/devel/frama-c/Makefile
@@ -0,0 +1,109 @@
+# New ports collection makefile for:    frama-c
+# Date created:         25 May 2011
+# Whom:                 b.f. <bf@FreeBSD.org>
+#
+# $FreeBSD$
+#
+
+PORTNAME=		frama-c
+DISTVERSIONPREFIX=	Carbon-
+DISTVERSION=		20110201
+CATEGORIES=		devel
+MASTER_SITES=		http://frama-c.com/download/ LOCAL/bf
+
+MAINTAINER=	bf@FreeBSD.org
+COMMENT=	Extensible platform for source-code analysis of C
+
+LICENSE=	LGPL21
+
+BUILD_DEPENDS=	${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph
+RUN_DEPENDS=	${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph
+
+GNU_CONFIGURE=	yes
+MAKE_ENV+=	FRAMAC_LIBDIR="${PREFIX}/lib/frama-c"
+MAN1=		frama-c.1 frama-c-gui.1
+OPTIONS=	GUI	"Build GUI" on \
+		PLUGINS "Build bundled plugins" on
+USE_GMAKE=	yes
+USE_OCAML=	yes
+
+.include <bsd.port.options.mk>
+
+.if defined(WITH_GUI)
+.if !defined(WITH_PLUGINS)
+IGNORE =	requires WITH_PLUGINS for WITH_GUI
+.endif
+BUILD_DEPENDS +=	lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
+RUN_DEPENDS+=		lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2
+CONFIGURE_ARGS+=	--enable-gui
+PLIST_SUB+=		GUI=""
+.else
+CONFIGURE_ARGS+=	--disable-gui
+PLIST_SUB+=		GUI="@comment "
+.endif
+
+.if defined(WITH_PLUGINS)
+BUILD_DEPENDS +=	dot:${PORTSDIR}/graphics/graphviz \
+		ltl2ba:${PORTSDIR}/math/ltl2ba
+RUN_DEPENDS+=		dot:${PORTSDIR}/graphics/graphviz \
+		ltl2ba:${PORTSDIR}/math/ltl2ba
+PLIST_SUB+=		PLUGINS=""
+.else
+CONFIGURE_ARGS+=	--with-no-plugin
+PLIST_SUB+=		PLUGINS="@comment "
+.endif
+
+post-patch:
+	@${MKDIR} ${WRKSRC}/tests/occurrence
+	@${REINPLACE_CMD} -e 's|@make |@${GMAKE} |' \
+	${WRKSRC}/src/aorai/Makefile.in
+	@${GREP} -le 'make ' -r ${WRKSRC}/tests | ${XARGS} ${REINPLACE_CMD} \
+	-e 's|make |${GMAKE} |'
+	@${REINPLACE_CMD} \
+	-e 's|$$(CP)|${INSTALL_DATA}|' \
+	-e 's|add_prefix|addprefix|' \
+	${WRKSRC}/share/Makefile.plugin
+	@${REINPLACE_CMD} \
+	-e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \
+	-e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \
+	${WRKSRC}/share/Makefile.dynamic
+	@${REINPLACE_CMD} -e '\|^# Installation|,\|^# File headers|{ \
+	\|$$(CP).*bin|s|$$(CP)|${INSTALL_SCRIPT}|; \
+	\|$$(CP) -R doc/manuals $$(FRAMAC_DATADIR)| \
+	s||${MKDIR} $$(FRAMAC_DATADIR)/manuals ; \
+	${INSTALL_DATA} doc/manuals/* $$(FRAMAC_DATADIR)/manuals|; \
+	\|$$(CP).*man|s|$$(CP)\( -R\)*|${INSTALL_MAN}|; \
+	\|$$(CP).*share|s|$$(CP)\( -R\)*|${INSTALL_DATA}|; \
+	s|$$(CP)|${INSTALL_DATA}|; }' \
+	${WRKSRC}/Makefile
+
+.if defined(WITH_GUI)
+pre-configure:
+	@(if [ ! -e ${LOCALBASE}/lib/ocaml/lablgtk2/gtkSourceView2.cmi -o \
+	! -e ${LOCALBASE}/lib/ocaml/lablgtk2/gnomeCanvas.cmi ] ; then \
+	${ECHO_MSG} "==> The WITH_GUI option for ${PKGNAME} requires" ; \
+	${ECHO_MSG} "==> x11-toolkits/ocaml-lablgtk2 to be built" ; \
+	${ECHO_MSG} "==> WITH_GNOMECANVAS and WITH_GTKSOURCEVIEW2" ; \
+	exit 1; fi)
+	@(if [ ! -e ${LOCALBASE}/lib/ocaml/ocamlgraph/dgraph.cmi ] ; then \
+	${ECHO_MSG} "==> The WITH_GUI option for ${PKGNAME} requires" ; \
+	${ECHO_MSG} "==> math/ocaml-ocamlgraph to be built WITH_GUI" ; \
+	exit 1; fi)
+
+.endif
+
+post-install:
+		@${TOUCH} ${PREFIX}/lib/frama-c/plugins/.keep_me \
+		${PREFIX}/lib/frama-c/plugins/gui/.keep_me
+
+.if defined(MAINTAINER_MODE)
+check regression-test test: build
+	@(cd ${WRKSRC}; ${SETENV} ${MAKE_ENV} \
+	FRAMAC_LIB=${WRKSRC}/lib/fc \
+	FRAMAC_PLUGIN=${WRKSRC}/lib/plugins \
+	FRAMAC_SHARE=${WRKSRC}/share \
+	${GMAKE} ${_MAKE_JOBS} ${MAKE_ARGS} tests)
+
+.endif
+
+.include <bsd.port.mk>
diff --git a/devel/frama-c/distinfo b/devel/frama-c/distinfo
new file mode 100644
index 000000000000..22dea72971a1
--- /dev/null
+++ b/devel/frama-c/distinfo
@@ -0,0 +1,2 @@
+SHA256 (frama-c-Carbon-20110201.tar.gz) = 0c212443224fb8a3b0d6b0337db7d7666a9f53628f9b0c5f411e563dcb4b2256
+SIZE (frama-c-Carbon-20110201.tar.gz) = 34484913
diff --git a/devel/frama-c/pkg-descr b/devel/frama-c/pkg-descr
new file mode 100644
index 000000000000..1f35d5b8309d
--- /dev/null
+++ b/devel/frama-c/pkg-descr
@@ -0,0 +1,16 @@
+Frama-C is a suite of tools dedicated to the analysis of the source code of
+software written in C.
+
+Frama-C gathers several static analysis techniques in a single collaborative
+framework, which allows static analyzers to build upon the results already
+computed by other analyzers in the framework, and provides sophisticated
+tools, such as a slicer and dependency analysis.
+
+Frama-C is closer to heuristic bug-finding tools than it is to software metrics
+tools, but it has two important differences with the former: it aims at being
+"correct" -- that is, never to remain silent for a location in the source
+code where an error can happen at run-time. And it allows its user to
+manipulate functional specifications, and to prove that the source code
+satisfies these specifications.
+
+WWW:	http://frama-c.com/index.html
diff --git a/devel/frama-c/pkg-plist b/devel/frama-c/pkg-plist
new file mode 100644
index 000000000000..6e5e02a31e97
--- /dev/null
+++ b/devel/frama-c/pkg-plist
@@ -0,0 +1,906 @@
+bin/frama-c
+bin/frama-c.byte
+%%GUI%%bin/frama-c-gui
+%%GUI%%bin/frama-c-gui.byte
+bin/ptests.byte
+%%PLUGINS%%lib/frama-c/Constant_Propagation.cmo
+%%PLUGINS%%lib/frama-c/Constant_Propagation.cmx
+%%PLUGINS%%lib/frama-c/Constant_Propagation.o
+%%PLUGINS%%lib/frama-c/From.cmo
+%%PLUGINS%%lib/frama-c/From.cmx
+%%PLUGINS%%lib/frama-c/From.o
+%%PLUGINS%%lib/frama-c/Impact.cmo
+%%PLUGINS%%lib/frama-c/Impact.cmx
+%%PLUGINS%%lib/frama-c/Impact.o
+%%PLUGINS%%lib/frama-c/Inout.cmo
+%%PLUGINS%%lib/frama-c/Inout.cmx
+%%PLUGINS%%lib/frama-c/Inout.o
+%%PLUGINS%%lib/frama-c/Metrics.cmo
+%%PLUGINS%%lib/frama-c/Metrics.cmx
+%%PLUGINS%%lib/frama-c/Metrics.o
+%%PLUGINS%%lib/frama-c/Occurrence.cmo
+%%PLUGINS%%lib/frama-c/Occurrence.cmx
+%%PLUGINS%%lib/frama-c/Occurrence.o
+%%PLUGINS%%lib/frama-c/Pdg.cmo
+%%PLUGINS%%lib/frama-c/Pdg.cmx
+%%PLUGINS%%lib/frama-c/Pdg.o
+%%PLUGINS%%lib/frama-c/Postdominators.cmo
+%%PLUGINS%%lib/frama-c/Postdominators.cmx
+%%PLUGINS%%lib/frama-c/Postdominators.o
+%%PLUGINS%%lib/frama-c/Report.cmo
+%%PLUGINS%%lib/frama-c/Report.cmx
+%%PLUGINS%%lib/frama-c/Report.o
+%%PLUGINS%%lib/frama-c/RteGen.cmo
+%%PLUGINS%%lib/frama-c/RteGen.cmx
+%%PLUGINS%%lib/frama-c/RteGen.o
+%%PLUGINS%%lib/frama-c/Scope.cmo
+%%PLUGINS%%lib/frama-c/Scope.cmx
+%%PLUGINS%%lib/frama-c/Scope.o
+%%PLUGINS%%lib/frama-c/Semantic_callgraph.cmo
+%%PLUGINS%%lib/frama-c/Semantic_callgraph.cmx
+%%PLUGINS%%lib/frama-c/Semantic_callgraph.o
+%%PLUGINS%%lib/frama-c/Slicing.cmo
+%%PLUGINS%%lib/frama-c/Slicing.cmx
+%%PLUGINS%%lib/frama-c/Slicing.o
+%%PLUGINS%%lib/frama-c/Sparecode.cmo
+%%PLUGINS%%lib/frama-c/Sparecode.cmx
+%%PLUGINS%%lib/frama-c/Sparecode.o
+%%PLUGINS%%lib/frama-c/Syntactic_callgraph.cmo
+%%PLUGINS%%lib/frama-c/Syntactic_callgraph.cmx
+%%PLUGINS%%lib/frama-c/Syntactic_callgraph.o
+%%PLUGINS%%lib/frama-c/Users.cmo
+%%PLUGINS%%lib/frama-c/Users.cmx
+%%PLUGINS%%lib/frama-c/Users.o
+%%PLUGINS%%lib/frama-c/Value.cmo
+%%PLUGINS%%lib/frama-c/Value.cmx
+%%PLUGINS%%lib/frama-c/Value.o
+lib/frama-c/abstract_interp.cmi
+lib/frama-c/abstract_interp.cmo
+lib/frama-c/abstract_interp.cmx
+lib/frama-c/abstract_interp.o
+lib/frama-c/abstract_value.cmi
+lib/frama-c/abstract_value.cmo
+lib/frama-c/abstract_value.cmx
+lib/frama-c/abstract_value.o
+lib/frama-c/alarms.cmi
+lib/frama-c/alarms.cmo
+lib/frama-c/alarms.cmx
+lib/frama-c/alarms.o
+lib/frama-c/alpha.cmi
+lib/frama-c/alpha.cmo
+lib/frama-c/alpha.cmx
+lib/frama-c/alpha.o
+%%GUI%%lib/frama-c/analyses_manager.cmi
+%%GUI%%lib/frama-c/analyses_manager.cmo
+%%GUI%%lib/frama-c/analyses_manager.cmx
+%%GUI%%lib/frama-c/analyses_manager.o
+lib/frama-c/annotations.cmi
+lib/frama-c/annotations.cmo
+lib/frama-c/annotations.cmx
+lib/frama-c/annotations.o
+lib/frama-c/ast.cmi
+lib/frama-c/ast.cmo
+lib/frama-c/ast.cmx
+lib/frama-c/ast.o
+lib/frama-c/ast_info.cmi
+lib/frama-c/ast_info.cmo
+lib/frama-c/ast_info.cmx
+lib/frama-c/ast_info.o
+lib/frama-c/ast_printer.cmi
+lib/frama-c/ast_printer.cmo
+lib/frama-c/ast_printer.cmx
+lib/frama-c/ast_printer.o
+lib/frama-c/availexpslv.cmi
+lib/frama-c/availexpslv.cmo
+lib/frama-c/availexpslv.cmx
+lib/frama-c/availexpslv.o
+lib/frama-c/bag.cmi
+lib/frama-c/bag.cmo
+lib/frama-c/bag.cmx
+lib/frama-c/bag.o
+lib/frama-c/base.cmi
+lib/frama-c/base.cmo
+lib/frama-c/base.cmx
+lib/frama-c/base.o
+lib/frama-c/base_Set_Lattice.cmi
+lib/frama-c/base_Set_Lattice.cmo
+lib/frama-c/base_Set_Lattice.cmx
+lib/frama-c/base_Set_Lattice.o
+lib/frama-c/binary_cache.cmi
+lib/frama-c/binary_cache.cmo
+lib/frama-c/binary_cache.cmx
+lib/frama-c/binary_cache.o
+lib/frama-c/bit_model_access.cmi
+lib/frama-c/bit_model_access.cmo
+lib/frama-c/bit_model_access.cmx
+lib/frama-c/bit_model_access.o
+lib/frama-c/bit_utils.cmi
+lib/frama-c/bit_utils.cmo
+lib/frama-c/bit_utils.cmx
+lib/frama-c/bit_utils.o
+lib/frama-c/bitvector.cmi
+lib/frama-c/bitvector.cmo
+lib/frama-c/bitvector.cmx
+lib/frama-c/bitvector.o
+lib/frama-c/boot.cmi
+lib/frama-c/boot.cmo
+lib/frama-c/boot.cmx
+lib/frama-c/boot.o
+lib/frama-c/buckx.cmi
+lib/frama-c/buckx.cmo
+lib/frama-c/buckx.cmx
+lib/frama-c/buckx.o
+lib/frama-c/buckx_c.o
+lib/frama-c/cabs.cmi
+lib/frama-c/cabs.cmo
+lib/frama-c/cabs.cmx
+lib/frama-c/cabs.o
+lib/frama-c/cabs2cil.cmi
+lib/frama-c/cabs2cil.cmo
+lib/frama-c/cabs2cil.cmx
+lib/frama-c/cabs2cil.o
+lib/frama-c/cabscond.cmi
+lib/frama-c/cabscond.cmo
+lib/frama-c/cabscond.cmx
+lib/frama-c/cabscond.o
+lib/frama-c/cabshelper.cmi
+lib/frama-c/cabshelper.cmo
+lib/frama-c/cabshelper.cmx
+lib/frama-c/cabshelper.o
+lib/frama-c/cabsvisit.cmi
+lib/frama-c/cabsvisit.cmo
+lib/frama-c/cabsvisit.cmx
+lib/frama-c/cabsvisit.o
+lib/frama-c/callgraph.cmi
+lib/frama-c/callgraph.cmo
+lib/frama-c/callgraph.cmx
+lib/frama-c/callgraph.o
+lib/frama-c/cfg.cmi
+lib/frama-c/cfg.cmo
+lib/frama-c/cfg.cmx
+lib/frama-c/cfg.o
+lib/frama-c/cil.cmi
+lib/frama-c/cil.cmo
+lib/frama-c/cil.cmx
+lib/frama-c/cil.o
+lib/frama-c/cilE.cmi
+lib/frama-c/cilE.cmo
+lib/frama-c/cilE.cmx
+lib/frama-c/cilE.o
+lib/frama-c/cil_const.cmi
+lib/frama-c/cil_const.cmo
+lib/frama-c/cil_const.cmx
+lib/frama-c/cil_const.o
+lib/frama-c/cil_datatype.cmi
+lib/frama-c/cil_datatype.cmo
+lib/frama-c/cil_datatype.cmx
+lib/frama-c/cil_datatype.o
+lib/frama-c/cil_state_builder.cmi
+lib/frama-c/cil_state_builder.cmo
+lib/frama-c/cil_state_builder.cmx
+lib/frama-c/cil_state_builder.o
+lib/frama-c/cil_types.cmi
+lib/frama-c/cilglobopt.cmi
+lib/frama-c/cilglobopt.cmo
+lib/frama-c/cilglobopt.cmx
+lib/frama-c/cilglobopt.o
+lib/frama-c/cilmsg.cmi
+lib/frama-c/cilmsg.cmo
+lib/frama-c/cilmsg.cmx
+lib/frama-c/cilmsg.o
+lib/frama-c/ciltools.cmi
+lib/frama-c/ciltools.cmo
+lib/frama-c/ciltools.cmx
+lib/frama-c/ciltools.o
+lib/frama-c/cilutil.cmi
+lib/frama-c/cilutil.cmo
+lib/frama-c/cilutil.cmx
+lib/frama-c/cilutil.o
+lib/frama-c/clexer.cmi
+lib/frama-c/clexer.cmo
+lib/frama-c/clexer.cmx
+lib/frama-c/clexer.o
+lib/frama-c/clist.cmi
+lib/frama-c/clist.cmo
+lib/frama-c/clist.cmx
+lib/frama-c/clist.o
+lib/frama-c/cmdline.cmi
+lib/frama-c/cmdline.cmo
+lib/frama-c/cmdline.cmx
+lib/frama-c/cmdline.o
+lib/frama-c/command.cmi
+lib/frama-c/command.cmo
+lib/frama-c/command.cmx
+lib/frama-c/command.o
+lib/frama-c/config.cmi
+lib/frama-c/config.cmo
+lib/frama-c/config.cmx
+lib/frama-c/config.o
+lib/frama-c/cparser.cmi
+lib/frama-c/cparser.cmo
+lib/frama-c/cparser.cmx
+lib/frama-c/cparser.o
+lib/frama-c/cprint.cmi
+lib/frama-c/cprint.cmo
+lib/frama-c/cprint.cmx
+lib/frama-c/cprint.o
+lib/frama-c/cvalue_type.cmi
+lib/frama-c/cvalue_type.cmo
+lib/frama-c/cvalue_type.cmx
+lib/frama-c/cvalue_type.o
+lib/frama-c/dashtbl.cmi
+lib/frama-c/dashtbl.cmo
+lib/frama-c/dashtbl.cmx
+lib/frama-c/dashtbl.o
+lib/frama-c/dataflow.cmi
+lib/frama-c/dataflow.cmo
+lib/frama-c/dataflow.cmx
+lib/frama-c/dataflow.o
+lib/frama-c/datatype.cmi
+lib/frama-c/datatype.cmo
+lib/frama-c/datatype.cmx
+lib/frama-c/datatype.o
+lib/frama-c/db.cmi
+lib/frama-c/db.cmo
+lib/frama-c/db.cmx
+lib/frama-c/db.o
+lib/frama-c/db_types.cmi
+lib/frama-c/deadcodeelim.cmi
+lib/frama-c/deadcodeelim.cmo
+lib/frama-c/deadcodeelim.cmx
+lib/frama-c/deadcodeelim.o
+%%GUI%%lib/frama-c/debug_manager.cmi
+%%GUI%%lib/frama-c/debug_manager.cmo
+%%GUI%%lib/frama-c/debug_manager.cmx
+%%GUI%%lib/frama-c/debug_manager.o
+lib/frama-c/descr.cmi
+lib/frama-c/descr.cmo
+lib/frama-c/descr.cmx
+lib/frama-c/descr.o
+%%GUI%%lib/frama-c/design.cmi
+%%GUI%%lib/frama-c/design.cmo
+%%GUI%%lib/frama-c/design.cmx
+%%GUI%%lib/frama-c/design.o
+lib/frama-c/dominators.cmi
+lib/frama-c/dominators.cmo
+lib/frama-c/dominators.cmx
+lib/frama-c/dominators.o
+lib/frama-c/dynamic.cmi
+lib/frama-c/dynamic.cmo
+lib/frama-c/dynamic.cmx
+lib/frama-c/dynamic.o
+lib/frama-c/dynlink_common_interface.cmi
+lib/frama-c/dynlink_common_interface.cmo
+lib/frama-c/dynlink_common_interface.cmx
+lib/frama-c/dynlink_common_interface.o
+lib/frama-c/errorloc.cmi
+lib/frama-c/errorloc.cmo
+lib/frama-c/errorloc.cmx
+lib/frama-c/errorloc.o
+lib/frama-c/escape.cmi
+lib/frama-c/escape.cmo
+lib/frama-c/escape.cmx
+lib/frama-c/escape.o
+lib/frama-c/expcompare.cmi
+lib/frama-c/expcompare.cmo
+lib/frama-c/expcompare.cmx
+lib/frama-c/expcompare.o
+lib/frama-c/extlib.cmi
+lib/frama-c/extlib.cmo
+lib/frama-c/extlib.cmx
+lib/frama-c/extlib.o
+lib/frama-c/file.cmi
+lib/frama-c/file.cmo
+lib/frama-c/file.cmx
+lib/frama-c/file.o
+%%GUI%%lib/frama-c/file_manager.cmi
+%%GUI%%lib/frama-c/file_manager.cmo
+%%GUI%%lib/frama-c/file_manager.cmx
+%%GUI%%lib/frama-c/file_manager.o
+%%GUI%%lib/frama-c/filetree.cmi
+%%GUI%%lib/frama-c/filetree.cmo
+%%GUI%%lib/frama-c/filetree.cmx
+%%GUI%%lib/frama-c/filetree.o
+lib/frama-c/filter.cmi
+lib/frama-c/filter.cmo
+lib/frama-c/filter.cmx
+lib/frama-c/filter.o
+lib/frama-c/frontc.cmi
+lib/frama-c/frontc.cmo
+lib/frama-c/frontc.cmx
+lib/frama-c/frontc.o
+lib/frama-c/function_Froms.cmi
+lib/frama-c/function_Froms.cmo
+lib/frama-c/function_Froms.cmx
+lib/frama-c/function_Froms.o
+lib/frama-c/globals.cmi
+lib/frama-c/globals.cmo
+lib/frama-c/globals.cmx
+lib/frama-c/globals.o
+lib/frama-c/growArray.cmi
+lib/frama-c/growArray.cmo
+lib/frama-c/growArray.cmx
+lib/frama-c/growArray.o
+%%GUI%%lib/frama-c/gtk_form.cmi
+%%GUI%%lib/frama-c/gtk_form.cmo
+%%GUI%%lib/frama-c/gtk_form.cmx
+%%GUI%%lib/frama-c/gtk_form.o
+%%GUI%%lib/frama-c/gtk_helper.cmi
+%%GUI%%lib/frama-c/gtk_helper.cmo
+%%GUI%%lib/frama-c/gtk_helper.cmx
+%%GUI%%lib/frama-c/gtk_helper.o
+%%GUI%%lib/frama-c/gui_init.cmi
+%%GUI%%lib/frama-c/gui_parameters.cmi
+%%GUI%%lib/frama-c/gui_parameters.cmo
+%%GUI%%lib/frama-c/gui_parameters.cmx
+%%GUI%%lib/frama-c/gui_parameters.o
+%%GUI%%lib/frama-c/help_manager.cmi
+%%GUI%%lib/frama-c/help_manager.cmo
+%%GUI%%lib/frama-c/help_manager.cmx
+%%GUI%%lib/frama-c/help_manager.o
+lib/frama-c/hook.cmi
+lib/frama-c/hook.cmo
+lib/frama-c/hook.cmx
+lib/frama-c/hook.o
+lib/frama-c/hptmap.cmi
+lib/frama-c/hptmap.cmo
+lib/frama-c/hptmap.cmx
+lib/frama-c/hptmap.o
+lib/frama-c/hptset.cmi
+lib/frama-c/hptset.cmo
+lib/frama-c/hptset.cmx
+lib/frama-c/hptset.o
+lib/frama-c/infer_annotations.cmi
+lib/frama-c/infer_annotations.cmo
+lib/frama-c/infer_annotations.cmx
+lib/frama-c/infer_annotations.o
+lib/frama-c/inout_type.cmi
+lib/frama-c/inout_type.cmo
+lib/frama-c/inout_type.cmx
+lib/frama-c/inout_type.o
+lib/frama-c/int_Base.cmi
+lib/frama-c/int_Base.cmo
+lib/frama-c/int_Base.cmx
+lib/frama-c/int_Base.o
+lib/frama-c/int_Interv.cmi
+lib/frama-c/int_Interv.cmo
+lib/frama-c/int_Interv.cmx
+lib/frama-c/int_Interv.o
+lib/frama-c/int_Interv_Map.cmi
+lib/frama-c/int_Interv_Map.cmo
+lib/frama-c/int_Interv_Map.cmx
+lib/frama-c/int_Interv_Map.o
+lib/frama-c/inthash.cmi
+lib/frama-c/inthash.cmo
+lib/frama-c/inthash.cmx
+lib/frama-c/inthash.o
+lib/frama-c/ival.cmi
+lib/frama-c/ival.cmo
+lib/frama-c/ival.cmx
+lib/frama-c/ival.o
+lib/frama-c/journal.cmi
+lib/frama-c/journal.cmo
+lib/frama-c/journal.cmx
+lib/frama-c/journal.o
+lib/frama-c/kernel.cmi
+lib/frama-c/kernel.cmo
+lib/frama-c/kernel.cmx
+lib/frama-c/kernel.o
+lib/frama-c/kernel_datatype.cmi
+lib/frama-c/kernel_datatype.cmo
+lib/frama-c/kernel_datatype.cmx
+lib/frama-c/kernel_datatype.o
+lib/frama-c/kernel_function.cmi
+lib/frama-c/kernel_function.cmo
+lib/frama-c/kernel_function.cmx
+lib/frama-c/kernel_function.o
+lib/frama-c/lattice_With_Isotropy.cmi
+%%GUI%%lib/frama-c/launcher.cmi
+%%GUI%%lib/frama-c/launcher.cmo
+%%GUI%%lib/frama-c/launcher.cmx
+%%GUI%%lib/frama-c/launcher.o
+lib/frama-c/lexerhack.cmi
+lib/frama-c/lexerhack.cmo
+lib/frama-c/lexerhack.cmx
+lib/frama-c/lexerhack.o
+lib/frama-c/liveness.cmi
+lib/frama-c/liveness.cmo
+lib/frama-c/liveness.cmx
+lib/frama-c/liveness.o
+lib/frama-c/lmap.cmi
+lib/frama-c/lmap.cmo
+lib/frama-c/lmap.cmx
+lib/frama-c/lmap.o
+lib/frama-c/lmap_bitwise.cmi
+lib/frama-c/lmap_bitwise.cmo
+lib/frama-c/lmap_bitwise.cmx
+lib/frama-c/lmap_bitwise.o
+lib/frama-c/lmap_whole.cmi
+lib/frama-c/lmap_whole.cmo
+lib/frama-c/lmap_whole.cmx
+lib/frama-c/lmap_whole.o
+lib/frama-c/locations.cmi
+lib/frama-c/locations.cmo
+lib/frama-c/locations.cmx
+lib/frama-c/locations.o
+lib/frama-c/log.cmi
+lib/frama-c/log.cmo
+lib/frama-c/log.cmx
+lib/frama-c/log.o
+lib/frama-c/logic_builtin.cmi
+lib/frama-c/logic_builtin.cmo
+lib/frama-c/logic_builtin.cmx
+lib/frama-c/logic_builtin.o
+lib/frama-c/logic_const.cmi
+lib/frama-c/logic_const.cmo
+lib/frama-c/logic_const.cmx
+lib/frama-c/logic_const.o
+lib/frama-c/logic_env.cmi
+lib/frama-c/logic_env.cmo
+lib/frama-c/logic_env.cmx
+lib/frama-c/logic_env.o
+lib/frama-c/logic_interp.cmi
+lib/frama-c/logic_interp.cmo
+lib/frama-c/logic_interp.cmx
+lib/frama-c/logic_interp.o
+lib/frama-c/logic_lexer.cmi
+lib/frama-c/logic_lexer.cmo
+lib/frama-c/logic_lexer.cmx
+lib/frama-c/logic_lexer.o
+lib/frama-c/logic_parser.cmi
+lib/frama-c/logic_parser.cmo
+lib/frama-c/logic_parser.cmx
+lib/frama-c/logic_parser.o
+lib/frama-c/logic_preprocess.cmi
+lib/frama-c/logic_preprocess.cmo
+lib/frama-c/logic_preprocess.cmx
+lib/frama-c/logic_preprocess.o
+lib/frama-c/logic_print.cmi
+lib/frama-c/logic_print.cmo
+lib/frama-c/logic_print.cmx
+lib/frama-c/logic_print.o
+lib/frama-c/logic_ptree.cmi
+lib/frama-c/logic_typing.cmi
+lib/frama-c/logic_typing.cmo
+lib/frama-c/logic_typing.cmx
+lib/frama-c/logic_typing.o
+lib/frama-c/logic_utils.cmi
+lib/frama-c/logic_utils.cmo
+lib/frama-c/logic_utils.cmx
+lib/frama-c/logic_utils.o
+lib/frama-c/loop.cmi
+lib/frama-c/loop.cmo
+lib/frama-c/loop.cmx
+lib/frama-c/loop.o
+lib/frama-c/machdep.cmi
+lib/frama-c/machdep.cmo
+lib/frama-c/machdep.cmx
+lib/frama-c/machdep.o
+lib/frama-c/machdep_ppc_32.cmi
+lib/frama-c/machdep_ppc_32.cmo
+lib/frama-c/machdep_ppc_32.cmx
+lib/frama-c/machdep_ppc_32.o
+lib/frama-c/machdep_ppc_32_diab.cmi
+lib/frama-c/machdep_ppc_32_diab.cmo
+lib/frama-c/machdep_ppc_32_diab.cmx
+lib/frama-c/machdep_ppc_32_diab.o
+lib/frama-c/machdep_x86_16.cmi
+lib/frama-c/machdep_x86_16.cmo
+lib/frama-c/machdep_x86_16.cmx
+lib/frama-c/machdep_x86_16.o
+lib/frama-c/machdep_x86_32.cmi
+lib/frama-c/machdep_x86_32.cmo
+lib/frama-c/machdep_x86_32.cmx
+lib/frama-c/machdep_x86_32.o
+lib/frama-c/machdep_x86_64.cmi
+lib/frama-c/machdep_x86_64.cmo
+lib/frama-c/machdep_x86_64.cmx
+lib/frama-c/machdep_x86_64.o
+lib/frama-c/map_Lattice.cmi
+lib/frama-c/map_Lattice.cmo
+lib/frama-c/map_Lattice.cmx
+lib/frama-c/map_Lattice.o
+%%GUI%%lib/frama-c/menu_manager.cmi
+%%GUI%%lib/frama-c/menu_manager.cmo
+%%GUI%%lib/frama-c/menu_manager.cmx
+%%GUI%%lib/frama-c/menu_manager.o
+lib/frama-c/mergecil.cmi
+lib/frama-c/mergecil.cmo
+lib/frama-c/mergecil.cmx
+lib/frama-c/mergecil.o
+lib/frama-c/messages.cmi
+lib/frama-c/messages.cmo
+lib/frama-c/messages.cmx
+lib/frama-c/messages.o
+lib/frama-c/my_bigint.cmi
+lib/frama-c/my_bigint.cmo
+lib/frama-c/my_bigint.cmx
+lib/frama-c/my_bigint.o
+lib/frama-c/mybigarray.o
+lib/frama-c/new_offsetmap.cmi
+lib/frama-c/new_offsetmap.cmo
+lib/frama-c/new_offsetmap.cmx
+lib/frama-c/new_offsetmap.o
+lib/frama-c/obfuscate.cmi
+lib/frama-c/obfuscate.cmo
+lib/frama-c/obfuscate.cmx
+lib/frama-c/obfuscate.o
+lib/frama-c/offsetmap.cmi
+lib/frama-c/offsetmap.cmo
+lib/frama-c/offsetmap.cmx
+lib/frama-c/offsetmap.o
+lib/frama-c/offsetmap_bitwise.cmi
+lib/frama-c/offsetmap_bitwise.cmo
+lib/frama-c/offsetmap_bitwise.cmx
+lib/frama-c/offsetmap_bitwise.o
+lib/frama-c/oneret.cmi
+lib/frama-c/oneret.cmo
+lib/frama-c/oneret.cmx
+lib/frama-c/oneret.o
+lib/frama-c/origin.cmi
+lib/frama-c/origin.cmo
+lib/frama-c/origin.cmx
+lib/frama-c/origin.o
+lib/frama-c/parameters.cmi
+lib/frama-c/parameters.cmo
+lib/frama-c/parameters.cmx
+lib/frama-c/parameters.o
+lib/frama-c/patch.cmi
+lib/frama-c/patch.cmo
+lib/frama-c/patch.cmx
+lib/frama-c/patch.o
+lib/frama-c/path_lattice.cmi
+lib/frama-c/path_lattice.cmo
+lib/frama-c/path_lattice.cmx
+lib/frama-c/path_lattice.o
+lib/frama-c/pdgIndex.cmi
+lib/frama-c/pdgIndex.cmo
+lib/frama-c/pdgIndex.cmx
+lib/frama-c/pdgIndex.o
+lib/frama-c/pdgMarks.cmi
+lib/frama-c/pdgMarks.cmo
+lib/frama-c/pdgMarks.cmx
+lib/frama-c/pdgMarks.o
+lib/frama-c/pdgTypes.cmi
+lib/frama-c/pdgTypes.cmo
+lib/frama-c/pdgTypes.cmx
+lib/frama-c/pdgTypes.o
+lib/frama-c/plugin.cmi
+lib/frama-c/plugin.cmo
+lib/frama-c/plugin.cmx
+lib/frama-c/plugin.o
+lib/frama-c/plugins/.keep_me
+%%PLUGINS%%lib/frama-c/plugins/Aorai.cmi
+%%PLUGINS%%lib/frama-c/plugins/Aorai.cmo
+%%PLUGINS%%lib/frama-c/plugins/Aorai.cmxs
+%%PLUGINS%%lib/frama-c/plugins/Security_slicing.cmi
+%%PLUGINS%%lib/frama-c/plugins/Security_slicing.cmo
+%%PLUGINS%%lib/frama-c/plugins/Security_slicing.cmxs
+lib/frama-c/plugins/gui/.keep_me
+%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmi
+%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmo
+%%GUI%%lib/frama-c/plugins/gui/Security_slicing.cmxs
+%%GUI%%lib/frama-c/pretty_source.cmi
+%%GUI%%lib/frama-c/pretty_source.cmo
+%%GUI%%lib/frama-c/pretty_source.cmx
+%%GUI%%lib/frama-c/pretty_source.o
+lib/frama-c/pretty_utils.cmi
+lib/frama-c/pretty_utils.cmo
+lib/frama-c/pretty_utils.cmx
+lib/frama-c/pretty_utils.o
+lib/frama-c/printer.cmi
+lib/frama-c/printer.cmo
+lib/frama-c/printer.cmx
+lib/frama-c/printer.o
+lib/frama-c/printexc_common_interface.cmi
+lib/frama-c/printexc_common_interface.cmo
+lib/frama-c/printexc_common_interface.cmx
+lib/frama-c/printexc_common_interface.o
+lib/frama-c/project.cmi
+lib/frama-c/project.cmo
+lib/frama-c/project.cmx
+lib/frama-c/project.o
+%%GUI%%lib/frama-c/project_manager.cmi
+%%GUI%%lib/frama-c/project_manager.cmo
+%%GUI%%lib/frama-c/project_manager.cmx
+%%GUI%%lib/frama-c/project_manager.o
+lib/frama-c/project_skeleton.cmi
+lib/frama-c/project_skeleton.cmo
+lib/frama-c/project_skeleton.cmx
+lib/frama-c/project_skeleton.o
+lib/frama-c/properties_status.cmi
+lib/frama-c/properties_status.cmo
+lib/frama-c/properties_status.cmx
+lib/frama-c/properties_status.o
+lib/frama-c/property.cmi
+lib/frama-c/property.cmo
+lib/frama-c/property.cmx
+lib/frama-c/property.o
+%%GUI%%lib/frama-c/property_navigator.cmi
+%%GUI%%lib/frama-c/property_navigator.cmo
+%%GUI%%lib/frama-c/property_navigator.cmx
+%%GUI%%lib/frama-c/property_navigator.o
+lib/frama-c/ptests_config.cmi
+lib/frama-c/qstack.cmi
+lib/frama-c/qstack.cmo
+lib/frama-c/qstack.cmx
+lib/frama-c/qstack.o
+lib/frama-c/rangemap.cmi
+lib/frama-c/rangemap.cmo
+lib/frama-c/rangemap.cmx
+lib/frama-c/rangemap.o
+lib/frama-c/reachingdefs.cmi
+lib/frama-c/reachingdefs.cmo
+lib/frama-c/reachingdefs.cmx
+lib/frama-c/reachingdefs.o
+lib/frama-c/relations_type.cmi
+lib/frama-c/relations_type.cmo
+lib/frama-c/relations_type.cmx
+lib/frama-c/relations_type.o
+lib/frama-c/rmciltmps.cmi
+lib/frama-c/rmciltmps.cmo
+lib/frama-c/rmciltmps.cmx
+lib/frama-c/rmciltmps.o
+lib/frama-c/rmtmps.cmi
+lib/frama-c/rmtmps.cmo
+lib/frama-c/rmtmps.cmx
+lib/frama-c/rmtmps.o
+lib/frama-c/service_graph.cmi
+lib/frama-c/service_graph.cmo
+lib/frama-c/service_graph.cmx
+lib/frama-c/service_graph.o
+lib/frama-c/setWithNearest.cmi
+lib/frama-c/setWithNearest.cmo
+lib/frama-c/setWithNearest.cmx
+lib/frama-c/setWithNearest.o
+lib/frama-c/shifted_Location.cmi
+lib/frama-c/shifted_Location.cmo
+lib/frama-c/shifted_Location.cmx
+lib/frama-c/shifted_Location.o
+lib/frama-c/slicingInternals.cmi
+lib/frama-c/slicingInternals.cmo
+lib/frama-c/slicingInternals.cmx
+lib/frama-c/slicingInternals.o
+lib/frama-c/slicingTypes.cmi
+lib/frama-c/slicingTypes.cmo
+lib/frama-c/slicingTypes.cmx
+lib/frama-c/slicingTypes.o
+%%GUI%%lib/frama-c/source_manager.cmi
+%%GUI%%lib/frama-c/source_manager.cmo
+%%GUI%%lib/frama-c/source_manager.cmx
+%%GUI%%lib/frama-c/source_manager.o
+%%GUI%%lib/frama-c/source_viewer.cmi
+%%GUI%%lib/frama-c/source_viewer.cmo
+%%GUI%%lib/frama-c/source_viewer.cmx
+%%GUI%%lib/frama-c/source_viewer.o
+lib/frama-c/special_hooks.cmi
+lib/frama-c/special_hooks.cmo
+lib/frama-c/special_hooks.cmx
+lib/frama-c/special_hooks.o
+lib/frama-c/state.cmi
+lib/frama-c/state.cmo
+lib/frama-c/state.cmx
+lib/frama-c/state.o
+lib/frama-c/state_builder.cmi
+lib/frama-c/state_builder.cmo
+lib/frama-c/state_builder.cmx
+lib/frama-c/state_builder.o
+lib/frama-c/state_dependency_graph.cmi
+lib/frama-c/state_dependency_graph.cmo
+lib/frama-c/state_dependency_graph.cmx
+lib/frama-c/state_dependency_graph.o
+lib/frama-c/state_imp.cmi
+lib/frama-c/state_imp.cmo
+lib/frama-c/state_imp.cmx
+lib/frama-c/state_imp.o
+lib/frama-c/state_selection.cmi
+lib/frama-c/state_selection.cmo
+lib/frama-c/state_selection.cmx
+lib/frama-c/state_selection.o
+lib/frama-c/state_set.cmi
+lib/frama-c/state_set.cmo
+lib/frama-c/state_set.cmx
+lib/frama-c/state_set.o
+lib/frama-c/state_topological.cmi
+lib/frama-c/state_topological.cmo
+lib/frama-c/state_topological.cmx
+lib/frama-c/state_topological.o
+lib/frama-c/stmts_graph.cmi
+lib/frama-c/stmts_graph.cmo
+lib/frama-c/stmts_graph.cmx
+lib/frama-c/stmts_graph.o
+lib/frama-c/structural_descr.cmi
+lib/frama-c/structural_descr.cmo
+lib/frama-c/structural_descr.cmx
+lib/frama-c/structural_descr.o
+lib/frama-c/subst.cmi
+lib/frama-c/subst.cmo
+lib/frama-c/subst.cmx
+lib/frama-c/subst.o
+lib/frama-c/task.cmi
+lib/frama-c/task.cmo
+lib/frama-c/task.cmx
+lib/frama-c/task.o
+lib/frama-c/translate_lightweight.cmi
+lib/frama-c/translate_lightweight.cmo
+lib/frama-c/translate_lightweight.cmx
+lib/frama-c/translate_lightweight.o
+lib/frama-c/type.cmi
+lib/frama-c/type.cmo
+lib/frama-c/type.cmx
+lib/frama-c/type.o
+lib/frama-c/unicode.cmi
+lib/frama-c/unicode.cmo
+lib/frama-c/unicode.cmx
+lib/frama-c/unicode.o
+lib/frama-c/unmarshal.cmi
+lib/frama-c/unmarshal.cmo
+lib/frama-c/unmarshal.cmx
+lib/frama-c/unmarshal.o
+lib/frama-c/unmarshal_nums.cmi
+lib/frama-c/unmarshal_nums.cmo
+lib/frama-c/unmarshal_nums.cmx
+lib/frama-c/unmarshal_nums.o
+lib/frama-c/unroll_loops.cmi
+lib/frama-c/unroll_loops.cmo
+lib/frama-c/unroll_loops.cmx
+lib/frama-c/unroll_loops.o
+lib/frama-c/usedef.cmi
+lib/frama-c/usedef.cmo
+lib/frama-c/usedef.cmx
+lib/frama-c/usedef.o
+lib/frama-c/utf8_logic.cmi
+lib/frama-c/utf8_logic.cmo
+lib/frama-c/utf8_logic.cmx
+lib/frama-c/utf8_logic.o
+lib/frama-c/visitor.cmi
+lib/frama-c/visitor.cmo
+lib/frama-c/visitor.cmx
+lib/frama-c/visitor.o
+%%GUI%%lib/frama-c/warning_manager.cmi
+%%GUI%%lib/frama-c/warning_manager.cmo
+%%GUI%%lib/frama-c/warning_manager.cmx
+%%GUI%%lib/frama-c/warning_manager.o
+lib/frama-c/whitetrack.cmi
+lib/frama-c/whitetrack.cmo
+lib/frama-c/whitetrack.cmx
+lib/frama-c/whitetrack.o
+lib/frama-c/widen.cmi
+lib/frama-c/widen.cmo
+lib/frama-c/widen.cmx
+lib/frama-c/widen.o
+lib/frama-c/widen_type.cmi
+lib/frama-c/widen_type.cmo
+lib/frama-c/widen_type.cmx
+lib/frama-c/widen_type.o
+lib/frama-c/zrapp.cmi
+lib/frama-c/zrapp.cmo
+lib/frama-c/zrapp.cmx
+lib/frama-c/zrapp.o
+share/emacs/site-lisp/acsl.el
+%%DATADIR%%/Makefile.common
+%%DATADIR%%/Makefile.config
+%%DATADIR%%/Makefile.dynamic
+%%DATADIR%%/Makefile.dynamic_config
+%%DATADIR%%/Makefile.kernel
+%%DATADIR%%/Makefile.plugin
+%%DATADIR%%/acsl.el
+%%GUI%%%%DATADIR%%/attach.png
+%%DATADIR%%/builtin.c
+%%DATADIR%%/builtin.h
+%%GUI%%%%DATADIR%%/check.png
+%%DATADIR%%/configure.ac
+%%GUI%%%%DATADIR%%/failed.png
+%%DATADIR%%/fluctuat.h
+%%GUI%%%%DATADIR%%/frama-c.gif
+%%GUI%%%%DATADIR%%/frama-c.ico
+%%DATADIR%%/frama-c.rc
+%%GUI%%%%DATADIR%%/left.png
+%%DATADIR%%/libc.c
+%%DATADIR%%/libc.h
+%%DATADIR%%/libc/__fc_builtin.c
+%%DATADIR%%/libc/__fc_builtin.h
+%%DATADIR%%/libc/__fc_define_blkcnt_t.h
+%%DATADIR%%/libc/__fc_define_blksize_t.h
+%%DATADIR%%/libc/__fc_define_dev_t.h
+%%DATADIR%%/libc/__fc_define_ino_t.h
+%%DATADIR%%/libc/__fc_define_iovec.h
+%%DATADIR%%/libc/__fc_define_mode_t.h
+%%DATADIR%%/libc/__fc_define_nlink_t.h
+%%DATADIR%%/libc/__fc_define_null.h
+%%DATADIR%%/libc/__fc_define_off_t.h
+%%DATADIR%%/libc/__fc_define_restrict.h
+%%DATADIR%%/libc/__fc_define_size_t.h
+%%DATADIR%%/libc/__fc_define_suseconds_t.h
+%%DATADIR%%/libc/__fc_define_time_t.h
+%%DATADIR%%/libc/__fc_define_uid_and_gid.h
+%%DATADIR%%/libc/__fc_define_wchar_t.h
+%%DATADIR%%/libc/__fc_machdep.h
+%%DATADIR%%/libc/__fc_string_axiomatic.h
+%%DATADIR%%/libc/assert.c
+%%DATADIR%%/libc/assert.h
+%%DATADIR%%/libc/complex.c
+%%DATADIR%%/libc/complex.h
+%%DATADIR%%/libc/ctype.c
+%%DATADIR%%/libc/ctype.h
+%%DATADIR%%/libc/dirent.h
+%%DATADIR%%/libc/errno.c
+%%DATADIR%%/libc/errno.h
+%%DATADIR%%/libc/fc_posix_runtime.c
+%%DATADIR%%/libc/fc_runtime.c
+%%DATADIR%%/libc/fenv.c
+%%DATADIR%%/libc/fenv.h
+%%DATADIR%%/libc/float.c
+%%DATADIR%%/libc/float.h
+%%DATADIR%%/libc/inttypes.c
+%%DATADIR%%/libc/inttypes.h
+%%DATADIR%%/libc/iso646.c
+%%DATADIR%%/libc/iso646.h
+%%DATADIR%%/libc/limits.c
+%%DATADIR%%/libc/limits.h
+%%DATADIR%%/libc/locale.c
+%%DATADIR%%/libc/locale.h
+%%DATADIR%%/libc/math.c
+%%DATADIR%%/libc/math.h
+%%DATADIR%%/libc/netinet/in.h
+%%DATADIR%%/libc/pwd.h
+%%DATADIR%%/libc/setjmp.c
+%%DATADIR%%/libc/setjmp.h
+%%DATADIR%%/libc/signal.c
+%%DATADIR%%/libc/signal.h
+%%DATADIR%%/libc/stdarg.c
+%%DATADIR%%/libc/stdarg.h
+%%DATADIR%%/libc/stdbool.c
+%%DATADIR%%/libc/stdbool.h
+%%DATADIR%%/libc/stddef.c
+%%DATADIR%%/libc/stddef.h
+%%DATADIR%%/libc/stdint.h
+%%DATADIR%%/libc/stdio.c
+%%DATADIR%%/libc/stdio.h
+%%DATADIR%%/libc/stdlib.c
+%%DATADIR%%/libc/stdlib.h
+%%DATADIR%%/libc/string.c
+%%DATADIR%%/libc/string.h
+%%DATADIR%%/libc/sys/socket.h
+%%DATADIR%%/libc/sys/stat.h
+%%DATADIR%%/libc/sys/time.h
+%%DATADIR%%/libc/sys/types.h
+%%DATADIR%%/libc/sys/uio.h
+%%DATADIR%%/libc/sys/wait.h
+%%DATADIR%%/libc/syslog.h
+%%DATADIR%%/libc/test.c
+%%DATADIR%%/libc/tgmath.c
+%%DATADIR%%/libc/tgmath.h
+%%DATADIR%%/libc/time.c
+%%DATADIR%%/libc/time.h
+%%DATADIR%%/libc/uchar.c
+%%DATADIR%%/libc/uchar.h
+%%DATADIR%%/libc/unistd.h
+%%DATADIR%%/libc/wchar.c
+%%DATADIR%%/libc/wchar.h
+%%DATADIR%%/libc/wctype.c
+%%DATADIR%%/libc/wctype.h
+%%DATADIR%%/machine.h
+%%DATADIR%%/malloc.c
+%%DATADIR%%/manuals/acsl-implementation.pdf
+%%DATADIR%%/manuals/acsl.pdf
+%%DATADIR%%/manuals/aorai-manual.pdf
+%%DATADIR%%/manuals/jessie-tutorial.pdf
+%%DATADIR%%/manuals/plugin-development-guide.pdf
+%%DATADIR%%/manuals/rte-manual.pdf
+%%DATADIR%%/manuals/user-manual.pdf
+%%DATADIR%%/manuals/value-analysis.pdf
+%%DATADIR%%/manuals/wp-manual.pdf
+%%DATADIR%%/math.c
+%%DATADIR%%/math.h
+%%GUI%%%%DATADIR%%/maybe.png
+%%GUI%%%%DATADIR%%/relies_on_hyp.png
+%%GUI%%%%DATADIR%%/right.png
+@dirrm lib/frama-c/plugins/gui
+@dirrm lib/frama-c/plugins
+@dirrm lib/frama-c
+@dirrm %%DATADIR%%/manuals
+@dirrm %%DATADIR%%/libc/sys
+@dirrm %%DATADIR%%/libc/netinet
+@dirrm %%DATADIR%%/libc
+@dirrm %%DATADIR%%