svn commit: r435383 - in head/devel/frama-c: . files
Mahdi Mokhtari
mmokhi at FreeBSD.org
Sat Mar 4 04:19:05 UTC 2017
Author: mmokhi
Date: Sat Mar 4 04:19:03 2017
New Revision: 435383
URL: https://svnweb.freebsd.org/changeset/ports/435383
Log:
devel/frama-c: Update to the last release (Silicon-20161101).
Reviewed by: feld, mat
Approved by: feld, mat (mentors)
Differential Revision: https://reviews.freebsd.org/D9790
Added:
head/devel/frama-c/files/
head/devel/frama-c/files/patch-Makefile (contents, props changed)
head/devel/frama-c/files/patch-src_plugins_wp_Makefile.in (contents, props changed)
Modified:
head/devel/frama-c/Makefile
head/devel/frama-c/distinfo
head/devel/frama-c/pkg-plist
Modified: head/devel/frama-c/Makefile
==============================================================================
--- head/devel/frama-c/Makefile Sat Mar 4 04:16:16 2017 (r435382)
+++ head/devel/frama-c/Makefile Sat Mar 4 04:19:03 2017 (r435383)
@@ -2,10 +2,9 @@
# $FreeBSD$
PORTNAME= frama-c
-DISTVERSIONPREFIX= Sodium-
-DISTVERSION= 20150201
-PORTREVISION= 3
-CATEGORIES= devel
+DISTVERSIONPREFIX= Silicon-
+DISTVERSION= 20161101
+CATEGORIES= devel lang
MASTER_SITES= http://frama-c.com/download/
DIST_SUBDIR= framac-01
@@ -14,33 +13,50 @@ COMMENT= Extensible platform for source-
LICENSE= LGPL21
-EXTRACT_DEPENDS= gtar:archivers/gtar
-BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph
-RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph
+BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph \
+ ${LOCALBASE}/lib/ocaml/site-lib/zarith/zarith.a:math/ocaml-zarith
+RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph \
+ ${LOCALBASE}/lib/ocaml/site-lib/zarith/zarith.a:math/ocaml-zarith
+LIB_DEPENDS= libgmp.so:math/gmp \
+ libfreetype.so:print/freetype2 \
+ libfontconfig.so:x11-fonts/fontconfig
-USES= gmake
+USES= gettext-runtime gmake gnome localbase pathfix pkgconfig
USE_OCAML= yes
+USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 \
+ libartlgpl2 libgnomecanvas pango
+
GNU_CONFIGURE= yes
-EXTRACT_CMD= gtar
-EXTRACT_BEFORE_ARGS= -xf
CONFIGURE_ARGS+=--with-cpp="${FRAMAC_DEFAULT_CPP}"
-MAKE_ENV+= FRAMAC_LIBDIR="${PREFIX}/lib/frama-c"
+MAKE_ENV+= FRAMAC_LIBDIR="${FRAMAC_LIBDIR}" \
+ FRAMAC_DATADIR="${FRAMAC_DATADIR}" \
+ STAGEDIR="${STAGEDIR}"
FRAMAC_DEFAULT_CPP?= ${CPP} -C -I${DATADIR}/libc -I.
+FRAMAC_LIBDIR= ${PREFIX}/lib/${PORTNAME}
+FRAMAC_DATADIR= ${DATADIR}
post-patch:
@cd ${WRKSRC}/tests; ${MKDIR} aorai report wp wp_acsl wp_bts \
wp_engine wp_hoare wp_plugin wp_runtime wp_store wp_typed
@${REINPLACE_CMD} -e 's|@make |@${MAKE_CMD} |' \
- ${WRKSRC}/src/aorai/Makefile.in
+ ${WRKSRC}/src/plugins/*/Makefile.in
+ @${REINPLACE_CMD} \
+ -e 's|$$(CP)|${INSTALL_DATA}|' \
+ -e 's|add_prefix|addprefix|' \
+ ${WRKSRC}/share/Makefile.plugin.template
@${REINPLACE_CMD} \
-e 's|$$(CP)|${INSTALL_DATA}|' \
-e 's|add_prefix|addprefix|' \
- ${WRKSRC}/share/Makefile.plugin
+ ${WRKSRC}/share/Makefile.common
@${REINPLACE_CMD} \
-e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \
-e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \
${WRKSRC}/share/Makefile.dynamic
+ @${REINPLACE_CMD} \
+ -e '\|$$(CP) $$(TARGETS|s|$$(CP)|${INSTALL_DATA}|' \
+ -e '\|$$(CP) frama-c|s|$$(CP)|${INSTALL_SCRIPT}|' \
+ ${WRKSRC}/share/Makefile.common
@${REINPLACE_CMD} -e '\|^# Installation|,\|^# File headers|{ \
\|_LIBDIR|s|(FRAMAC_LIBDIR)|(DESTDIR)$$(FRAMAC_LIBDIR)|; \
\|_PLUGINDIR|s|(FRAMAC_PLUGINDIR)|(DESTDIR)$$(FRAMAC_PLUGINDIR)|; \
@@ -53,8 +69,8 @@ post-install:
${CHMOD} u+w ${STAGEDIR}${PREFIX}/bin/*
${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
${CHMOD} u-w ${STAGEDIR}${PREFIX}/bin/*
- ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/frama-c/plugins/*.cmxs
- ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/frama-c/plugins/gui/*.cmxs
+ ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/${PORTNAME}/plugins/gui/*.cmxs
+ ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/${PORTNAME}/plugins/top/*.cmxs
check regression-test test: build
@cd ${WRKSRC}; ${SETENV} ${MAKE_ENV:NCPP=*} \
Modified: head/devel/frama-c/distinfo
==============================================================================
--- head/devel/frama-c/distinfo Sat Mar 4 04:16:16 2017 (r435382)
+++ head/devel/frama-c/distinfo Sat Mar 4 04:19:03 2017 (r435383)
@@ -1,2 +1,3 @@
-SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d
-SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507
+TIMESTAMP = 1483395653
+SHA256 (framac-01/frama-c-Silicon-20161101.tar.gz) = b03918572f9a4dbf28b6234c8ece14cbe3a7587ef17add5225bd865f7d2100e3
+SIZE (framac-01/frama-c-Silicon-20161101.tar.gz) = 6689893
Added: head/devel/frama-c/files/patch-Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/devel/frama-c/files/patch-Makefile Sat Mar 4 04:19:03 2017 (r435383)
@@ -0,0 +1,96 @@
+--- Makefile.orig 2017-03-03 17:51:06 UTC
++++ Makefile
+@@ -1581,12 +1581,12 @@ install-lib: clean-install
+
+ install-doc-code:
+ $(PRINT_INSTALL) API documentation
+- $(MKDIR) $(FRAMAC_DATADIR)/doc/code
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code
+ (cd doc ; tar cf - --exclude='.svn' --exclude='*.toc' \
+ --exclude='*.htm' --exclude='*.txt' \
+ --exclude='*.ml' \
+ code \
+- | (cd $(FRAMAC_DATADIR)/doc ; tar xf -))
++ | (cd $(STAGEDIR)$(FRAMAC_DATADIR)/doc ; tar xf -))
+
+ .PHONY: install
+ install:: install-lib
+@@ -1595,38 +1595,38 @@ install:: install-lib
+ $(MKDIR) $(MANDIR)/man1
+ $(MKDIR) $(FRAMAC_PLUGINDIR)/top
+ $(MKDIR) $(FRAMAC_PLUGINDIR)/gui
+- $(MKDIR) $(FRAMAC_DATADIR)/theme/default
+- $(MKDIR) $(FRAMAC_DATADIR)/theme/colorblind
+- $(MKDIR) $(FRAMAC_DATADIR)/libc/sys
+- $(MKDIR) $(FRAMAC_DATADIR)/libc/netinet
+- $(MKDIR) $(FRAMAC_DATADIR)/libc/linux
+- $(MKDIR) $(FRAMAC_DATADIR)/libc/net
+- $(MKDIR) $(FRAMAC_DATADIR)/libc/arpa
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/default
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/colorblind
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/sys
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/netinet
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/linux
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/net
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/libc/arpa
+ $(PRINT_INSTALL) shared files
+ $(CP) \
+ $(wildcard share/*.c share/*.h) \
+ share/Makefile.dynamic share/Makefile.plugin.template share/Makefile.kernel \
+ share/Makefile.config share/Makefile.common share/Makefile.generic \
+ share/configure.ac \
+- $(FRAMAC_DATADIR)
+- $(MKDIR) $(FRAMAC_DATADIR)/emacs
+- $(CP) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs
+- $(CP) share/frama-c.rc $(ICONS) $(FRAMAC_DATADIR)
+- $(CP) $(FEEDBACK_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default
+- $(CP) $(FEEDBACK_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind
++ $(STAGEDIR)$(FRAMAC_DATADIR)
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/emacs
++ $(CP) $(wildcard share/emacs/*.el) $(STAGEDIR)$(FRAMAC_DATADIR)/emacs
++ $(CP) share/frama-c.rc $(ICONS) $(STAGEDIR)$(FRAMAC_DATADIR)
++ $(CP) $(FEEDBACK_ICONS_DEFAULT) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/default
++ $(CP) $(FEEDBACK_ICONS_COLORBLIND) $(STAGEDIR)$(FRAMAC_DATADIR)/theme/colorblind
+ if [ -d $(EMACS_DATADIR) ]; then \
+ $(CP) $(wildcard share/emacs/*.el) $(EMACS_DATADIR); \
+ fi
+ $(CP) share/Makefile.dynamic_config.external \
+- $(FRAMAC_DATADIR)/Makefile.dynamic_config
++ $(STAGEDIR)$(FRAMAC_DATADIR)/Makefile.dynamic_config
+ $(PRINT_INSTALL) C standard library
+ $(CP) $(wildcard share/libc/*.c share/libc/*.i share/libc/*.h) \
+- $(FRAMAC_DATADIR)/libc
+- $(CP) share/libc/sys/*.[ch] $(FRAMAC_DATADIR)/libc/sys
+- $(CP) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa
+- $(CP) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net
+- $(CP) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet
+- $(CP) share/libc/linux/*.[ch] $(FRAMAC_DATADIR)/libc/linux
++ $(STAGEDIR)$(FRAMAC_DATADIR)/libc
++ $(CP) share/libc/sys/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/sys
++ $(CP) share/libc/arpa/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/arpa
++ $(CP) share/libc/net/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/net
++ $(CP) share/libc/netinet/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/netinet
++ $(CP) share/libc/linux/*.[ch] $(STAGEDIR)$(FRAMAC_DATADIR)/libc/linux
+ $(PRINT_INSTALL) binaries
+ $(CP) bin/toplevel.$(OCAMLBEST) $(BINDIR)/frama-c$(EXE)
+ $(CP) bin/toplevel.byte$(EXE) $(BINDIR)/frama-c.byte$(EXE)
+@@ -1647,8 +1647,8 @@
+ $(PRINT_INSTALL) config files
+ $(CP) $(addprefix ptests/,$(PTESTS_FILES)) $(FRAMAC_LIBDIR)
+ $(PRINT_INSTALL) API documentation
+- $(MKDIR) $(FRAMAC_DATADIR)/doc/code
+- $(CP) $(wildcard $(DOC_GEN_FILES)) $(FRAMAC_DATADIR)/doc/code
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code
++ $(CP) $(wildcard $(DOC_GEN_FILES)) $(STAGEDIR)$(FRAMAC_DATADIR)/doc/code
+ $(PRINT_INSTALL) dynamic plug-ins
+ if [ -d "$(FRAMAC_PLUGIN)" -a "$(PLUGIN_DYN_EXISTS)" = "yes" ]; then \
+ $(CP) $(PLUGIN_DYN_CMI_LIST) $(PLUGIN_META_LIST) \
+@@ -1672,7 +1672,7 @@
+ $(PRINT_RM) installed binaries
+ $(RM) $(BINDIR)/frama-c* $(BINDIR)/ptests.$(PTESTSBEST)$(EXE)
+ $(PRINT_RM) installed shared files
+- $(RM) -R $(FRAMAC_DATADIR)
++ $(RM) -R $(STAGEDIR)$(FRAMAC_DATADIR)
+ $(PRINT_RM) installed libraries
+ $(RM) -R $(FRAMAC_LIBDIR) $(FRAMAC_PLUGINDIR)
+ $(PRINT_RM) installed man files
Added: head/devel/frama-c/files/patch-src_plugins_wp_Makefile.in
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/devel/frama-c/files/patch-src_plugins_wp_Makefile.in Sat Mar 4 04:19:03 2017 (r435383)
@@ -0,0 +1,30 @@
+--- src/plugins/wp/Makefile.in.orig 2017-03-03 17:46:27 UTC
++++ src/plugins/wp/Makefile.in
+@@ -313,7 +313,7 @@ wp-coq-install:
+ $(PRINT_INSTALL) "Coq Libraries"
+ $(INSTALL_SHARE) -f -p -s \
+ -i $(Wp_DIR)/share \
+- -d $(FRAMAC_DATADIR)/wp \
++ -d $(STAGEDIR)$(FRAMAC_DATADIR)/wp \
+ $(ALL_COQ_BINARIES)
+
+ wp-coq-uninstall:
+@@ -351,14 +351,14 @@ $(Wp_DIR)/share/why3/why3.conf:
+
+ install:: clean-install
+ $(PRINT_INSTALL) WP shared files
+- $(MKDIR) $(FRAMAC_DATADIR)/wp
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/wp
+ $(INSTALL_SHARE) -p \
+ -i $(Wp_DIR)/share \
+- -d $(FRAMAC_DATADIR)/wp \
++ -d $(STAGEDIR)$(FRAMAC_DATADIR)/wp \
+ $(ALL_RESOURCES) -f -b $(ALL_COQ_BINARIES)
+ $(PRINT_INSTALL) "Qed Library"
+- $(MKDIR) $(FRAMAC_LIBDIR)
+- $(CP) $(wildcard $(Wp_DIR)/qed/bin/Qed.*) $(FRAMAC_LIBDIR)
++ $(MKDIR) $(STAGEDIR)$(FRAMAC_LIBDIR)
++ $(CP) $(wildcard $(Wp_DIR)/qed/bin/Qed.*) $(STAGEDIR)$(FRAMAC_LIBDIR)
+
+ uninstall::
+ $(PRINT_RM) WP shared files
Modified: head/devel/frama-c/pkg-plist
==============================================================================
--- head/devel/frama-c/pkg-plist Sat Mar 4 04:16:16 2017 (r435382)
+++ head/devel/frama-c/pkg-plist Sat Mar 4 04:19:03 2017 (r435383)
@@ -4,10 +4,14 @@ bin/frama-c-gui
bin/frama-c-gui.byte
bin/frama-c.byte
bin/ptests.opt
-lib/frama-c/Constant_Propagation.cmi
-lib/frama-c/Constant_Propagation.cmo
-lib/frama-c/Constant_Propagation.cmx
-lib/frama-c/Constant_Propagation.o
+lib/frama-c/FCBuffer.cmi
+lib/frama-c/FCBuffer.cmo
+lib/frama-c/FCBuffer.cmx
+lib/frama-c/FCBuffer.o
+lib/frama-c/FCDynlink.cmi
+lib/frama-c/FCDynlink.cmo
+lib/frama-c/FCDynlink.cmx
+lib/frama-c/FCDynlink.o
lib/frama-c/FCHashtbl.cmi
lib/frama-c/FCHashtbl.cmo
lib/frama-c/FCHashtbl.cmx
@@ -20,66 +24,10 @@ lib/frama-c/FCSet.cmi
lib/frama-c/FCSet.cmo
lib/frama-c/FCSet.cmx
lib/frama-c/FCSet.o
-lib/frama-c/From.cmi
-lib/frama-c/From.cmo
-lib/frama-c/From.cmx
-lib/frama-c/From.o
-lib/frama-c/Impact.cmi
-lib/frama-c/Impact.cmo
-lib/frama-c/Impact.cmx
-lib/frama-c/Impact.o
-lib/frama-c/Inout.cmi
-lib/frama-c/Inout.cmo
-lib/frama-c/Inout.cmx
-lib/frama-c/Inout.o
-lib/frama-c/Metrics.cmi
-lib/frama-c/Metrics.cmo
-lib/frama-c/Metrics.cmx
-lib/frama-c/Metrics.o
-lib/frama-c/Occurrence.cmi
-lib/frama-c/Occurrence.cmo
-lib/frama-c/Occurrence.cmx
-lib/frama-c/Occurrence.o
-lib/frama-c/Pdg.cmi
-lib/frama-c/Pdg.cmo
-lib/frama-c/Pdg.cmx
-lib/frama-c/Pdg.o
-lib/frama-c/Postdominators.cmi
-lib/frama-c/Postdominators.cmo
-lib/frama-c/Postdominators.cmx
-lib/frama-c/Postdominators.o
-lib/frama-c/RteGen.cmi
-lib/frama-c/RteGen.cmo
-lib/frama-c/RteGen.cmx
-lib/frama-c/RteGen.o
-lib/frama-c/Scope.cmi
-lib/frama-c/Scope.cmo
-lib/frama-c/Scope.cmx
-lib/frama-c/Scope.o
-lib/frama-c/Semantic_callgraph.cmi
-lib/frama-c/Semantic_callgraph.cmo
-lib/frama-c/Semantic_callgraph.cmx
-lib/frama-c/Semantic_callgraph.o
-lib/frama-c/Slicing.cmi
-lib/frama-c/Slicing.cmo
-lib/frama-c/Slicing.cmx
-lib/frama-c/Slicing.o
-lib/frama-c/Sparecode.cmi
-lib/frama-c/Sparecode.cmo
-lib/frama-c/Sparecode.cmx
-lib/frama-c/Sparecode.o
-lib/frama-c/Syntactic_callgraph.cmi
-lib/frama-c/Syntactic_callgraph.cmo
-lib/frama-c/Syntactic_callgraph.cmx
-lib/frama-c/Syntactic_callgraph.o
-lib/frama-c/Users.cmi
-lib/frama-c/Users.cmo
-lib/frama-c/Users.cmx
-lib/frama-c/Users.o
-lib/frama-c/Value.cmi
-lib/frama-c/Value.cmo
-lib/frama-c/Value.cmx
-lib/frama-c/Value.o
+lib/frama-c/Qed.cmi
+lib/frama-c/Qed.cmo
+lib/frama-c/Qed.cmx
+lib/frama-c/Qed.o
lib/frama-c/abstract_interp.cmi
lib/frama-c/abstract_interp.cmo
lib/frama-c/abstract_interp.cmx
@@ -104,6 +52,10 @@ lib/frama-c/annotations.cmi
lib/frama-c/annotations.cmo
lib/frama-c/annotations.cmx
lib/frama-c/annotations.o
+lib/frama-c/asm_contracts.cmi
+lib/frama-c/asm_contracts.cmo
+lib/frama-c/asm_contracts.cmx
+lib/frama-c/asm_contracts.o
lib/frama-c/ast.cmi
lib/frama-c/ast.cmo
lib/frama-c/ast.cmx
@@ -140,7 +92,11 @@ lib/frama-c/boot.cmi
lib/frama-c/boot.cmo
lib/frama-c/boot.cmx
lib/frama-c/boot.o
-lib/frama-c/buckx_c.o
+lib/frama-c/bottom.cmi
+lib/frama-c/bottom.cmo
+lib/frama-c/bottom.cmx
+lib/frama-c/bottom.o
+lib/frama-c/c_bindings.o
lib/frama-c/cabs.cmi
lib/frama-c/cabs.cmo
lib/frama-c/cabs.cmx
@@ -161,10 +117,6 @@ 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
@@ -202,10 +154,6 @@ lib/frama-c/cilconfig.cmi
lib/frama-c/cilconfig.cmo
lib/frama-c/cilconfig.cmx
lib/frama-c/cilconfig.o
-lib/frama-c/cilmsg.cmi
-lib/frama-c/cilmsg.cmo
-lib/frama-c/cilmsg.cmx
-lib/frama-c/cilmsg.o
lib/frama-c/clexer.cmi
lib/frama-c/clexer.cmo
lib/frama-c/clexer.cmx
@@ -274,7 +222,6 @@ lib/frama-c/design.cmi
lib/frama-c/design.cmo
lib/frama-c/design.cmx
lib/frama-c/design.o
-lib/frama-c/dgraph.cmi
lib/frama-c/dominators.cmi
lib/frama-c/dominators.cmo
lib/frama-c/dominators.cmx
@@ -283,10 +230,6 @@ 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/emitter.cmi
lib/frama-c/emitter.cmo
lib/frama-c/emitter.cmx
@@ -315,6 +258,10 @@ lib/frama-c/file_manager.cmi
lib/frama-c/file_manager.cmo
lib/frama-c/file_manager.cmx
lib/frama-c/file_manager.o
+lib/frama-c/filecheck.cmi
+lib/frama-c/filecheck.cmo
+lib/frama-c/filecheck.cmx
+lib/frama-c/filecheck.o
lib/frama-c/filepath.cmi
lib/frama-c/filepath.cmo
lib/frama-c/filepath.cmx
@@ -331,7 +278,6 @@ lib/frama-c/floating_point.cmi
lib/frama-c/floating_point.cmo
lib/frama-c/floating_point.cmx
lib/frama-c/floating_point.o
-lib/frama-c/frama_c_config.cmi
lib/frama-c/frama_c_init.cmi
lib/frama-c/frama_c_init.cmo
lib/frama-c/frama_c_init.cmx
@@ -344,14 +290,14 @@ 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/fval.cmi
+lib/frama-c/fval.cmo
+lib/frama-c/fval.cmx
+lib/frama-c/fval.o
lib/frama-c/globals.cmi
lib/frama-c/globals.cmo
lib/frama-c/globals.cmx
lib/frama-c/globals.o
-lib/frama-c/graph.cmi
-lib/frama-c/graph.cmo
-lib/frama-c/graph.cmx
-lib/frama-c/graph.o
lib/frama-c/gtk_form.cmi
lib/frama-c/gtk_form.cmo
lib/frama-c/gtk_form.cmx
@@ -360,11 +306,14 @@ lib/frama-c/gtk_helper.cmi
lib/frama-c/gtk_helper.cmo
lib/frama-c/gtk_helper.cmx
lib/frama-c/gtk_helper.o
-lib/frama-c/gui_init.cmi
lib/frama-c/gui_parameters.cmi
lib/frama-c/gui_parameters.cmo
lib/frama-c/gui_parameters.cmx
lib/frama-c/gui_parameters.o
+lib/frama-c/gui_printers.cmi
+lib/frama-c/gui_printers.cmo
+lib/frama-c/gui_printers.cmx
+lib/frama-c/gui_printers.o
lib/frama-c/help_manager.cmi
lib/frama-c/help_manager.cmo
lib/frama-c/help_manager.cmx
@@ -381,6 +330,7 @@ lib/frama-c/hptmap.cmi
lib/frama-c/hptmap.cmo
lib/frama-c/hptmap.cmx
lib/frama-c/hptmap.o
+lib/frama-c/hptmap_sig.cmi
lib/frama-c/hptset.cmi
lib/frama-c/hptset.cmo
lib/frama-c/hptset.cmx
@@ -418,6 +368,10 @@ lib/frama-c/journal.cmi
lib/frama-c/journal.cmo
lib/frama-c/journal.cmx
lib/frama-c/journal.o
+lib/frama-c/json.cmi
+lib/frama-c/json.cmo
+lib/frama-c/json.cmx
+lib/frama-c/json.o
lib/frama-c/kernel.cmi
lib/frama-c/kernel.cmo
lib/frama-c/kernel.cmx
@@ -426,11 +380,19 @@ 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_messages.cmi
+lib/frama-c/lattice_messages.cmo
+lib/frama-c/lattice_messages.cmx
+lib/frama-c/lattice_messages.o
lib/frama-c/lattice_type.cmi
lib/frama-c/launcher.cmi
lib/frama-c/launcher.cmo
lib/frama-c/launcher.cmx
lib/frama-c/launcher.o
+lib/frama-c/leftistheap.cmi
+lib/frama-c/leftistheap.cmo
+lib/frama-c/leftistheap.cmx
+lib/frama-c/leftistheap.o
lib/frama-c/lexerhack.cmi
lib/frama-c/lexerhack.cmo
lib/frama-c/lexerhack.cmx
@@ -570,26 +532,156 @@ lib/frama-c/plugin.cmo
lib/frama-c/plugin.cmx
lib/frama-c/plugin.o
lib/frama-c/plugins/Aorai.cmi
-lib/frama-c/plugins/Aorai.cmo
-lib/frama-c/plugins/Aorai.cmxs
+lib/frama-c/plugins/Callgraph.cmi
+lib/frama-c/plugins/Constant_Propagation.cmi
+lib/frama-c/plugins/From.cmi
+lib/frama-c/plugins/Impact.cmi
+lib/frama-c/plugins/Inout.cmi
+lib/frama-c/plugins/LoopAnalysis.cmi
+lib/frama-c/plugins/META.frama-c-aorai
+lib/frama-c/plugins/META.frama-c-callgraph
+lib/frama-c/plugins/META.frama-c-constant_propagation
+lib/frama-c/plugins/META.frama-c-from
+lib/frama-c/plugins/META.frama-c-impact
+lib/frama-c/plugins/META.frama-c-inout
+lib/frama-c/plugins/META.frama-c-loopanalysis
+lib/frama-c/plugins/META.frama-c-metrics
+lib/frama-c/plugins/META.frama-c-nonterm
+lib/frama-c/plugins/META.frama-c-obfuscator
+lib/frama-c/plugins/META.frama-c-occurrence
+lib/frama-c/plugins/META.frama-c-pdg
+lib/frama-c/plugins/META.frama-c-postdominators
+lib/frama-c/plugins/META.frama-c-print_api
+lib/frama-c/plugins/META.frama-c-report
+lib/frama-c/plugins/META.frama-c-rtegen
+lib/frama-c/plugins/META.frama-c-scope
+lib/frama-c/plugins/META.frama-c-security_slicing
+lib/frama-c/plugins/META.frama-c-slicing
+lib/frama-c/plugins/META.frama-c-sparecode
+lib/frama-c/plugins/META.frama-c-users
+lib/frama-c/plugins/META.frama-c-value
+lib/frama-c/plugins/META.frama-c-variadic
+lib/frama-c/plugins/META.frama-c-wp
+lib/frama-c/plugins/Metrics.cmi
+lib/frama-c/plugins/Nonterm.cmi
lib/frama-c/plugins/Obfuscator.cmi
-lib/frama-c/plugins/Obfuscator.cmo
-lib/frama-c/plugins/Obfuscator.cmxs
+lib/frama-c/plugins/Occurrence.cmi
+lib/frama-c/plugins/Pdg.cmi
+lib/frama-c/plugins/Postdominators.cmi
+lib/frama-c/plugins/Print_api.cmi
lib/frama-c/plugins/Report.cmi
-lib/frama-c/plugins/Report.cmo
-lib/frama-c/plugins/Report.cmxs
+lib/frama-c/plugins/RteGen.cmi
+lib/frama-c/plugins/Scope.cmi
lib/frama-c/plugins/Security_slicing.cmi
-lib/frama-c/plugins/Security_slicing.cmo
-lib/frama-c/plugins/Security_slicing.cmxs
-lib/frama-c/plugins/Wp.cma
+lib/frama-c/plugins/Slicing.cmi
+lib/frama-c/plugins/Sparecode.cmi
+lib/frama-c/plugins/Users.cmi
+lib/frama-c/plugins/Value.cmi
+lib/frama-c/plugins/Variadic.cmi
lib/frama-c/plugins/Wp.cmi
-lib/frama-c/plugins/Wp.cmxs
+lib/frama-c/plugins/gui/Callgraph.cmi
+lib/frama-c/plugins/gui/Callgraph.cmo
+lib/frama-c/plugins/gui/Callgraph.cmxs
+lib/frama-c/plugins/gui/From.cmi
+lib/frama-c/plugins/gui/From.cmo
+lib/frama-c/plugins/gui/From.cmxs
+lib/frama-c/plugins/gui/Impact.cmi
+lib/frama-c/plugins/gui/Impact.cmo
+lib/frama-c/plugins/gui/Impact.cmxs
+lib/frama-c/plugins/gui/Metrics.cmi
+lib/frama-c/plugins/gui/Metrics.cmo
+lib/frama-c/plugins/gui/Metrics.cmxs
+lib/frama-c/plugins/gui/Occurrence.cmi
+lib/frama-c/plugins/gui/Occurrence.cmo
+lib/frama-c/plugins/gui/Occurrence.cmxs
+lib/frama-c/plugins/gui/Scope.cmi
+lib/frama-c/plugins/gui/Scope.cmo
+lib/frama-c/plugins/gui/Scope.cmxs
lib/frama-c/plugins/gui/Security_slicing.cmi
lib/frama-c/plugins/gui/Security_slicing.cmo
lib/frama-c/plugins/gui/Security_slicing.cmxs
+lib/frama-c/plugins/gui/Slicing.cmi
+lib/frama-c/plugins/gui/Slicing.cmo
+lib/frama-c/plugins/gui/Slicing.cmxs
+lib/frama-c/plugins/gui/Value.cmi
+lib/frama-c/plugins/gui/Value.cmo
+lib/frama-c/plugins/gui/Value.cmxs
lib/frama-c/plugins/gui/Wp.cma
lib/frama-c/plugins/gui/Wp.cmi
lib/frama-c/plugins/gui/Wp.cmxs
+lib/frama-c/plugins/top/Aorai.cmo
+lib/frama-c/plugins/top/Aorai.cmx
+lib/frama-c/plugins/top/Aorai.cmxs
+lib/frama-c/plugins/top/Callgraph.cmo
+lib/frama-c/plugins/top/Callgraph.cmx
+lib/frama-c/plugins/top/Callgraph.cmxs
+lib/frama-c/plugins/top/Constant_Propagation.cmo
+lib/frama-c/plugins/top/Constant_Propagation.cmx
+lib/frama-c/plugins/top/Constant_Propagation.cmxs
+lib/frama-c/plugins/top/From.cmo
+lib/frama-c/plugins/top/From.cmx
+lib/frama-c/plugins/top/From.cmxs
+lib/frama-c/plugins/top/Impact.cmo
+lib/frama-c/plugins/top/Impact.cmx
+lib/frama-c/plugins/top/Impact.cmxs
+lib/frama-c/plugins/top/Inout.cmo
+lib/frama-c/plugins/top/Inout.cmx
+lib/frama-c/plugins/top/Inout.cmxs
+lib/frama-c/plugins/top/LoopAnalysis.cmo
+lib/frama-c/plugins/top/LoopAnalysis.cmx
+lib/frama-c/plugins/top/LoopAnalysis.cmxs
+lib/frama-c/plugins/top/Metrics.cmo
+lib/frama-c/plugins/top/Metrics.cmx
+lib/frama-c/plugins/top/Metrics.cmxs
+lib/frama-c/plugins/top/Nonterm.cmo
+lib/frama-c/plugins/top/Nonterm.cmx
+lib/frama-c/plugins/top/Nonterm.cmxs
+lib/frama-c/plugins/top/Obfuscator.cmo
+lib/frama-c/plugins/top/Obfuscator.cmx
+lib/frama-c/plugins/top/Obfuscator.cmxs
+lib/frama-c/plugins/top/Occurrence.cmo
+lib/frama-c/plugins/top/Occurrence.cmx
+lib/frama-c/plugins/top/Occurrence.cmxs
+lib/frama-c/plugins/top/Pdg.cmo
+lib/frama-c/plugins/top/Pdg.cmx
+lib/frama-c/plugins/top/Pdg.cmxs
+lib/frama-c/plugins/top/Postdominators.cmo
+lib/frama-c/plugins/top/Postdominators.cmx
+lib/frama-c/plugins/top/Postdominators.cmxs
+lib/frama-c/plugins/top/Print_api.cmo
+lib/frama-c/plugins/top/Print_api.cmx
+lib/frama-c/plugins/top/Print_api.cmxs
+lib/frama-c/plugins/top/Report.cmo
+lib/frama-c/plugins/top/Report.cmx
+lib/frama-c/plugins/top/Report.cmxs
+lib/frama-c/plugins/top/RteGen.cmo
+lib/frama-c/plugins/top/RteGen.cmx
+lib/frama-c/plugins/top/RteGen.cmxs
+lib/frama-c/plugins/top/Scope.cmo
+lib/frama-c/plugins/top/Scope.cmx
+lib/frama-c/plugins/top/Scope.cmxs
+lib/frama-c/plugins/top/Security_slicing.cmo
+lib/frama-c/plugins/top/Security_slicing.cmx
+lib/frama-c/plugins/top/Security_slicing.cmxs
+lib/frama-c/plugins/top/Slicing.cmo
+lib/frama-c/plugins/top/Slicing.cmx
+lib/frama-c/plugins/top/Slicing.cmxs
+lib/frama-c/plugins/top/Sparecode.cmo
+lib/frama-c/plugins/top/Sparecode.cmx
+lib/frama-c/plugins/top/Sparecode.cmxs
+lib/frama-c/plugins/top/Users.cmo
+lib/frama-c/plugins/top/Users.cmx
+lib/frama-c/plugins/top/Users.cmxs
+lib/frama-c/plugins/top/Value.cmo
+lib/frama-c/plugins/top/Value.cmx
+lib/frama-c/plugins/top/Value.cmxs
+lib/frama-c/plugins/top/Variadic.cmo
+lib/frama-c/plugins/top/Variadic.cmx
+lib/frama-c/plugins/top/Variadic.cmxs
+lib/frama-c/plugins/top/Wp.cma
+lib/frama-c/plugins/top/Wp.cmx
+lib/frama-c/plugins/top/Wp.cmxa
+lib/frama-c/plugins/top/Wp.cmxs
lib/frama-c/precise_locs.cmi
lib/frama-c/precise_locs.cmo
lib/frama-c/precise_locs.cmx
@@ -646,6 +738,10 @@ lib/frama-c/rangemap.cmi
lib/frama-c/rangemap.cmo
lib/frama-c/rangemap.cmx
lib/frama-c/rangemap.o
+lib/frama-c/rgmap.cmi
+lib/frama-c/rgmap.cmo
+lib/frama-c/rgmap.cmx
+lib/frama-c/rgmap.o
lib/frama-c/rmtmps.cmi
lib/frama-c/rmtmps.cmo
lib/frama-c/rmtmps.cmx
@@ -706,18 +802,10 @@ 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/sysutil.cmi
-lib/frama-c/sysutil.cmo
-lib/frama-c/sysutil.cmx
-lib/frama-c/sysutil.o
lib/frama-c/task.cmi
lib/frama-c/task.cmo
lib/frama-c/task.cmx
lib/frama-c/task.o
-lib/frama-c/toolbox.cmi
-lib/frama-c/toolbox.cmo
-lib/frama-c/toolbox.cmx
-lib/frama-c/toolbox.o
lib/frama-c/tr_offset.cmi
lib/frama-c/tr_offset.cmo
lib/frama-c/tr_offset.cmx
@@ -726,6 +814,10 @@ lib/frama-c/trace.cmi
lib/frama-c/trace.cmo
lib/frama-c/trace.cmx
lib/frama-c/trace.o
+lib/frama-c/transitioning.cmi
+lib/frama-c/transitioning.cmo
+lib/frama-c/transitioning.cmx
+lib/frama-c/transitioning.o
lib/frama-c/translate_lightweight.cmi
lib/frama-c/translate_lightweight.cmo
lib/frama-c/translate_lightweight.cmx
@@ -750,6 +842,10 @@ 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/unmarshal_z.cmi
+lib/frama-c/unmarshal_z.cmo
+lib/frama-c/unmarshal_z.cmx
+lib/frama-c/unmarshal_z.o
lib/frama-c/unroll_loops.cmi
lib/frama-c/unroll_loops.cmo
lib/frama-c/unroll_loops.cmx
@@ -758,10 +854,6 @@ 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/value_messages.cmi
-lib/frama-c/value_messages.cmo
-lib/frama-c/value_messages.cmx
-lib/frama-c/value_messages.o
lib/frama-c/value_types.cmi
lib/frama-c/value_types.cmo
lib/frama-c/value_types.cmx
@@ -778,42 +870,81 @@ lib/frama-c/warning_manager.cmi
lib/frama-c/warning_manager.cmo
lib/frama-c/warning_manager.cmx
lib/frama-c/warning_manager.o
+lib/frama-c/wbox.cmi
+lib/frama-c/wbox.cmo
+lib/frama-c/wbox.cmx
+lib/frama-c/wbox.o
+lib/frama-c/wfile.cmi
+lib/frama-c/wfile.cmo
+lib/frama-c/wfile.cmx
+lib/frama-c/wfile.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
-man/man1/frama-c-gui.1.gz
-man/man1/frama-c.1.gz
-share/emacs/site-lisp/acsl.el
+lib/frama-c/widget.cmi
+lib/frama-c/widget.cmo
+lib/frama-c/widget.cmx
+lib/frama-c/widget.o
+lib/frama-c/wpalette.cmi
+lib/frama-c/wpalette.cmo
+lib/frama-c/wpalette.cmx
+lib/frama-c/wpalette.o
+lib/frama-c/wpane.cmi
+lib/frama-c/wpane.cmo
+lib/frama-c/wpane.cmx
+lib/frama-c/wpane.o
+lib/frama-c/wtable.cmi
+lib/frama-c/wtable.cmo
+lib/frama-c/wtable.cmx
+lib/frama-c/wtable.o
+lib/frama-c/wtext.cmi
+lib/frama-c/wtext.cmo
+lib/frama-c/wtext.cmx
+lib/frama-c/wtext.o
+lib/frama-c/wto.cmi
+lib/frama-c/wto.cmo
+lib/frama-c/wto.cmx
+lib/frama-c/wto.o
+lib/frama-c/wto_statement.cmi
+lib/frama-c/wto_statement.cmo
+lib/frama-c/wto_statement.cmx
+lib/frama-c/wto_statement.o
+lib/frama-c/wutil.cmi
+lib/frama-c/wutil.cmo
+lib/frama-c/wutil.cmx
+lib/frama-c/wutil.o
%%DATADIR%%/Makefile.common
%%DATADIR%%/Makefile.config
%%DATADIR%%/Makefile.dynamic
%%DATADIR%%/Makefile.dynamic_config
%%DATADIR%%/Makefile.generic
%%DATADIR%%/Makefile.kernel
-%%DATADIR%%/Makefile.plugin
-%%DATADIR%%/acsl.el
-%%DATADIR%%/builtin.c
+%%DATADIR%%/Makefile.plugin.template
%%DATADIR%%/builtin.h
%%DATADIR%%/configure.ac
-%%DATADIR%%/doc/code/docgen_ge400.ml
-%%DATADIR%%/doc/code/docgen_lt400.ml
+%%DATADIR%%/doc/code/docgen.ml
%%DATADIR%%/doc/code/intro_kernel_plugin.txt
%%DATADIR%%/doc/code/intro_plugin.txt
%%DATADIR%%/doc/code/intro_plugin_default.txt
%%DATADIR%%/doc/code/style.css
%%DATADIR%%/doc/code/toc_head.htm
%%DATADIR%%/doc/code/toc_tail.htm
-%%DATADIR%%/frama-c.gif
+%%DATADIR%%/emacs/acsl.el
+%%DATADIR%%/emacs/frama-c-dev.el
+%%DATADIR%%/emacs/frama-c-init.el
+%%DATADIR%%/emacs/frama-c-recommended.el
%%DATADIR%%/frama-c.ico
+%%DATADIR%%/frama-c.png
%%DATADIR%%/frama-c.rc
%%DATADIR%%/libc.c
-%%DATADIR%%/libc.h
+%%DATADIR%%/libc/__fc_builtin.c
%%DATADIR%%/libc/__fc_builtin.h
%%DATADIR%%/libc/__fc_builtin_for_normalization.i
%%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_eof.h
%%DATADIR%%/libc/__fc_define_fd_set_t.h
%%DATADIR%%/libc/__fc_define_file.h
%%DATADIR%%/libc/__fc_define_fpos_t.h
@@ -826,7 +957,6 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/libc/__fc_define_null.h
%%DATADIR%%/libc/__fc_define_off_t.h
%%DATADIR%%/libc/__fc_define_pid_t.h
-%%DATADIR%%/libc/__fc_define_restrict.h
%%DATADIR%%/libc/__fc_define_sa_family_t.h
%%DATADIR%%/libc/__fc_define_seek_macros.h
%%DATADIR%%/libc/__fc_define_sigset_t.h
@@ -846,23 +976,29 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/libc/__fc_select.h
%%DATADIR%%/libc/__fc_string_axiomatic.h
%%DATADIR%%/libc/arpa/inet.h
+%%DATADIR%%/libc/assert.c
%%DATADIR%%/libc/assert.h
%%DATADIR%%/libc/byteswap.h
%%DATADIR%%/libc/complex.h
+%%DATADIR%%/libc/ctype.c
%%DATADIR%%/libc/ctype.h
%%DATADIR%%/libc/dirent.h
%%DATADIR%%/libc/dlfcn.h
%%DATADIR%%/libc/endian.h
+%%DATADIR%%/libc/errno.c
%%DATADIR%%/libc/errno.h
+%%DATADIR%%/libc/fc_runtime.c
%%DATADIR%%/libc/fcntl.h
%%DATADIR%%/libc/features.h
%%DATADIR%%/libc/fenv.h
%%DATADIR%%/libc/float.h
+%%DATADIR%%/libc/getopt.c
%%DATADIR%%/libc/getopt.h
%%DATADIR%%/libc/glob.h
%%DATADIR%%/libc/grp.h
%%DATADIR%%/libc/iconv.h
%%DATADIR%%/libc/ifaddrs.h
+%%DATADIR%%/libc/inttypes.c
%%DATADIR%%/libc/inttypes.h
%%DATADIR%%/libc/iso646.h
%%DATADIR%%/libc/libgen.h
@@ -873,7 +1009,9 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/libc/linux/if_netlink.h
%%DATADIR%%/libc/linux/netlink.h
%%DATADIR%%/libc/linux/rtnetlink.h
+%%DATADIR%%/libc/locale.c
%%DATADIR%%/libc/locale.h
+%%DATADIR%%/libc/math.c
%%DATADIR%%/libc/math.h
%%DATADIR%%/libc/net/if.h
%%DATADIR%%/libc/netdb.h
@@ -890,8 +1028,11 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/libc/stdbool.h
%%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/strings.h
%%DATADIR%%/libc/sys/ioctl.h
@@ -902,6 +1043,7 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/libc/sys/stat.h
%%DATADIR%%/libc/sys/sysctl.h
%%DATADIR%%/libc/sys/time.h
+%%DATADIR%%/libc/sys/times.h
%%DATADIR%%/libc/sys/types.h
%%DATADIR%%/libc/sys/uio.h
%%DATADIR%%/libc/sys/un.h
@@ -912,11 +1054,12 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/libc/time.h
%%DATADIR%%/libc/uchar.h
%%DATADIR%%/libc/unistd.h
+%%DATADIR%%/libc/wchar.c
%%DATADIR%%/libc/wchar.h
%%DATADIR%%/libc/wctype.h
-%%DATADIR%%/machine.h
-%%DATADIR%%/math.c
-%%DATADIR%%/math.h
+%%DATADIR%%/machdep.c
+%%DATADIR%%/switch-off.png
+%%DATADIR%%/switch-on.png
%%DATADIR%%/theme/colorblind/considered_valid.png
%%DATADIR%%/theme/colorblind/inconsistent.png
%%DATADIR%%/theme/colorblind/invalid_but_dead.png
@@ -924,8 +1067,6 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/theme/colorblind/never_tried.png
%%DATADIR%%/theme/colorblind/surely_invalid.png
%%DATADIR%%/theme/colorblind/surely_valid.png
-%%DATADIR%%/theme/colorblind/switch-off.png
-%%DATADIR%%/theme/colorblind/switch-on.png
%%DATADIR%%/theme/colorblind/unknown.png
%%DATADIR%%/theme/colorblind/unknown_but_dead.png
%%DATADIR%%/theme/colorblind/valid_but_dead.png
@@ -937,8 +1078,6 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/theme/default/never_tried.png
%%DATADIR%%/theme/default/surely_invalid.png
%%DATADIR%%/theme/default/surely_valid.png
-%%DATADIR%%/theme/default/switch-off.png
-%%DATADIR%%/theme/default/switch-on.png
%%DATADIR%%/theme/default/unknown.png
%%DATADIR%%/theme/default/unknown_but_dead.png
%%DATADIR%%/theme/default/valid_but_dead.png
@@ -953,6 +1092,7 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/wp/coqwp/Memory.v
%%DATADIR%%/wp/coqwp/Qed.v
%%DATADIR%%/wp/coqwp/Qedlib.v
+%%DATADIR%%/wp/coqwp/Vlist.v
%%DATADIR%%/wp/coqwp/Vset.v
%%DATADIR%%/wp/coqwp/Zbits.v
%%DATADIR%%/wp/coqwp/bool/Bool.v
@@ -973,6 +1113,7 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/wp/ergo/Cmath.mlw
%%DATADIR%%/wp/ergo/Memory.mlw
%%DATADIR%%/wp/ergo/Qed.mlw
+%%DATADIR%%/wp/ergo/Vlist.mlw
%%DATADIR%%/wp/ergo/Vset.mlw
%%DATADIR%%/wp/ergo/bool.Bool.mlw
%%DATADIR%%/wp/ergo/int.Abs.mlw
@@ -1000,10 +1141,18 @@ share/emacs/site-lisp/acsl.el
%%DATADIR%%/wp/why3/Qed.v
%%DATADIR%%/wp/why3/Qed.why
%%DATADIR%%/wp/why3/Qedlib.v
+%%DATADIR%%/wp/why3/Vlist.v
+%%DATADIR%%/wp/why3/Vlist.why
%%DATADIR%%/wp/why3/Vset.v
%%DATADIR%%/wp/why3/Vset.why
%%DATADIR%%/wp/why3/Zbits.v
%%DATADIR%%/wp/why3/coq.drv
%%DATADIR%%/wp/why3/why3.conf
%%DATADIR%%/wp/wp.driver
+man/man1/frama-c-gui.1.gz
+man/man1/frama-c.1.gz
+share/emacs/site-lisp/acsl.el
+share/emacs/site-lisp/frama-c-dev.el
+share/emacs/site-lisp/frama-c-init.el
+share/emacs/site-lisp/frama-c-recommended.el
@dir lib/frama-c/plugins/gui
More information about the svn-ports-all
mailing list