From nobody Tue Mar 21 00:02:06 2023
X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
	by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4PgWxW0Lhfz40SD9;
	Tue, 21 Mar 2023 00:02:07 +0000 (UTC)
	(envelope-from git@FreeBSD.org)
Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256
	 client-signature RSA-PSS (4096 bits) client-digest SHA256)
	(Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK))
	by mx1.freebsd.org (Postfix) with ESMTPS id 4PgWxV6PW2z49Wb;
	Tue, 21 Mar 2023 00:02:06 +0000 (UTC)
	(envelope-from git@FreeBSD.org)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim;
	t=1679356926;
	h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
	 to:to:cc:mime-version:mime-version:content-type:content-type:
	 content-transfer-encoding:content-transfer-encoding;
	bh=kx4dA7yjN2ibJNNjLyytswYT+if6+ZdLoijiE7XouJk=;
	b=onwENnXXpTSIp+avjbpZNJgfwzsrjnsDdtfJ4xUCsUZ66qBm6SMiPKrKbTKLrgkZVq+bex
	u+pv+R5YNWJvFCIQgF6QundhdYCeyf4v3JVUfzcpTCdMTkr0pkXT1QwQdEJkXh6jnLbJNs
	833J0SobSRNNEb7dh7c+suCVvQ/UiCouO/g1yv/qNsmSxDbSKATS00duoXBZ44hFIPnXVM
	X7Iv3zY9bylNJGrG+zx5UBwtyj/H/qAgoY+frEL098VJ+SyTvoX6rIzvDYgmqNmu8Sxv4y
	ZiWpHRb/CL6un1Umkn+R1yovZlQZ3zXhX+4e+L0IMeBPCtl4o7rUNSU2/gMp6Q==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org;
	s=dkim; t=1679356926;
	h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
	 to:to:cc:mime-version:mime-version:content-type:content-type:
	 content-transfer-encoding:content-transfer-encoding;
	bh=kx4dA7yjN2ibJNNjLyytswYT+if6+ZdLoijiE7XouJk=;
	b=HTBKSmdJ1JP6mfVnr13FHsIqwof61QM8XsJ3Jg7YNdUaMl4GvX1bAWFXV0CFl4B5v6GZaZ
	VHqKh3sgRIS+81Ppfce8Lj1NUWC/0FuKj2YgTe9455gHJyU7ckH2Vd/nhm8uwi3veOG01D
	X4cUbL8be8EIslviT/eifFXnj8G3PS3WpfdoYW+sE+YVQMs7BId1+De2iIrZIdGr+hfzuL
	Zc2Lm1VchGIvVa9u1qdOfzvPd8PIfXMEfFa7Mttw2gnauoVsbJpAlZmoz/SMKw5wuMh6VA
	VHMGPRXFbK1sJtT6qnMvH3TQpUrxcTE3tfLUaRVk0ZyV4b6dnZPl9zN+zR07aA==
ARC-Authentication-Results: i=1;
	mx1.freebsd.org;
	none
ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1679356926; a=rsa-sha256; cv=none;
	b=DkaivHbB4EMhMC7CvQIHo7dkCbwF4eQuEC7JywBrxekcX/+EGvlYPh9E87w7C5P5eNG/NG
	mWlNmdab46ID1dmLZ7/G+iatDPAJI8SEg8XPm546EO/yCyJg/u9IXAQs0KWXuK9PUk2yA1
	7H01uSesEU/9nPppy2lAJk0RFN38ORNaiAMirbbqYKU9aeBhH8niS5NMvxk04/rUpt7dXv
	1tOytXoK9MZ/5w629JOPEVCsMF12xc4A9R2R2AEJuMaMq/5sXepkz/rv7KsoxNLQYHh9wX
	FMa676xNz/bqJOGmT+FV1etipnoYcpQwJA6Ff8U1B+Q+joGlE6ygEM/SE+sQeQ==
Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
	(Client did not present a certificate)
	by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4PgWxV4rt1zr52;
	Tue, 21 Mar 2023 00:02:06 +0000 (UTC)
	(envelope-from git@FreeBSD.org)
Received: from gitrepo.freebsd.org ([127.0.1.44])
	by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 32L0261e009034;
	Tue, 21 Mar 2023 00:02:06 GMT
	(envelope-from git@gitrepo.freebsd.org)
Received: (from git@localhost)
	by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 32L0264I009033;
	Tue, 21 Mar 2023 00:02:06 GMT
	(envelope-from git)
Date: Tue, 21 Mar 2023 00:02:06 GMT
Message-Id: <202303210002.32L0264I009033@gitrepo.freebsd.org>
To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org,
        dev-commits-ports-main@FreeBSD.org
From: Muhammad Moinur Rahman <bofh@FreeBSD.org>
Subject: git: c06842b264e4 - main - devel/frama-c/: Remove expired port:
List-Id: Commit messages for all branches of the ports repository <dev-commits-ports-all.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all
List-Help: <mailto:dev-commits-ports-all+help@freebsd.org>
List-Post: <mailto:dev-commits-ports-all@freebsd.org>
List-Subscribe: <mailto:dev-commits-ports-all+subscribe@freebsd.org>
List-Unsubscribe: <mailto:dev-commits-ports-all+unsubscribe@freebsd.org>
Sender: owner-dev-commits-ports-all@freebsd.org
X-BeenThere: dev-commits-ports-all@freebsd.org
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Git-Committer: bofh
X-Git-Repository: ports
X-Git-Refname: refs/heads/main
X-Git-Reftype: branch
X-Git-Commit: c06842b264e47e5e5ab6fb0c2bfef95440aaa26c
Auto-Submitted: auto-generated
X-ThisMailContainsUnwantedMimeParts: N

The branch main has been updated by bofh:

URL: https://cgit.FreeBSD.org/ports/commit/?id=c06842b264e47e5e5ab6fb0c2bfef95440aaa26c

commit c06842b264e47e5e5ab6fb0c2bfef95440aaa26c
Author:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
AuthorDate: 2023-03-20 23:18:59 +0000
Commit:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
CommitDate: 2023-03-21 00:01:37 +0000

    devel/frama-c/: Remove expired port:
    
    2023-03-21 devel/frama-c: Broken since 2021
---
 MOVED                                              |    1 +
 devel/Makefile                                     |    1 -
 devel/frama-c/Makefile                             |   82 --
 devel/frama-c/distinfo                             |    3 -
 devel/frama-c/files/patch-Makefile                 |   96 --
 .../frama-c/files/patch-src_plugins_wp_Makefile.in |   30 -
 devel/frama-c/pkg-descr                            |   14 -
 devel/frama-c/pkg-plist                            | 1160 --------------------
 8 files changed, 1 insertion(+), 1386 deletions(-)

diff --git a/MOVED b/MOVED
index c6c3e8ee73b7..0e429ef0b7ed 100644
--- a/MOVED
+++ b/MOVED
@@ -17803,3 +17803,4 @@ net/nfs-ganesha-kmod||2023-03-19|Has expired: Broken since 2020
 graphics/py-open3d-python||2023-03-19|Has expired: Broken since 2020
 devel/libzrtpcpp||2023-03-20|Has expired: Broken since 2021
 devel/riscv64-gcc||2023-03-20|Has expired: Unsupported version and users should move to devel/freebsd-gcc12@riscv64
+devel/frama-c||2023-03-20|Has expired: Broken since 2021
diff --git a/devel/Makefile b/devel/Makefile
index e786068588f1..f176ddf58612 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -699,7 +699,6 @@
     SUBDIR += fpc-tplylib
     SUBDIR += fpc-zlib
     SUBDIR += fpp
-    SUBDIR += frama-c
     SUBDIR += freebsd-gcc12
     SUBDIR += freebsd-gcc6
     SUBDIR += freebsd-gcc9
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile
deleted file mode 100644
index 7c068c197a4a..000000000000
--- a/devel/frama-c/Makefile
+++ /dev/null
@@ -1,82 +0,0 @@
-PORTNAME=	frama-c
-DISTVERSIONPREFIX=	Phosphorus-
-DISTVERSION=	20170501
-PORTREVISION=	3
-CATEGORIES=	devel lang
-MASTER_SITES=	http://frama-c.com/download/
-
-MAINTAINER=	ports@FreeBSD.org
-COMMENT=	Extensible platform for source-code analysis of C
-WWW=		https://frama-c.com/index.html
-
-LICENSE=	LGPL21
-
-BROKEN=		fails to build
-DEPRECATED=	Broken since 2021
-EXPIRATION_DATE=	2023-03-21
-
-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=		gettext-runtime gmake gnome localbase pathfix pkgconfig
-USE_OCAML=	yes
-USE_GNOME=	atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 \
-	    libartlgpl2 libgnomecanvas pango
-
-GNU_CONFIGURE=	yes
-CONFIGURE_ARGS=	--with-cpp="${FRAMAC_DEFAULT_CPP}" --disable-e_acsl
-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/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.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)|; \
-		\|$$(CP).*bin|s|$$(CP)|${INSTALL_SCRIPT}|; \
-		\|$$(CP).*man/|s|$$(CP)|${INSTALL_MAN}|; \
-		s|$$(CP)|${INSTALL_DATA}|; }' \
-			${WRKSRC}/Makefile
-
-post-install:
-	${CHMOD} u+w ${STAGEDIR}${PREFIX}/bin/*
-	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
-	${CHMOD} u-w ${STAGEDIR}${PREFIX}/bin/*
-	${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=*} \
-	CPP="${CPP} -C -I${WRKSRC}/share/libc -I." \
-	${MAKE_CMD} ${MAKE_ARGS} oracles fulltests
-
-.include <bsd.port.mk>
diff --git a/devel/frama-c/distinfo b/devel/frama-c/distinfo
deleted file mode 100644
index 738fcc78e05b..000000000000
--- a/devel/frama-c/distinfo
+++ /dev/null
@@ -1,3 +0,0 @@
-TIMESTAMP = 1496311445
-SHA256 (frama-c-Phosphorus-20170501.tar.gz) = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99
-SIZE (frama-c-Phosphorus-20170501.tar.gz) = 7431131
diff --git a/devel/frama-c/files/patch-Makefile b/devel/frama-c/files/patch-Makefile
deleted file mode 100644
index e5984c5bc9d6..000000000000
--- a/devel/frama-c/files/patch-Makefile
+++ /dev/null
@@ -1,96 +0,0 @@
---- 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 share/autocomplete_frama-c \
--	  $(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
diff --git a/devel/frama-c/files/patch-src_plugins_wp_Makefile.in b/devel/frama-c/files/patch-src_plugins_wp_Makefile.in
deleted file mode 100644
index f0bc6568ce3b..000000000000
--- a/devel/frama-c/files/patch-src_plugins_wp_Makefile.in
+++ /dev/null
@@ -1,30 +0,0 @@
---- 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
diff --git a/devel/frama-c/pkg-descr b/devel/frama-c/pkg-descr
deleted file mode 100644
index b697b8227fb1..000000000000
--- a/devel/frama-c/pkg-descr
+++ /dev/null
@@ -1,14 +0,0 @@
-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.
diff --git a/devel/frama-c/pkg-plist b/devel/frama-c/pkg-plist
deleted file mode 100644
index 011918103ddc..000000000000
--- a/devel/frama-c/pkg-plist
+++ /dev/null
@@ -1,1160 +0,0 @@
-bin/frama-c
-bin/frama-c-config
-bin/frama-c-gui
-bin/frama-c-gui.byte
-bin/frama-c.byte
-bin/ptests.opt
-lib/frama-c/FCBuffer.cmi
-lib/frama-c/FCBuffer.cmo
-lib/frama-c/FCBuffer.cmx
-lib/frama-c/FCBuffer.o
-lib/frama-c/FCHashtbl.cmi
-lib/frama-c/FCHashtbl.cmo
-lib/frama-c/FCHashtbl.cmx
-lib/frama-c/FCHashtbl.o
-lib/frama-c/FCMap.cmi
-lib/frama-c/FCMap.cmo
-lib/frama-c/FCMap.cmx
-lib/frama-c/FCMap.o
-lib/frama-c/FCSet.cmi
-lib/frama-c/FCSet.cmo
-lib/frama-c/FCSet.cmx
-lib/frama-c/FCSet.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
-lib/frama-c/abstract_interp.o
-lib/frama-c/alarms.cmi
-lib/frama-c/alarms.cmo
-lib/frama-c/alarms.cmx
-lib/frama-c/alarms.o
-lib/frama-c/allocates.cmi
-lib/frama-c/allocates.cmo
-lib/frama-c/allocates.cmx
-lib/frama-c/allocates.o
-lib/frama-c/alpha.cmi
-lib/frama-c/alpha.cmo
-lib/frama-c/alpha.cmx
-lib/frama-c/alpha.o
-lib/frama-c/analyses_manager.cmi
-lib/frama-c/analyses_manager.cmo
-lib/frama-c/analyses_manager.cmx
-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/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
-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/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/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_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/book_manager.cmi
-lib/frama-c/book_manager.cmo
-lib/frama-c/book_manager.cmx
-lib/frama-c/book_manager.o
-lib/frama-c/boot.cmi
-lib/frama-c/boot.cmo
-lib/frama-c/boot.cmx
-lib/frama-c/boot.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
-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/cabs_debug.cmi
-lib/frama-c/cabs_debug.cmo
-lib/frama-c/cabs_debug.cmx
-lib/frama-c/cabs_debug.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/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_descriptive_printer.cmi
-lib/frama-c/cil_descriptive_printer.cmo
-lib/frama-c/cil_descriptive_printer.cmx
-lib/frama-c/cil_descriptive_printer.o
-lib/frama-c/cil_printer.cmi
-lib/frama-c/cil_printer.cmo
-lib/frama-c/cil_printer.cmx
-lib/frama-c/cil_printer.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/cil_types_debug.cmi
-lib/frama-c/cil_types_debug.cmo
-lib/frama-c/cil_types_debug.cmx
-lib/frama-c/cil_types_debug.o
-lib/frama-c/cilconfig.cmi
-lib/frama-c/cilconfig.cmo
-lib/frama-c/cilconfig.cmx
-lib/frama-c/cilconfig.o
-lib/frama-c/clexer.cmi
-lib/frama-c/clexer.cmo
-lib/frama-c/clexer.cmx
-lib/frama-c/clexer.o
-lib/frama-c/clone.cmi
-lib/frama-c/clone.cmo
-lib/frama-c/clone.cmx
-lib/frama-c/clone.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.cmi
-lib/frama-c/cvalue.cmo
-lib/frama-c/cvalue.cmx
-lib/frama-c/cvalue.o
-lib/frama-c/dataflow.cmi
-lib/frama-c/dataflow.cmo
-lib/frama-c/dataflow.cmx
-lib/frama-c/dataflow.o
-lib/frama-c/dataflow2.cmi
-lib/frama-c/dataflow2.cmo
-lib/frama-c/dataflow2.cmx
-lib/frama-c/dataflow2.o
-lib/frama-c/dataflows.cmi
-lib/frama-c/dataflows.cmo
-lib/frama-c/dataflows.cmx
-lib/frama-c/dataflows.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/debug_manager.cmi
-lib/frama-c/debug_manager.cmo
-lib/frama-c/debug_manager.cmx
-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
-lib/frama-c/description.cmi
-lib/frama-c/description.cmo
-lib/frama-c/description.cmx
-lib/frama-c/description.o
-lib/frama-c/design.cmi
-lib/frama-c/design.cmo
-lib/frama-c/design.cmx
-lib/frama-c/design.o
-lib/frama-c/destructors.cmi
-lib/frama-c/destructors.cmo
-lib/frama-c/destructors.cmx
-lib/frama-c/destructors.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/emitter.cmi
-lib/frama-c/emitter.cmo
-lib/frama-c/emitter.cmx
-lib/frama-c/emitter.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/exn_flow.cmi
-lib/frama-c/exn_flow.cmo
-lib/frama-c/exn_flow.cmx
-lib/frama-c/exn_flow.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
-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
-lib/frama-c/filepath.o
-lib/frama-c/filetree.cmi
-lib/frama-c/filetree.cmo
-lib/frama-c/filetree.cmx
-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/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_init.cmi
-lib/frama-c/frama_c_init.cmo
-lib/frama-c/frama_c_init.cmx
-lib/frama-c/frama_c_init.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/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/gtk_form.cmi
-lib/frama-c/gtk_form.cmo
-lib/frama-c/gtk_form.cmx
-lib/frama-c/gtk_form.o
-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_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
-lib/frama-c/help_manager.o
-lib/frama-c/history.cmi
-lib/frama-c/history.cmo
-lib/frama-c/history.cmx
-lib/frama-c/history.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/hptmap_sig.cmi
-lib/frama-c/hptset.cmi
-lib/frama-c/hptset.cmo
-lib/frama-c/hptset.cmx
-lib/frama-c/hptset.o
-lib/frama-c/indexer.cmi
-lib/frama-c/indexer.cmo
-lib/frama-c/indexer.cmx
-lib/frama-c/indexer.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_Intervals.cmi
-lib/frama-c/int_Intervals.cmo
-lib/frama-c/int_Intervals.cmx
-lib/frama-c/int_Intervals.o
-lib/frama-c/int_Intervals_sig.cmi
-lib/frama-c/integer.cmi
-lib/frama-c/integer.cmo
-lib/frama-c/integer.cmx
-lib/frama-c/integer.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/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
-lib/frama-c/kernel.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_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
-lib/frama-c/lexerhack.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_sig.cmi
-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/machdeps.cmi
-lib/frama-c/machdeps.cmo
-lib/frama-c/machdeps.cmx
-lib/frama-c/machdeps.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
-lib/frama-c/menu_manager.cmi
-lib/frama-c/menu_manager.cmo
-lib/frama-c/menu_manager.cmx
-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/offsetmap.cmi
-lib/frama-c/offsetmap.cmo
-lib/frama-c/offsetmap.cmx
-lib/frama-c/offsetmap.o
-lib/frama-c/offsetmap_bitwise_sig.cmi
-lib/frama-c/offsetmap_lattice_with_isotropy.cmi
-lib/frama-c/offsetmap_sig.cmi
-lib/frama-c/oneret.cmi
-lib/frama-c/oneret.cmo
-lib/frama-c/oneret.cmx
-lib/frama-c/oneret.o
-lib/frama-c/ordered_stmt.cmi
-lib/frama-c/ordered_stmt.cmo
-lib/frama-c/ordered_stmt.cmx
-lib/frama-c/ordered_stmt.o
-lib/frama-c/origin.cmi
-lib/frama-c/origin.cmo
-lib/frama-c/origin.cmx
-lib/frama-c/origin.o
-lib/frama-c/parameter_builder.cmi
-lib/frama-c/parameter_builder.cmo
-lib/frama-c/parameter_builder.cmx
-lib/frama-c/parameter_builder.o
-lib/frama-c/parameter_category.cmi
-lib/frama-c/parameter_category.cmo
-lib/frama-c/parameter_category.cmx
-lib/frama-c/parameter_category.o
-lib/frama-c/parameter_customize.cmi
-lib/frama-c/parameter_customize.cmo
-lib/frama-c/parameter_customize.cmx
-lib/frama-c/parameter_customize.o
-lib/frama-c/parameter_sig.cmi
-lib/frama-c/parameter_state.cmi
-lib/frama-c/parameter_state.cmo
-lib/frama-c/parameter_state.cmx
-lib/frama-c/parameter_state.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/Aorai.cmi
-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/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/RteGen.cmi
-lib/frama-c/plugins/Scope.cmi
-lib/frama-c/plugins/Security_slicing.cmi
-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/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
*** 479 LINES SKIPPED ***