From owner-svn-ports-head@freebsd.org Sat Mar 4 04:19:05 2017 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 8C12CCF8301; Sat, 4 Mar 2017 04:19:05 +0000 (UTC) (envelope-from mmokhi@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 506A914CE; Sat, 4 Mar 2017 04:19:05 +0000 (UTC) (envelope-from mmokhi@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id v244J4FW055369; Sat, 4 Mar 2017 04:19:04 GMT (envelope-from mmokhi@FreeBSD.org) Received: (from mmokhi@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id v244J4vv055364; Sat, 4 Mar 2017 04:19:04 GMT (envelope-from mmokhi@FreeBSD.org) Message-Id: <201703040419.v244J4vv055364@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: mmokhi set sender to mmokhi@FreeBSD.org using -f From: Mahdi Mokhtari Date: Sat, 4 Mar 2017 04:19:04 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r435383 - in head/devel/frama-c: . files X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 04 Mar 2017 04:19:05 -0000 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