pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
*: remove a couple packages for which the pkgsrc version is newer
Module Name: pkgsrc-wip
Committed By: Thomas Klausner <wiz%gatalith.at@localhost>
Pushed By: wiz
Date: Sat Nov 12 08:28:39 2022 +0100
Changeset: 0d350138edad97ecf6cf624472ce003603a849fe
Modified Files:
Makefile
Removed Files:
frama-c/DESCR
frama-c/Makefile
frama-c/PLIST
frama-c/TODO
frama-c/distinfo
frama-c/options.mk
ocaml-biniou/DESCR
ocaml-biniou/Makefile
ocaml-biniou/PLIST
ocaml-biniou/buildlink3.mk
ocaml-biniou/distinfo
ocaml-biniou/patches/patch-Makefile
ocaml-easy-format/DESCR
ocaml-easy-format/Makefile
ocaml-easy-format/PLIST
ocaml-easy-format/buildlink3.mk
ocaml-easy-format/distinfo
ocaml-yojson/DESCR
ocaml-yojson/Makefile
ocaml-yojson/PLIST
ocaml-yojson/buildlink3.mk
ocaml-yojson/distinfo
ocaml-yojson/patches/patch-Makefile
Log Message:
*: remove a couple packages for which the pkgsrc version is newer
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=0d350138edad97ecf6cf624472ce003603a849fe
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
Makefile | 7 +-
frama-c/DESCR | 8 -
frama-c/Makefile | 59 --
frama-c/PLIST | 1318 -----------------------------------
frama-c/TODO | 4 -
frama-c/distinfo | 5 -
frama-c/options.mk | 25 -
ocaml-biniou/DESCR | 5 -
ocaml-biniou/Makefile | 20 -
ocaml-biniou/PLIST | 36 -
ocaml-biniou/buildlink3.mk | 11 -
ocaml-biniou/distinfo | 5 -
ocaml-biniou/patches/patch-Makefile | 14 -
ocaml-easy-format/DESCR | 2 -
ocaml-easy-format/Makefile | 19 -
ocaml-easy-format/PLIST | 7 -
ocaml-easy-format/buildlink3.mk | 12 -
ocaml-easy-format/distinfo | 4 -
ocaml-yojson/DESCR | 2 -
ocaml-yojson/Makefile | 23 -
ocaml-yojson/PLIST | 15 -
ocaml-yojson/buildlink3.mk | 11 -
ocaml-yojson/distinfo | 5 -
ocaml-yojson/patches/patch-Makefile | 17 -
24 files changed, 2 insertions(+), 1632 deletions(-)
diffs:
diff --git a/Makefile b/Makefile
index 75ececdd52..da97bf22b8 100644
--- a/Makefile
+++ b/Makefile
@@ -918,7 +918,6 @@ SUBDIR+= fprobe
SUBDIR+= fq
SUBDIR+= fractal
SUBDIR+= fragrouter
-SUBDIR+= frama-c
SUBDIR+= free42
SUBDIR+= freebayes
SUBDIR+= freebsd-svn
@@ -2708,9 +2707,7 @@ SUBDIR+= obmenu
SUBDIR+= obnc
SUBDIR+= obnc-libstd
SUBDIR+= ocaml
-SUBDIR+= ocaml-biniou
SUBDIR+= ocaml-comparelib
-SUBDIR+= ocaml-easy-format
SUBDIR+= ocaml-enumerate
SUBDIR+= ocaml-fieldslib
SUBDIR+= ocaml-gen
@@ -2721,7 +2718,6 @@ SUBDIR+= ocaml-ounit
SUBDIR+= ocaml-ptmap
SUBDIR+= ocaml-sedlex
SUBDIR+= ocaml-sha
-SUBDIR+= ocaml-yojson
SUBDIR+= ocamlweb
SUBDIR+= ocserv
SUBDIR+= offset
@@ -3627,6 +3623,7 @@ SUBDIR+= py-consensus
SUBDIR+= py-constraint
SUBDIR+= py-constructive-geometries
SUBDIR+= py-contexttimer
+SUBDIR+= py-continuum-mechanics
SUBDIR+= py-control
SUBDIR+= py-coreapi
SUBDIR+= py-coreschema
@@ -4158,7 +4155,6 @@ SUBDIR+= py-mdanalysis
SUBDIR+= py-mdp
SUBDIR+= py-mdptoolbox
SUBDIR+= py-mdtraj
-SUBDIR+= py-continuum_mechanics
SUBDIR+= py-meigo
SUBDIR+= py-memory_profiler
SUBDIR+= py-mendeleev
@@ -5271,6 +5267,7 @@ SUBDIR+= scmail
SUBDIR+= scourge
SUBDIR+= scr2png
SUBDIR+= scrc
+SUBDIR+= scrcpy
SUBDIR+= scribus
SUBDIR+= scsh-install-lib
SUBDIR+= scummvm-bass
diff --git a/frama-c/DESCR b/frama-c/DESCR
deleted file mode 100644
index 46ead12eb4..0000000000
--- a/frama-c/DESCR
+++ /dev/null
@@ -1,8 +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. The collaborative approach of Frama-C allows static analyzers to
-build upon the results already computed by other analyzers in the framework.
-Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer
-and dependency analysis.
diff --git a/frama-c/Makefile b/frama-c/Makefile
deleted file mode 100644
index 32bdc13756..0000000000
--- a/frama-c/Makefile
+++ /dev/null
@@ -1,59 +0,0 @@
-# $NetBSD: Makefile,v 1.100 2021/04/21 11:41:24 adam Exp $
-#
-
-DISTNAME= Frama-C-snapshot-20.0
-PKGNAME= ${DISTNAME:S/-snapshot//:tl}
-CATEGORIES= devel
-MASTER_SITES= ${MASTER_SITE_GITHUB:=Frama-C/}
-
-MAINTAINER= tonio%NetBSD.org@localhost
-HOMEPAGE= https://github.com/Frama-C/Frama-C-snapshot/
-COMMENT= Extensible platform dedicated to source-code analysis of C software
-LICENSE= gnu-lgpl-v2
-# review license directory
-# CDDL-1.0 LGPLv2 LGPLv2.1 Q_MODIFIED_LICENSE
-
-USE_TOOLS+= gmake autoconf bash
-GNU_CONFIGURE= yes
-
-OCAML_USE_FINDLIB= yes
-
-REPLACE_BASH+= bin/frama-c-script
-REPLACE_BASH+= share/analysis-scripts/clone.sh
-REPLACE_BASH+= share/analysis-scripts/cmd-dep.sh
-REPLACE_BASH+= share/analysis-scripts/concat-csv.sh
-REPLACE_BASH+= share/analysis-scripts/parse-coverage.sh
-
-REPLACE_PERL+= share/analysis-scripts/flamegraph.pl
-
-REPLACE_PYTHON+= share/analysis-scripts/find_fun.py
-REPLACE_PYTHON+= share/analysis-scripts/list_files.py
-REPLACE_PYTHON+= share/analysis-scripts/make_template.py
-REPLACE_PYTHON+= share/analysis-scripts/make_wrapper.py
-REPLACE_PYTHON+= share/analysis-scripts/summary.py
-
-.include "options.mk"
-
-post-install:
-# ${CHMOD} -x ${DESTDIR}${PREFIX}/lib/frama-c/*.cm*
-# ${CHMOD} -x ${DESTDIR}${PREFIX}/lib/frama-c/plugins/*/*
-# ${CHMOD} -x ${DESTDIR}${PREFIX}/lib/frama-c/plugins/*
-# ${CHMOD} -x ${DESTDIR}${PREFIX}/lib/frama-c/theme/*
- find ${DESTDIR}${PREFIX}/share/frama-c -type f -exec chmod a-x {} +
- find ${DESTDIR}${PREFIX}/lib/frama-c -type f -exec chmod a-x {} +
- find ${DESTDIR}${PREFIX}/man -type f -exec chmod a-x {} +
- find ${DESTDIR}${PREFIX}/lib -type f -exec chmod a-x {} +
-
-
-# WARNING: you must build ocamlgraph with ocaml-lablgtk support
-# (not the default) or the build fails with missing module "Dgraph".
-
-.include "../../devel/ocamlgraph/buildlink3.mk"
-.include "../../math/ocaml-zarith/buildlink3.mk"
-.include "../../devel/ocaml-yojson/buildlink3.mk"
-.include "../../x11/gtksourceview3/buildlink3.mk"
-.include "../../graphics/cairo-gobject/buildlink3.mk"
-.include "../../lang/python/application.mk"
-
-.include "../../mk/ocaml.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/frama-c/PLIST b/frama-c/PLIST
deleted file mode 100644
index 7b0fca407e..0000000000
--- a/frama-c/PLIST
+++ /dev/null
@@ -1,1318 +0,0 @@
-@comment $NetBSD$
-bin/e-acsl-gcc.sh
-bin/frama-c
-bin/frama-c-config
-${PLIST.gui}bin/frama-c-gui
-${PLIST.gui}bin/frama-c-gui.byte
-bin/frama-c-script
-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/GSourceView.cmi
-lib/frama-c/GSourceView.cmo
-lib/frama-c/GSourceView.cmx
-lib/frama-c/GSourceView.o
-lib/frama-c/META.frama-c
-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
-${PLIST.gui}lib/frama-c/analyses_manager.cmi
-${PLIST.gui}lib/frama-c/analyses_manager.cmo
-${PLIST.gui}lib/frama-c/analyses_manager.cmx
-${PLIST.gui}lib/frama-c/analyses_manager.o
-lib/frama-c/annotations.cmi
-lib/frama-c/annotations.cmo
-lib/frama-c/annotations.cmx
-lib/frama-c/annotations.o
-lib/frama-c/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
-${PLIST.gui}lib/frama-c/book_manager.cmi
-${PLIST.gui}lib/frama-c/book_manager.cmo
-${PLIST.gui}lib/frama-c/book_manager.cmx
-${PLIST.gui}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/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/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
-${PLIST.gui}lib/frama-c/design.cmi
-${PLIST.gui}lib/frama-c/design.cmo
-${PLIST.gui}lib/frama-c/design.cmx
-${PLIST.gui}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/dgraph_helper.cmi
-lib/frama-c/dgraph_helper.cmo
-lib/frama-c/dgraph_helper.cmx
-lib/frama-c/dgraph_helper.o
-lib/frama-c/dllframa-c.so
-lib/frama-c/dominators.cmi
-lib/frama-c/dominators.cmo
-lib/frama-c/dominators.cmx
-lib/frama-c/dominators.o
-lib/frama-c/dotgraph.cmi
-lib/frama-c/dotgraph.cmo
-lib/frama-c/dotgraph.cmx
-lib/frama-c/dotgraph.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/fc_float.cmi
-lib/frama-c/fc_float.cmo
-lib/frama-c/fc_float.cmx
-lib/frama-c/fc_float.o
-lib/frama-c/file.cmi
-lib/frama-c/file.cmo
-lib/frama-c/file.cmx
-lib/frama-c/file.o
-${PLIST.gui}lib/frama-c/file_manager.cmi
-${PLIST.gui}lib/frama-c/file_manager.cmo
-${PLIST.gui}lib/frama-c/file_manager.cmx
-${PLIST.gui}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
-${PLIST.gui}lib/frama-c/filetree.cmi
-${PLIST.gui}lib/frama-c/filetree.cmo
-${PLIST.gui}lib/frama-c/filetree.cmx
-${PLIST.gui}lib/frama-c/filetree.o
-lib/frama-c/filter.cmi
-lib/frama-c/filter.cmo
-lib/frama-c/filter.cmx
-lib/frama-c/filter.o
-lib/frama-c/float_interval.cmi
-lib/frama-c/float_interval.cmo
-lib/frama-c/float_interval.cmx
-lib/frama-c/float_interval.o
-lib/frama-c/float_interval_sig.cmi
-lib/frama-c/float_sig.cmi
-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.a
-lib/frama-c/frama-c.cma
-lib/frama-c/frama-c.cmxa
-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_compat.cmi
-lib/frama-c/gtk_compat.cmo
-lib/frama-c/gtk_compat.cmx
-lib/frama-c/gtk_compat.o
-${PLIST.gui}lib/frama-c/gtk_form.cmi
-${PLIST.gui}lib/frama-c/gtk_form.cmo
-${PLIST.gui}lib/frama-c/gtk_form.cmx
-${PLIST.gui}lib/frama-c/gtk_form.o
-${PLIST.gui}lib/frama-c/gtk_helper.cmi
-${PLIST.gui}lib/frama-c/gtk_helper.cmo
-${PLIST.gui}lib/frama-c/gtk_helper.cmx
-${PLIST.gui}lib/frama-c/gtk_helper.o
-${PLIST.gui}lib/frama-c/gui_parameters.cmi
-${PLIST.gui}lib/frama-c/gui_parameters.cmo
-${PLIST.gui}lib/frama-c/gui_parameters.cmx
-${PLIST.gui}lib/frama-c/gui_parameters.o
-${PLIST.gui}lib/frama-c/gui_printers.cmi
-${PLIST.gui}lib/frama-c/gui_printers.cmo
-${PLIST.gui}lib/frama-c/gui_printers.cmx
-${PLIST.gui}lib/frama-c/gui_printers.o
-${PLIST.gui}lib/frama-c/help_manager.cmi
-${PLIST.gui}lib/frama-c/help_manager.cmo
-${PLIST.gui}lib/frama-c/help_manager.cmx
-${PLIST.gui}lib/frama-c/help_manager.o
-${PLIST.gui}lib/frama-c/history.cmi
-${PLIST.gui}lib/frama-c/history.cmo
-${PLIST.gui}lib/frama-c/history.cmx
-${PLIST.gui}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/inline.cmi
-lib/frama-c/inline.cmo
-lib/frama-c/inline.cmx
-lib/frama-c/inline.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/interpreted_automata.cmi
-lib/frama-c/interpreted_automata.cmo
-lib/frama-c/interpreted_automata.cmx
-lib/frama-c/interpreted_automata.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/json_compilation_database.cmi
-lib/frama-c/json_compilation_database.cmo
-lib/frama-c/json_compilation_database.cmx
-lib/frama-c/json_compilation_database.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
-${PLIST.gui}lib/frama-c/launcher.cmi
-${PLIST.gui}lib/frama-c/launcher.cmo
-${PLIST.gui}lib/frama-c/launcher.cmx
-${PLIST.gui}lib/frama-c/launcher.o
-lib/frama-c/lexerhack.cmi
-lib/frama-c/lexerhack.cmo
-lib/frama-c/lexerhack.cmx
-lib/frama-c/lexerhack.o
-lib/frama-c/libframa-c.a
-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/markdown.cmi
-lib/frama-c/markdown.cmo
-lib/frama-c/markdown.cmx
-lib/frama-c/markdown.o
-${PLIST.gui}lib/frama-c/menu_manager.cmi
-${PLIST.gui}lib/frama-c/menu_manager.cmo
-${PLIST.gui}lib/frama-c/menu_manager.cmx
-${PLIST.gui}lib/frama-c/menu_manager.o
-lib/frama-c/mergecil.cmi
-lib/frama-c/mergecil.cmo
-lib/frama-c/mergecil.cmx
-lib/frama-c/mergecil.o
-lib/frama-c/messages.cmi
-lib/frama-c/messages.cmo
-lib/frama-c/messages.cmx
-lib/frama-c/messages.o
-lib/frama-c/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/E_ACSL.cmi
-lib/frama-c/plugins/Eva.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-e_acsl
-lib/frama-c/plugins/META.frama-c-eva
-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-qed
-lib/frama-c/plugins/META.frama-c-report
-lib/frama-c/plugins/META.frama-c-rtegen
-lib/frama-c/plugins/META.frama-c-scope
-${PLIST.gui}lib/frama-c/plugins/META.frama-c-security_slicing
-lib/frama-c/plugins/META.frama-c-server
-lib/frama-c/plugins/META.frama-c-slicing
-lib/frama-c/plugins/META.frama-c-sparecode
-lib/frama-c/plugins/META.frama-c-studia
-lib/frama-c/plugins/META.frama-c-users
-lib/frama-c/plugins/META.frama-c-variadic
-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/Qed.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/Server.cmi
-lib/frama-c/plugins/Slicing.cmi
-lib/frama-c/plugins/Sparecode.cmi
-lib/frama-c/plugins/Studia.cmi
-lib/frama-c/plugins/Users.cmi
-lib/frama-c/plugins/Variadic.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Eva.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Eva.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Eva.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/From.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/From.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/From.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/Impact.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Impact.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Impact.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/Metrics.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Metrics.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Metrics.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/Occurrence.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Occurrence.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Occurrence.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/Qed.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Qed.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Qed.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/Scope.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Scope.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Scope.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/Security_slicing.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Security_slicing.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Security_slicing.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/Slicing.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Slicing.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Slicing.cmxs
-${PLIST.gui}lib/frama-c/plugins/gui/Studia.cmi
-${PLIST.gui}lib/frama-c/plugins/gui/Studia.cmo
-${PLIST.gui}lib/frama-c/plugins/gui/Studia.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/E_ACSL.cmo
-lib/frama-c/plugins/top/E_ACSL.cmx
-lib/frama-c/plugins/top/E_ACSL.cmxs
-lib/frama-c/plugins/top/Eva.cmo
-lib/frama-c/plugins/top/Eva.cmx
-lib/frama-c/plugins/top/Eva.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/Qed.cmo
-lib/frama-c/plugins/top/Qed.cmx
-lib/frama-c/plugins/top/Qed.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/Server.cmo
-lib/frama-c/plugins/top/Server.cmx
-lib/frama-c/plugins/top/Server.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/Studia.cmo
-lib/frama-c/plugins/top/Studia.cmx
-lib/frama-c/plugins/top/Studia.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/Variadic.cmo
-lib/frama-c/plugins/top/Variadic.cmx
-lib/frama-c/plugins/top/Variadic.cmxs
-lib/frama-c/precise_locs.cmi
-lib/frama-c/precise_locs.cmo
-lib/frama-c/precise_locs.cmx
-lib/frama-c/precise_locs.o
-lib/frama-c/pretty_source.cmi
-lib/frama-c/pretty_source.cmo
-lib/frama-c/pretty_source.cmx
-lib/frama-c/pretty_source.o
-lib/frama-c/pretty_utils.cmi
-lib/frama-c/pretty_utils.cmo
-lib/frama-c/pretty_utils.cmx
-lib/frama-c/pretty_utils.o
-lib/frama-c/printer.cmi
-lib/frama-c/printer.cmo
-lib/frama-c/printer.cmx
-lib/frama-c/printer.o
-lib/frama-c/printer_api.cmi
-lib/frama-c/printer_builder.cmi
-lib/frama-c/printer_builder.cmo
-lib/frama-c/printer_builder.cmx
-lib/frama-c/printer_builder.o
-lib/frama-c/printer_tag.cmi
-lib/frama-c/printer_tag.cmo
-lib/frama-c/printer_tag.cmx
-lib/frama-c/printer_tag.o
-lib/frama-c/project.cmi
-lib/frama-c/project.cmo
-lib/frama-c/project.cmx
-lib/frama-c/project.o
-lib/frama-c/project_manager.cmi
-lib/frama-c/project_manager.cmo
-lib/frama-c/project_manager.cmx
-lib/frama-c/project_manager.o
-lib/frama-c/project_skeleton.cmi
-lib/frama-c/project_skeleton.cmo
-lib/frama-c/project_skeleton.cmx
-lib/frama-c/project_skeleton.o
-lib/frama-c/property.cmi
-lib/frama-c/property.cmo
-lib/frama-c/property.cmx
-lib/frama-c/property.o
-lib/frama-c/property_navigator.cmi
-lib/frama-c/property_navigator.cmo
-lib/frama-c/property_navigator.cmx
-lib/frama-c/property_navigator.o
-lib/frama-c/property_status.cmi
-lib/frama-c/property_status.cmo
-lib/frama-c/property_status.cmx
-lib/frama-c/property_status.o
-lib/frama-c/ptests_config.cmi
-lib/frama-c/ptests_config.cmx
-lib/frama-c/ptests_config.o
-lib/frama-c/qstack.cmi
-lib/frama-c/qstack.cmo
-lib/frama-c/qstack.cmx
-lib/frama-c/qstack.o
-lib/frama-c/rangemap.cmi
-lib/frama-c/rangemap.cmo
-lib/frama-c/rangemap.cmx
-lib/frama-c/rangemap.o
-lib/frama-c/rgmap.cmi
-lib/frama-c/rgmap.cmo
-lib/frama-c/rgmap.cmx
-lib/frama-c/rgmap.o
-lib/frama-c/rich_text.cmi
-lib/frama-c/rich_text.cmo
-lib/frama-c/rich_text.cmx
-lib/frama-c/rich_text.o
-lib/frama-c/rmtmps.cmi
-lib/frama-c/rmtmps.cmo
-lib/frama-c/rmtmps.cmx
-lib/frama-c/rmtmps.o
-lib/frama-c/sanitizer.cmi
-lib/frama-c/sanitizer.cmo
-lib/frama-c/sanitizer.cmx
-lib/frama-c/sanitizer.o
-lib/frama-c/service_graph.cmi
-lib/frama-c/service_graph.cmo
-lib/frama-c/service_graph.cmx
-lib/frama-c/service_graph.o
-lib/frama-c/source_manager.cmi
-lib/frama-c/source_manager.cmo
-lib/frama-c/source_manager.cmx
-lib/frama-c/source_manager.o
-lib/frama-c/source_viewer.cmi
-lib/frama-c/source_viewer.cmo
-lib/frama-c/source_viewer.cmx
-lib/frama-c/source_viewer.o
-lib/frama-c/special_hooks.cmi
-lib/frama-c/special_hooks.cmo
-lib/frama-c/special_hooks.cmx
-lib/frama-c/special_hooks.o
-lib/frama-c/state.cmi
-lib/frama-c/state.cmo
-lib/frama-c/state.cmx
-lib/frama-c/state.o
-lib/frama-c/state_builder.cmi
-lib/frama-c/state_builder.cmo
-lib/frama-c/state_builder.cmx
-lib/frama-c/state_builder.o
-lib/frama-c/state_dependency_graph.cmi
-lib/frama-c/state_dependency_graph.cmo
-lib/frama-c/state_dependency_graph.cmx
-lib/frama-c/state_dependency_graph.o
-lib/frama-c/state_selection.cmi
-lib/frama-c/state_selection.cmo
-lib/frama-c/state_selection.cmx
-lib/frama-c/state_selection.o
-lib/frama-c/state_topological.cmi
-lib/frama-c/state_topological.cmo
-lib/frama-c/state_topological.cmx
-lib/frama-c/state_topological.o
-lib/frama-c/statuses_by_call.cmi
-lib/frama-c/statuses_by_call.cmo
-lib/frama-c/statuses_by_call.cmx
-lib/frama-c/statuses_by_call.o
-lib/frama-c/stmts_graph.cmi
-lib/frama-c/stmts_graph.cmo
-lib/frama-c/stmts_graph.cmx
-lib/frama-c/stmts_graph.o
-lib/frama-c/structural_descr.cmi
-lib/frama-c/structural_descr.cmo
-lib/frama-c/structural_descr.cmx
-lib/frama-c/structural_descr.o
-lib/frama-c/task.cmi
-lib/frama-c/task.cmo
-lib/frama-c/task.cmx
-lib/frama-c/task.o
-lib/frama-c/tr_offset.cmi
-lib/frama-c/tr_offset.cmo
-lib/frama-c/tr_offset.cmx
-lib/frama-c/tr_offset.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
-lib/frama-c/translate_lightweight.o
-lib/frama-c/type.cmi
-lib/frama-c/type.cmo
-lib/frama-c/type.cmx
-lib/frama-c/type.o
-lib/frama-c/typed_parameter.cmi
-lib/frama-c/typed_parameter.cmo
-lib/frama-c/typed_parameter.cmx
-lib/frama-c/typed_parameter.o
-lib/frama-c/undefined_sequence.cmi
-lib/frama-c/undefined_sequence.cmo
-lib/frama-c/undefined_sequence.cmx
-lib/frama-c/undefined_sequence.o
-lib/frama-c/unicode.cmi
-lib/frama-c/unicode.cmo
-lib/frama-c/unicode.cmx
-lib/frama-c/unicode.o
-lib/frama-c/unmarshal.cmi
-lib/frama-c/unmarshal.cmo
-lib/frama-c/unmarshal.cmx
-lib/frama-c/unmarshal.o
-lib/frama-c/unmarshal_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
-lib/frama-c/unroll_loops.o
-lib/frama-c/utf8_logic.cmi
-lib/frama-c/utf8_logic.cmo
-lib/frama-c/utf8_logic.cmx
-lib/frama-c/utf8_logic.o
-lib/frama-c/value_types.cmi
-lib/frama-c/value_types.cmo
-lib/frama-c/value_types.cmx
-lib/frama-c/value_types.o
-lib/frama-c/vector.cmi
-lib/frama-c/vector.cmo
-lib/frama-c/vector.cmx
-lib/frama-c/vector.o
-lib/frama-c/visitor.cmi
-lib/frama-c/visitor.cmo
-lib/frama-c/visitor.cmx
-lib/frama-c/visitor.o
-lib/frama-c/visitor_behavior.cmi
-lib/frama-c/visitor_behavior.cmo
-lib/frama-c/visitor_behavior.cmx
-lib/frama-c/visitor_behavior.o
-${PLIST.gui}lib/frama-c/warning_manager.cmi
-${PLIST.gui}lib/frama-c/warning_manager.cmo
-${PLIST.gui}lib/frama-c/warning_manager.cmx
-${PLIST.gui}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
-${PLIST.gui}lib/frama-c/widget.cmi
-${PLIST.gui}lib/frama-c/widget.cmo
-${PLIST.gui}lib/frama-c/widget.cmx
-${PLIST.gui}lib/frama-c/widget.o
-${PLIST.gui}lib/frama-c/wpalette.cmi
-${PLIST.gui}lib/frama-c/wpalette.cmo
-${PLIST.gui}lib/frama-c/wpalette.cmx
-${PLIST.gui}lib/frama-c/wpalette.o
-${PLIST.gui}lib/frama-c/wpane.cmi
-${PLIST.gui}lib/frama-c/wpane.cmo
-${PLIST.gui}lib/frama-c/wpane.cmx
-${PLIST.gui}lib/frama-c/wpane.o
-${PLIST.gui}lib/frama-c/wtable.cmi
-${PLIST.gui}lib/frama-c/wtable.cmo
-${PLIST.gui}lib/frama-c/wtable.cmx
-${PLIST.gui}lib/frama-c/wtable.o
-${PLIST.gui}lib/frama-c/wtext.cmi
-${PLIST.gui}lib/frama-c/wtext.cmo
-${PLIST.gui}lib/frama-c/wtext.cmx
-${PLIST.gui}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
-${PLIST.gui}lib/frama-c/wutil.cmi
-${PLIST.gui}lib/frama-c/wutil.cmo
-${PLIST.gui}lib/frama-c/wutil.cmx
-${PLIST.gui}lib/frama-c/wutil.o
-lib/frama-c/wutil_once.cmi
-lib/frama-c/wutil_once.cmo
-lib/frama-c/wutil_once.cmx
-lib/frama-c/wutil_once.o
-lib/libeacsl-dlmalloc.a
-man/man1/e-acsl-gcc.sh.1
-man/man1/frama-c-gui.1
-man/man1/frama-c.1
-share/frama-c/Makefile.common
-share/frama-c/Makefile.config
-share/frama-c/Makefile.dynamic
-share/frama-c/Makefile.dynamic_config
-share/frama-c/Makefile.generic
-share/frama-c/Makefile.plugin.template
-share/frama-c/_frama-c
-share/frama-c/analysis-scripts/README.md
-share/frama-c/analysis-scripts/benchmark_database.py
-share/frama-c/analysis-scripts/clone.sh
-share/frama-c/analysis-scripts/cmd-dep.sh
-share/frama-c/analysis-scripts/concat-csv.sh
-share/frama-c/analysis-scripts/examples/Makefile
-share/frama-c/analysis-scripts/examples/example-multi.mk
-share/frama-c/analysis-scripts/examples/example-slevel.mk
-share/frama-c/analysis-scripts/examples/example.c
-share/frama-c/analysis-scripts/examples/example.mk
-share/frama-c/analysis-scripts/fc_stubs.c
-share/frama-c/analysis-scripts/find_fun.py
-share/frama-c/analysis-scripts/flamegraph.pl
-share/frama-c/analysis-scripts/frama-c.mk
-share/frama-c/analysis-scripts/frama_c_results.py
-share/frama-c/analysis-scripts/git_utils.py
-share/frama-c/analysis-scripts/list_files.py
-share/frama-c/analysis-scripts/make_template.py
-share/frama-c/analysis-scripts/make_wrapper.py
-share/frama-c/analysis-scripts/parse-coverage.sh
-share/frama-c/analysis-scripts/results_display.py
-share/frama-c/analysis-scripts/summary.py
-share/frama-c/analysis-scripts/template.mk
-share/frama-c/autocomplete_frama-c
-share/frama-c/compliance/c11_functions.json
-share/frama-c/compliance/glibc_functions.json
-share/frama-c/compliance/nonstandard_identifiers.json
-share/frama-c/compliance/posix_identifiers.json
-share/frama-c/configure.ac
-share/frama-c/doc/code/docgen.ml
-share/frama-c/doc/code/intro_kernel_plugin.txt
-share/frama-c/doc/code/intro_plugin.txt
-share/frama-c/doc/code/intro_plugin_default.txt
-share/frama-c/doc/code/style.css
-share/frama-c/doc/code/toc_head.htm
-share/frama-c/doc/code/toc_tail.htm
-share/frama-c/e-acsl/bittree_model/e_acsl_bittree.h
-share/frama-c/e-acsl/bittree_model/e_acsl_bittree_api.h
-share/frama-c/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
-share/frama-c/e-acsl/e_acsl.h
-share/frama-c/e-acsl/e_acsl_alias.h
-share/frama-c/e-acsl/e_acsl_assert.h
-share/frama-c/e-acsl/e_acsl_bits.h
-share/frama-c/e-acsl/e_acsl_debug.h
-share/frama-c/e-acsl/e_acsl_floating_point.h
-share/frama-c/e-acsl/e_acsl_format.h
-share/frama-c/e-acsl/e_acsl_gmp_api.h
-share/frama-c/e-acsl/e_acsl_leak.h
-share/frama-c/e-acsl/e_acsl_libc_replacements.h
-share/frama-c/e-acsl/e_acsl_malloc.h
-share/frama-c/e-acsl/e_acsl_printf.h
-share/frama-c/e-acsl/e_acsl_rtl.c
-share/frama-c/e-acsl/e_acsl_safe_locations.h
-share/frama-c/e-acsl/e_acsl_shexec.h
-share/frama-c/e-acsl/e_acsl_string.h
-share/frama-c/e-acsl/e_acsl_temporal.h
-share/frama-c/e-acsl/e_acsl_temporal_timestamp.h
-share/frama-c/e-acsl/e_acsl_trace.h
-share/frama-c/e-acsl/segment_model/e_acsl_segment_mmodel.c
-share/frama-c/e-acsl/segment_model/e_acsl_segment_tracking.h
-share/frama-c/e-acsl/segment_model/e_acsl_shadow_layout.h
-share/frama-c/emacs/acsl.el
-share/frama-c/emacs/frama-c-dev.el
-share/frama-c/emacs/frama-c-init.el
-share/frama-c/emacs/frama-c-recommended.el
-share/frama-c/frama-c.ico
-share/frama-c/frama-c.png
-share/frama-c/frama-c.rc
-share/frama-c/libc.c
-share/frama-c/libc/__fc_alloc_axiomatic.h
-share/frama-c/libc/__fc_builtin.c
-share/frama-c/libc/__fc_builtin.h
-share/frama-c/libc/__fc_define_blkcnt_t.h
-share/frama-c/libc/__fc_define_blksize_t.h
-share/frama-c/libc/__fc_define_clockid_t.h
-share/frama-c/libc/__fc_define_dev_t.h
-share/frama-c/libc/__fc_define_eof.h
-share/frama-c/libc/__fc_define_fd_set_t.h
-share/frama-c/libc/__fc_define_file.h
-share/frama-c/libc/__fc_define_fpos_t.h
-share/frama-c/libc/__fc_define_id_t.h
-share/frama-c/libc/__fc_define_ino_t.h
-share/frama-c/libc/__fc_define_intptr_t.h
-share/frama-c/libc/__fc_define_iovec.h
-share/frama-c/libc/__fc_define_key_t.h
-share/frama-c/libc/__fc_define_mode_t.h
-share/frama-c/libc/__fc_define_nlink_t.h
-share/frama-c/libc/__fc_define_null.h
-share/frama-c/libc/__fc_define_off_t.h
-share/frama-c/libc/__fc_define_pid_t.h
-share/frama-c/libc/__fc_define_pthread_types.h
-share/frama-c/libc/__fc_define_sa_family_t.h
-share/frama-c/libc/__fc_define_seek_macros.h
-share/frama-c/libc/__fc_define_sigset_t.h
-share/frama-c/libc/__fc_define_size_t.h
-share/frama-c/libc/__fc_define_sockaddr.h
-share/frama-c/libc/__fc_define_ssize_t.h
-share/frama-c/libc/__fc_define_stat.h
-share/frama-c/libc/__fc_define_suseconds_t.h
-share/frama-c/libc/__fc_define_time_t.h
-share/frama-c/libc/__fc_define_timer_t.h
-share/frama-c/libc/__fc_define_timespec.h
-share/frama-c/libc/__fc_define_uid_and_gid.h
-share/frama-c/libc/__fc_define_useconds_t.h
-share/frama-c/libc/__fc_define_wchar_t.h
-share/frama-c/libc/__fc_define_wint_t.h
-share/frama-c/libc/__fc_gcc_builtins.h
-share/frama-c/libc/__fc_inet.h
-share/frama-c/libc/__fc_integer.h
-share/frama-c/libc/__fc_machdep.h
-share/frama-c/libc/__fc_machdep_linux_shared.h
-share/frama-c/libc/__fc_runtime.c
-share/frama-c/libc/__fc_select.h
-share/frama-c/libc/__fc_string_axiomatic.h
-share/frama-c/libc/alloca.h
-share/frama-c/libc/arpa/inet.h
-share/frama-c/libc/assert.c
-share/frama-c/libc/assert.h
-share/frama-c/libc/byteswap.h
-share/frama-c/libc/complex.h
-share/frama-c/libc/ctype.c
-share/frama-c/libc/ctype.h
-share/frama-c/libc/dirent.h
-share/frama-c/libc/dlfcn.h
-share/frama-c/libc/endian.h
-share/frama-c/libc/errno.c
-share/frama-c/libc/errno.h
-share/frama-c/libc/fcntl.h
-share/frama-c/libc/features.h
-share/frama-c/libc/fenv.c
-share/frama-c/libc/fenv.h
-share/frama-c/libc/float.h
-share/frama-c/libc/fnmatch.h
-share/frama-c/libc/ftw.h
-share/frama-c/libc/getopt.c
-share/frama-c/libc/getopt.h
-share/frama-c/libc/glob.c
-share/frama-c/libc/glob.h
-share/frama-c/libc/grp.h
-share/frama-c/libc/iconv.h
-share/frama-c/libc/ifaddrs.h
-share/frama-c/libc/inttypes.c
-share/frama-c/libc/inttypes.h
-share/frama-c/libc/iso646.h
-share/frama-c/libc/libgen.h
-share/frama-c/libc/limits.h
-share/frama-c/libc/locale.c
-share/frama-c/libc/locale.h
-share/frama-c/libc/malloc.h
-share/frama-c/libc/math.c
-share/frama-c/libc/math.h
-share/frama-c/libc/memory.h
-share/frama-c/libc/net/if.h
-share/frama-c/libc/netdb.c
-share/frama-c/libc/netdb.h
-share/frama-c/libc/netinet/in.h
-share/frama-c/libc/netinet/tcp.h
-share/frama-c/libc/nl_types.h
-share/frama-c/libc/poll.h
-share/frama-c/libc/pthread.h
-share/frama-c/libc/pwd.h
-share/frama-c/libc/regex.h
-share/frama-c/libc/resolv.h
-share/frama-c/libc/sched.h
-share/frama-c/libc/semaphore.h
-share/frama-c/libc/setjmp.h
-share/frama-c/libc/signal.c
-share/frama-c/libc/signal.h
-share/frama-c/libc/stdarg.h
-share/frama-c/libc/stdbool.h
-share/frama-c/libc/stddef.h
-share/frama-c/libc/stdint.h
-share/frama-c/libc/stdio.c
-share/frama-c/libc/stdio.h
-share/frama-c/libc/stdlib.c
-share/frama-c/libc/stdlib.h
-share/frama-c/libc/string.c
-share/frama-c/libc/string.h
-share/frama-c/libc/strings.h
-share/frama-c/libc/stropts.h
-share/frama-c/libc/sys/file.h
-share/frama-c/libc/sys/ioctl.h
-share/frama-c/libc/sys/ipc.h
-share/frama-c/libc/sys/mman.h
-share/frama-c/libc/sys/random.h
-share/frama-c/libc/sys/resource.h
-share/frama-c/libc/sys/select.h
-share/frama-c/libc/sys/shm.h
-share/frama-c/libc/sys/signal.h
-share/frama-c/libc/sys/socket.h
-share/frama-c/libc/sys/stat.h
-share/frama-c/libc/sys/time.h
-share/frama-c/libc/sys/times.h
-share/frama-c/libc/sys/timex.h
-share/frama-c/libc/sys/types.h
-share/frama-c/libc/sys/uio.h
-share/frama-c/libc/sys/un.h
-share/frama-c/libc/sys/utsname.h
-share/frama-c/libc/sys/wait.h
-share/frama-c/libc/syslog.h
-share/frama-c/libc/termios.h
-share/frama-c/libc/tgmath.h
-share/frama-c/libc/time.c
-share/frama-c/libc/time.h
-share/frama-c/libc/unistd.h
-share/frama-c/libc/utime.h
-share/frama-c/libc/utmpx.h
-share/frama-c/libc/wchar.c
-share/frama-c/libc/wchar.h
-share/frama-c/libc/wctype.h
-share/frama-c/machdep.c
-share/frama-c/switch-off.png
-share/frama-c/switch-on.png
-share/frama-c/theme/colorblind/considered_valid.png
-share/frama-c/theme/colorblind/fold.png
-share/frama-c/theme/colorblind/inconsistent.png
-share/frama-c/theme/colorblind/invalid_but_dead.png
-share/frama-c/theme/colorblind/invalid_under_hyp.png
-share/frama-c/theme/colorblind/never_tried.png
-share/frama-c/theme/colorblind/surely_invalid.png
-share/frama-c/theme/colorblind/surely_valid.png
-share/frama-c/theme/colorblind/unfold.png
-share/frama-c/theme/colorblind/unknown.png
-share/frama-c/theme/colorblind/unknown_but_dead.png
-share/frama-c/theme/colorblind/valid_but_dead.png
-share/frama-c/theme/colorblind/valid_under_hyp.png
-share/frama-c/theme/default/considered_valid.png
-share/frama-c/theme/default/fold.png
-share/frama-c/theme/default/inconsistent.png
-share/frama-c/theme/default/invalid_but_dead.png
-share/frama-c/theme/default/invalid_under_hyp.png
-share/frama-c/theme/default/never_tried.png
-share/frama-c/theme/default/surely_invalid.png
-share/frama-c/theme/default/surely_valid.png
-share/frama-c/theme/default/unfold.png
-share/frama-c/theme/default/unknown.png
-share/frama-c/theme/default/unknown_but_dead.png
-share/frama-c/theme/default/valid_but_dead.png
-share/frama-c/theme/default/valid_under_hyp.png
-share/frama-c/theme/flat/considered_valid.png
-share/frama-c/theme/flat/fold.png
-share/frama-c/theme/flat/inconsistent.png
-share/frama-c/theme/flat/invalid_but_dead.png
-share/frama-c/theme/flat/invalid_under_hyp.png
-share/frama-c/theme/flat/never_tried.png
-share/frama-c/theme/flat/surely_invalid.png
-share/frama-c/theme/flat/surely_valid.png
-share/frama-c/theme/flat/unfold.png
-share/frama-c/theme/flat/unknown.png
-share/frama-c/theme/flat/unknown_but_dead.png
-share/frama-c/theme/flat/valid_but_dead.png
-share/frama-c/theme/flat/valid_under_hyp.png
-share/frama-c/unmark.png
-${PLIST.coq}share/frama-c/wp/coqwp/ArcTrigo.v
-${PLIST.coq}share/frama-c/wp/coqwp/Bits.v
-${PLIST.coq}share/frama-c/wp/coqwp/BuiltIn.v
-${PLIST.coq}share/frama-c/wp/coqwp/Cbits.v
-${PLIST.coq}share/frama-c/wp/coqwp/Cfloat.v
-${PLIST.coq}share/frama-c/wp/coqwp/Cint.v
-${PLIST.coq}share/frama-c/wp/coqwp/Cmath.v
-${PLIST.coq}share/frama-c/wp/coqwp/ExpLog.v
-${PLIST.coq}share/frama-c/wp/coqwp/HighOrd.v
-${PLIST.coq}share/frama-c/wp/coqwp/Memory.v
-${PLIST.coq}share/frama-c/wp/coqwp/Qed.v
-${PLIST.coq}share/frama-c/wp/coqwp/Qedlib.v
-${PLIST.coq}share/frama-c/wp/coqwp/Square.v
-${PLIST.coq}share/frama-c/wp/coqwp/Vlist.v
-${PLIST.coq}share/frama-c/wp/coqwp/Vset.v
-${PLIST.coq}share/frama-c/wp/coqwp/Zbits.v
-${PLIST.coq}share/frama-c/wp/coqwp/bool/Bool.v
-${PLIST.coq}share/frama-c/wp/coqwp/int/Abs.v
-${PLIST.coq}share/frama-c/wp/coqwp/int/ComputerDivision.v
-${PLIST.coq}share/frama-c/wp/coqwp/int/ComputerOfEuclideanDivision.v
-${PLIST.coq}share/frama-c/wp/coqwp/int/EuclideanDivision.v
-${PLIST.coq}share/frama-c/wp/coqwp/int/Exponentiation.v
-${PLIST.coq}share/frama-c/wp/coqwp/int/Int.v
-${PLIST.coq}share/frama-c/wp/coqwp/int/MinMax.v
-${PLIST.coq}share/frama-c/wp/coqwp/int/Power.v
-${PLIST.coq}share/frama-c/wp/coqwp/map/Const.v
-${PLIST.coq}share/frama-c/wp/coqwp/map/Map.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/Abs.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/ExpLog.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/FromInt.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/MinMax.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/PowerReal.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/Real.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/RealInfix.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/Square.v
-${PLIST.coq}share/frama-c/wp/coqwp/real/Trigonometry.v
-share/frama-c/wp/ergo/ArcTrigo.mlw
-share/frama-c/wp/ergo/Cbits.mlw
-share/frama-c/wp/ergo/Cfloat.mlw
-share/frama-c/wp/ergo/Cint.mlw
-share/frama-c/wp/ergo/Cmath.mlw
-share/frama-c/wp/ergo/ExpLog.mlw
-share/frama-c/wp/ergo/Memory.mlw
-share/frama-c/wp/ergo/Qed.mlw
-share/frama-c/wp/ergo/Square.mlw
-share/frama-c/wp/ergo/Vlist.mlw
-share/frama-c/wp/ergo/Vset.mlw
-share/frama-c/wp/ergo/bool.Bool.mlw
-share/frama-c/wp/ergo/int.Abs.mlw
-share/frama-c/wp/ergo/int.ComputerDivision.mlw
-share/frama-c/wp/ergo/int.ComputerOfEuclideanDivision.mlw
-share/frama-c/wp/ergo/int.Int.mlw
-share/frama-c/wp/ergo/int.MinMax.mlw
-share/frama-c/wp/ergo/map.Const.mlw
-share/frama-c/wp/ergo/map.Map.mlw
-share/frama-c/wp/ergo/real.Abs.mlw
-share/frama-c/wp/ergo/real.ExpLog.mlw
-share/frama-c/wp/ergo/real.FromInt.mlw
-share/frama-c/wp/ergo/real.Hyperbolic.mlw
-share/frama-c/wp/ergo/real.MinMax.mlw
-share/frama-c/wp/ergo/real.Polar.mlw
-share/frama-c/wp/ergo/real.PowerReal.mlw
-share/frama-c/wp/ergo/real.Real.mlw
-share/frama-c/wp/ergo/real.RealInfix.mlw
-share/frama-c/wp/ergo/real.Square.mlw
-share/frama-c/wp/ergo/real.Trigonometry.mlw
-share/frama-c/wp/ergo/real.Truncate.mlw
-share/frama-c/wp/why3/frama_c_wp/cbits.mlw
-share/frama-c/wp/why3/frama_c_wp/cfloat.mlw
-share/frama-c/wp/why3/frama_c_wp/cint.mlw
-share/frama-c/wp/why3/frama_c_wp/cmath.mlw
-share/frama-c/wp/why3/frama_c_wp/memory.mlw
-share/frama-c/wp/why3/frama_c_wp/qed.mlw
-share/frama-c/wp/why3/frama_c_wp/vlist.mlw
-share/frama-c/wp/why3/frama_c_wp/vset.mlw
-share/frama-c/wp/wp.driver
-@pkgdir ${OCAML_SITELIB}
diff --git a/frama-c/TODO b/frama-c/TODO
deleted file mode 100644
index 79e7bba9db..0000000000
--- a/frama-c/TODO
+++ /dev/null
@@ -1,4 +0,0 @@
-- PLIST should be sorted (after $PLIST.coq removed)
-- coq option is NOT fully checked over PLIST
-- coq option only may give packagin error with why3
-
diff --git a/frama-c/distinfo b/frama-c/distinfo
deleted file mode 100644
index 8fe8354951..0000000000
--- a/frama-c/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD: distinfo,v 1.9 2017/12/19 08:17:21 markd Exp $
-
-BLAKE2s (Frama-C-snapshot-20.0.tar.gz) = f47a7eb6d5e6574a1798a51d1c45a96c214f47584e9ea9557867c13e77564921
-SHA512 (Frama-C-snapshot-20.0.tar.gz) = 38a2e4817d7c0690fb3f3c1ccca03b518ee5b8d3f803174c413a1787d47b0bdf2f8f13ae56e8db3199ece4d6903e0930e40966cf5efcbaab673159ab9ec809cc
-Size (Frama-C-snapshot-20.0.tar.gz) = 5869359 bytes
diff --git a/frama-c/options.mk b/frama-c/options.mk
deleted file mode 100644
index 085baedc9f..0000000000
--- a/frama-c/options.mk
+++ /dev/null
@@ -1,25 +0,0 @@
-# $NetBSD: options.mk,v 1.4 2017/09/05 07:30:00 dholland Exp $
-
-PKG_OPTIONS_VAR= PKG_OPTIONS.frama-c
-PKG_SUPPORTED_OPTIONS= gui coq
-PKG_SUGGESTED_OPTIONS= gui coq
-
-PLIST_VARS= gui coq
-
-.include "../../mk/bsd.options.mk"
-
-.if !empty(PKG_OPTIONS:Mgui)
-PLIST.gui= yes
-
-.include "../../x11/ocaml-lablgtk/buildlink3.mk"
-.else
-CONFIGURE_ARGS+= --enable-gui=no
-.endif
-
-.if !empty(PKG_OPTIONS:Mcoq)
-PLIST.coq= yes
-
-DEPENDS+= coq>=8.6:../../lang/coq
-.else
-CONFIGURE_ARGS+= --enable-wp-coq=no
-.endif
diff --git a/ocaml-biniou/DESCR b/ocaml-biniou/DESCR
deleted file mode 100644
index ca18c76d20..0000000000
--- a/ocaml-biniou/DESCR
+++ /dev/null
@@ -1,5 +0,0 @@
-Biniou (pronounced "be new") is a binary data format designed for
-speed, safety, ease of use and backward compatibility as protocols
-evolve. Biniou is vastly equivalent to JSON in terms of functionality
-but allows implementations several times faster (4 times faster than
-yojson), with 25-35% space savings.
\ No newline at end of file
diff --git a/ocaml-biniou/Makefile b/ocaml-biniou/Makefile
deleted file mode 100644
index 7e7e4e24cd..0000000000
--- a/ocaml-biniou/Makefile
+++ /dev/null
@@ -1,20 +0,0 @@
-# $NetBSD: Makefile,v 1.3 2014/11/21 06:01:35 jgoamakf Exp $
-
-DISTNAME= biniou-1.0.9
-PKGNAME= ocaml-${DISTNAME}
-CATEGORIES= devel
-MASTER_SITES= http://mjambon.com/releases/biniou/
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= http://mjambon.com/biniou.html
-COMMENT= Extensible binary serialization format
-LICENSE= modified-bsd
-
-USE_TOOLS+= gmake
-
-OCAML_USE_FINDLIB= yes
-BUILD_TARGET+= opt
-
-.include "../../wip/ocaml-easy-format/buildlink3.mk"
-.include "../../mk/ocaml.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/ocaml-biniou/PLIST b/ocaml-biniou/PLIST
deleted file mode 100644
index 0b7064d1ee..0000000000
--- a/ocaml-biniou/PLIST
+++ /dev/null
@@ -1,36 +0,0 @@
-@comment $NetBSD: PLIST,v 1.2 2014/11/21 06:01:35 jgoamakf Exp $
-lib/ocaml/site-lib/biniou/META
-lib/ocaml/site-lib/biniou/bi_dump.cmi
-lib/ocaml/site-lib/biniou/bi_dump.cmx
-lib/ocaml/site-lib/biniou/bi_dump.o
-lib/ocaml/site-lib/biniou/bi_inbuf.cmi
-lib/ocaml/site-lib/biniou/bi_inbuf.cmx
-lib/ocaml/site-lib/biniou/bi_inbuf.mli
-lib/ocaml/site-lib/biniou/bi_inbuf.o
-lib/ocaml/site-lib/biniou/bi_io.cmi
-lib/ocaml/site-lib/biniou/bi_io.cmx
-lib/ocaml/site-lib/biniou/bi_io.mli
-lib/ocaml/site-lib/biniou/bi_io.o
-lib/ocaml/site-lib/biniou/bi_outbuf.cmi
-lib/ocaml/site-lib/biniou/bi_outbuf.cmx
-lib/ocaml/site-lib/biniou/bi_outbuf.mli
-lib/ocaml/site-lib/biniou/bi_outbuf.o
-lib/ocaml/site-lib/biniou/bi_share.cmi
-lib/ocaml/site-lib/biniou/bi_share.cmx
-lib/ocaml/site-lib/biniou/bi_share.mli
-lib/ocaml/site-lib/biniou/bi_share.o
-lib/ocaml/site-lib/biniou/bi_stream.cmi
-lib/ocaml/site-lib/biniou/bi_stream.cmx
-lib/ocaml/site-lib/biniou/bi_stream.mli
-lib/ocaml/site-lib/biniou/bi_stream.o
-lib/ocaml/site-lib/biniou/bi_util.cmi
-lib/ocaml/site-lib/biniou/bi_util.cmx
-lib/ocaml/site-lib/biniou/bi_util.mli
-lib/ocaml/site-lib/biniou/bi_util.o
-lib/ocaml/site-lib/biniou/bi_vint.cmi
-lib/ocaml/site-lib/biniou/bi_vint.cmx
-lib/ocaml/site-lib/biniou/bi_vint.mli
-lib/ocaml/site-lib/biniou/bi_vint.o
-lib/ocaml/site-lib/biniou/biniou.a
-lib/ocaml/site-lib/biniou/biniou.cmxa
-lib/ocaml/site-lib/biniou/biniou.cmxs
diff --git a/ocaml-biniou/buildlink3.mk b/ocaml-biniou/buildlink3.mk
deleted file mode 100644
index 0a28d5966b..0000000000
--- a/ocaml-biniou/buildlink3.mk
+++ /dev/null
@@ -1,11 +0,0 @@
-# $NetBSD: buildlink3.mk,v 1.1 2014/11/21 06:01:35 jgoamakf Exp $
-BUILDLINK_TREE+= ocaml-biniou
-
-.if !defined(OCAML_BINIOU_BUILDLINK3_MK)
-OCAML_BINIOU_BUILDLINK3_MK:=
-
-BUILDLINK_API_DEPENDS.ocaml-biniou+= ocaml-biniou>=1.0.9
-BUILDLINK_PKGSRCDIR.ocaml-biniou?= ../../wip/ocaml-biniou
-.endif # OCAML_BINIOU_BUILDLINK3_MK
-
-BUILDLINK_TREE+= -ocaml-biniou
diff --git a/ocaml-biniou/distinfo b/ocaml-biniou/distinfo
deleted file mode 100644
index 2ae6f7d204..0000000000
--- a/ocaml-biniou/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD: distinfo,v 1.2 2014/11/21 06:01:35 jgoamakf Exp $
-
-RMD160 (biniou-1.0.9.tar.gz) = bc5b528014363259ac2cb19be131a653845cf227
-Size (biniou-1.0.9.tar.gz) = 23963 bytes
-SHA1 (patch-Makefile) = 2ff1f6d79335f96c7d5633132809da0bd070abc8
diff --git a/ocaml-biniou/patches/patch-Makefile b/ocaml-biniou/patches/patch-Makefile
deleted file mode 100644
index 8a0fae112a..0000000000
--- a/ocaml-biniou/patches/patch-Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
---- Makefile.orig 2014-01-19 17:18:17.000000000 +0900
-+++ Makefile 2014-11-18 12:13:42.000000000 +0900
-@@ -76,8 +76,9 @@
- ocamlfind ocamldoc -d doc -html -package easy-format $(MLI)
-
- install: META
-- test ! -f bdump || cp bdump $(BINDIR)/
-- test ! -f bdump.exe || cp bdump.exe $(BINDIR)/
-+ $(BSD_INSTALL_PROGRAM_DIR) $(DESTDIR)$(BINDIR)
-+ test ! -f bdpmp || $(BSD_INSTALL_PROGRAM) bdump $(DESTDIR)$(BINDIR)/
-+ test ! -f bdump.exe || $(BSD_INSTALL_PROGRAM) bdump.exe $(DESTDIR)$(BINDIR)/
- ocamlfind install biniou META \
- $$(ls $(MLI) $(CMI) $(CMO) $(CMX) $(O) \
- biniou.cma biniou.cmxa biniou.cmxs biniou.a)
diff --git a/ocaml-easy-format/DESCR b/ocaml-easy-format/DESCR
deleted file mode 100644
index 69b5db5c42..0000000000
--- a/ocaml-easy-format/DESCR
+++ /dev/null
@@ -1,2 +0,0 @@
-This module offers a high-level and functional interface to the Format
-module of the OCaml standard library.
diff --git a/ocaml-easy-format/Makefile b/ocaml-easy-format/Makefile
deleted file mode 100644
index 837babf53f..0000000000
--- a/ocaml-easy-format/Makefile
+++ /dev/null
@@ -1,19 +0,0 @@
-# $NetBSD: Makefile,v 1.3 2014/11/21 05:51:07 jgoamakf Exp $
-
-DISTNAME= easy-format-1.0.2
-PKGNAME= ocaml-${DISTNAME}
-CATEGORIES= textproc
-MASTER_SITES= http://mjambon.com/releases/easy-format/
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= http://mjambon.com/easy-format.html
-COMMENT= High-level and functional interface to the OCaml Format module
-LICENSE= modified-bsd
-
-USE_TOOLS+= gmake
-
-OCAML_USE_FINDLIB= yes
-BUILD_TARGET+= opt
-
-.include "../../mk/ocaml.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/ocaml-easy-format/PLIST b/ocaml-easy-format/PLIST
deleted file mode 100644
index 6341c3fcfd..0000000000
--- a/ocaml-easy-format/PLIST
+++ /dev/null
@@ -1,7 +0,0 @@
-@comment $NetBSD: PLIST,v 1.2 2014/11/21 05:51:07 jgoamakf Exp $
-lib/ocaml/site-lib/easy-format/META
-lib/ocaml/site-lib/easy-format/easy_format.cmi
-lib/ocaml/site-lib/easy-format/easy_format.cmx
-lib/ocaml/site-lib/easy-format/easy_format.cmxs
-lib/ocaml/site-lib/easy-format/easy_format.mli
-lib/ocaml/site-lib/easy-format/easy_format.o
diff --git a/ocaml-easy-format/buildlink3.mk b/ocaml-easy-format/buildlink3.mk
deleted file mode 100644
index a386fe138d..0000000000
--- a/ocaml-easy-format/buildlink3.mk
+++ /dev/null
@@ -1,12 +0,0 @@
-# $NetBSD: buildlink3.mk,v 1.1 2014/11/17 11:46:14 jgoamakf Exp $
-BUILDLINK_TREE+= ocaml-easy-format
-
-.if !defined(OCAML_EASY_FORMAT_BUILDLINK3_MK)
-OCAML_EASY_FORMAT_BUILDLINK3_MK:=
-
-BUILDLINK_API_DEPENDS.ocaml-easy-format+= ocaml-easy-format>=1.0.2
-BUILDLINK_PKGSRCDIR.ocaml-easy-format?= ../../wip/ocaml-easy-format
-
-.endif # OCAML_EASY_FORMAT_BUILDLINK3_MK
-
-BUILDLINK_TREE+= -ocaml-easy-format
diff --git a/ocaml-easy-format/distinfo b/ocaml-easy-format/distinfo
deleted file mode 100644
index 2a4cc1b729..0000000000
--- a/ocaml-easy-format/distinfo
+++ /dev/null
@@ -1,4 +0,0 @@
-$NetBSD: distinfo,v 1.1 2014/05/22 08:45:46 jgoamakf Exp $
-
-RMD160 (easy-format-1.0.2.tar.gz) = e5b3bbf48a2cc6f4929a75f5c3f24e734a0e2ad9
-Size (easy-format-1.0.2.tar.gz) = 13679 bytes
diff --git a/ocaml-yojson/DESCR b/ocaml-yojson/DESCR
deleted file mode 100644
index 87b2ba7f6e..0000000000
--- a/ocaml-yojson/DESCR
+++ /dev/null
@@ -1,2 +0,0 @@
-Yojson is an optimized parsing and printing library for the JSON
-format.
diff --git a/ocaml-yojson/Makefile b/ocaml-yojson/Makefile
deleted file mode 100644
index 8dc51169ac..0000000000
--- a/ocaml-yojson/Makefile
+++ /dev/null
@@ -1,23 +0,0 @@
-# $NetBSD: Makefile,v 1.2 2015/01/29 07:36:46 jgoamakf Exp $
-
-PKGNAME= ocaml-${DISTNAME}
-DISTNAME= yojson-1.1.8
-CATEGORIES= textproc
-MASTER_SITES= http://mjambon.com/releases/yojson/
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= http://mjambon.com/yojson.html
-COMMENT= JSON parsing and printing library for OCaml
-LICENSE= modified-bsd
-
-BROKEN= depends on nonexistent ocaml-cppo package
-#DEPENDS+= ocaml-cppo-[0-9]*:../../wip/ocaml-cppo
-
-USE_TOOLS+= gmake
-BUILD_TARGET+= all opt
-
-OCAML_USE_FINDLIB= yes
-
-.include "../../wip/ocaml-biniou/buildlink3.mk"
-.include "../../mk/ocaml.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/ocaml-yojson/PLIST b/ocaml-yojson/PLIST
deleted file mode 100644
index 59972479a0..0000000000
--- a/ocaml-yojson/PLIST
+++ /dev/null
@@ -1,15 +0,0 @@
-@comment $NetBSD: PLIST,v 1.1 2014/11/21 06:24:55 jgoamakf Exp $
-bin/ydump
-lib/ocaml/site-lib/yojson/META
-lib/ocaml/site-lib/yojson/yojson.cmi
-lib/ocaml/site-lib/yojson/yojson.cmo
-lib/ocaml/site-lib/yojson/yojson.cmx
-lib/ocaml/site-lib/yojson/yojson.cmxs
-lib/ocaml/site-lib/yojson/yojson.mli
-lib/ocaml/site-lib/yojson/yojson.o
-lib/ocaml/site-lib/yojson/yojson_biniou.cmi
-lib/ocaml/site-lib/yojson/yojson_biniou.cmo
-lib/ocaml/site-lib/yojson/yojson_biniou.cmx
-lib/ocaml/site-lib/yojson/yojson_biniou.cmxs
-lib/ocaml/site-lib/yojson/yojson_biniou.mli
-lib/ocaml/site-lib/yojson/yojson_biniou.o
diff --git a/ocaml-yojson/buildlink3.mk b/ocaml-yojson/buildlink3.mk
deleted file mode 100644
index ad1e148024..0000000000
--- a/ocaml-yojson/buildlink3.mk
+++ /dev/null
@@ -1,11 +0,0 @@
-# $NetBSD: buildlink3.mk,v 1.1 2014/11/21 06:24:55 jgoamakf Exp $
-BUILDLINK_TREE+= ocaml-yojson
-
-.if !defined(OCAML_YOJSON_BUILDLINK3_MK)
-OCAML_YOJSON_BUILDLINK3_MK:=
-
-BUILDLINK_API_DEPENDS.ocaml-yojson+= ocaml-yojson>=1.1.8
-BUILDLINK_PKGSRCDIR.ocaml-yojson?= ../../wip/ocaml-yojson
-.endif # OCAML_YOJSON_BUILDLINK3_MK
-
-BUILDLINK_TREE+= -ocaml-yojson
diff --git a/ocaml-yojson/distinfo b/ocaml-yojson/distinfo
deleted file mode 100644
index f687e28d24..0000000000
--- a/ocaml-yojson/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD: distinfo,v 1.2 2015/01/29 07:36:46 jgoamakf Exp $
-
-RMD160 (yojson-1.1.8.tar.gz) = c064d719f0ca1e117e5601f911c9bbecabd44e48
-Size (yojson-1.1.8.tar.gz) = 25157 bytes
-SHA1 (patch-Makefile) = 97caf26b95599114d729e340a00c141a5b0759d3
diff --git a/ocaml-yojson/patches/patch-Makefile b/ocaml-yojson/patches/patch-Makefile
deleted file mode 100644
index 3d6359ff57..0000000000
--- a/ocaml-yojson/patches/patch-Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-$NetBSD: patch-Makefile,v 1.1 2014/11/21 06:24:55 jgoamakf Exp $
-
-Install into DESTDIR.
---- Makefile.orig 2014-11-18 12:15:07.000000000 +0900
-+++ Makefile 2014-11-18 12:15:54.000000000 +0900
-@@ -36,8 +36,9 @@
- sed -e 's:@@VERSION@@:$(VERSION):' META.in > META
-
- install: META
-- test ! -f ydump || cp ydump $(BINDIR)/
-- test ! -f ydump.exe || cp ydump.exe $(BINDIR)/
-+ $(BSD_INSTALL_PROGRAM_DIR) $(DESTDIR)$(BINDIR)
-+ test ! -f ydump || $(BSD_INSTALL_PROGRAM) ydump $(DESTDIR)$(BINDIR)/
-+ test ! -f ydump.exe || $(BSD_INSTALL_PROGRAM) ydump.exe $(DESTDIR)$(BINDIR)/
- ocamlfind install yojson META \
- $$(ls yojson.mli yojson_biniou.mli \
- yojson.cmi yojson_biniou.cmi \
Home |
Main Index |
Thread Index |
Old Index