Attachment 232895 Details for Bug 262794 – Several updates to unmaintained OCaml ports

[patch] Several updates to unmaintained OCaml ports

ocaml_unmtn.diff (text/plain), 123.97 KB, created by Thierry Thomas on 2022-04-02 15:15:31 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Thierry Thomas

Created: 2022-04-02 15:15:31 UTC

Size: 123.97 KB

patch

obsolete

>From 320099e13ba63ecdce58ff0a0803fdc966b1a637 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sat, 5 Mar 2022 11:37:58 +0100
>Subject: [PATCH 01/16] x11-toolkits/ocaml-labltk: upgrade to 8.06.10
>
>Note: it works on OCaml 4.12 (and only this version).
>---
> x11-toolkits/ocaml-labltk/Makefile  | 6 ++++--
> x11-toolkits/ocaml-labltk/distinfo  | 6 +++---
> x11-toolkits/ocaml-labltk/pkg-descr | 2 +-
> x11-toolkits/ocaml-labltk/pkg-plist | 4 +++-
> 4 files changed, 11 insertions(+), 7 deletions(-)
>
>diff --git a/x11-toolkits/ocaml-labltk/Makefile b/x11-toolkits/ocaml-labltk/Makefile
>index 32bb6d4935e2..9611d4346349 100644
>--- a/x11-toolkits/ocaml-labltk/Makefile
>+++ b/x11-toolkits/ocaml-labltk/Makefile
>@@ -1,9 +1,8 @@
> # Created by: Michael GrÃ¼newald <michipili@gmail.com>
> 
> PORTNAME=	labltk
>-PORTVERSION=	8.06.3
>+PORTVERSION=	8.06.10	# work on OCaml 4.12 (and only this version)
> CATEGORIES=	x11-toolkits
>-MASTER_SITES=	https://download.ocamlcore.org/${PORTNAME}/${PORTNAME}/${PORTVERSION}/
> PKGNAMEPREFIX=	ocaml-
> 
> MAINTAINER=	ports@FreeBSD.org
>@@ -11,6 +10,9 @@ COMMENT=	Objective Caml interface to Tk
> 
> LICENSE=	LGPL20
> 
>+USE_GITHUB=	yes
>+GH_ACCOUNT=	garrigue
>+
> USES=		gmake tk
> HAS_CONFIGURE=	yes
> MAKE_JOBS_UNSAFE=yes
>diff --git a/x11-toolkits/ocaml-labltk/distinfo b/x11-toolkits/ocaml-labltk/distinfo
>index 453a615ba5e5..49581c025644 100644
>--- a/x11-toolkits/ocaml-labltk/distinfo
>+++ b/x11-toolkits/ocaml-labltk/distinfo
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1559830627
>-SHA256 (labltk-8.06.3.tar.gz) = b6b7076f6a2a7b2f63095013cb4e37a1f2a6eb3d4abb57dbb1b8cff1ae4c6ae6
>-SIZE (labltk-8.06.3.tar.gz) = 369924
>+TIMESTAMP = 1646476548
>+SHA256 (garrigue-labltk-8.06.10_GH0.tar.gz) = 745367755365b51ee2c5415654be6fa406e166a374f8d90cd8199091307b8d10
>+SIZE (garrigue-labltk-8.06.10_GH0.tar.gz) = 371871
>diff --git a/x11-toolkits/ocaml-labltk/pkg-descr b/x11-toolkits/ocaml-labltk/pkg-descr
>index 94a487f2d177..09c183610f59 100644
>--- a/x11-toolkits/ocaml-labltk/pkg-descr
>+++ b/x11-toolkits/ocaml-labltk/pkg-descr
>@@ -5,4 +5,4 @@ develop GUI applications in a speedy and type safe way. A legacy
> Camltk interface is included. The OCamlBrowser library viewer is
> also part of this project.
> 
>-WWW: https://forge.ocamlcore.org/projects/labltk/
>+WWW: https://garrigue.github.io/labltk/
>diff --git a/x11-toolkits/ocaml-labltk/pkg-plist b/x11-toolkits/ocaml-labltk/pkg-plist
>index 7842ae1df634..ccc94199e6df 100644
>--- a/x11-toolkits/ocaml-labltk/pkg-plist
>+++ b/x11-toolkits/ocaml-labltk/pkg-plist
>@@ -1,5 +1,6 @@
> bin/labltk
> bin/ocamlbrowser
>+lib/ocaml/labltk/META
> lib/ocaml/labltk/balloon.cmi
> lib/ocaml/labltk/balloon.cmx
> lib/ocaml/labltk/balloon.mli
>@@ -127,6 +128,8 @@ lib/ocaml/labltk/cWm.cmx
> lib/ocaml/labltk/cWm.mli
> lib/ocaml/labltk/camltk.cmi
> lib/ocaml/labltk/camltk.cmx
>+lib/ocaml/labltk/camltkwrap.cmi
>+lib/ocaml/labltk/camltkwrap.cmx
> lib/ocaml/labltk/canvas.cmi
> lib/ocaml/labltk/canvas.cmx
> lib/ocaml/labltk/canvas.mli
>@@ -335,5 +338,4 @@ lib/ocaml/labltk/winfo.mli
> lib/ocaml/labltk/wm.cmi
> lib/ocaml/labltk/wm.cmx
> lib/ocaml/labltk/wm.mli
>-lib/ocaml/labltk/META
> lib/ocaml/stublibs/dlllabltk.so
>-- 
>2.35.1
>
>
>From 66802cb84d87c6015642519082a14423686ab4fe Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Wed, 9 Mar 2022 22:52:09 +0100
>Subject: [PATCH 02/16] devel/ocaml-sexplib: upgrade to v0.14.0
>
>Too many changes to be listed here!
>See <https://github.com/janestreet/sexplib/blob/master/CHANGES.md>.
>---
> devel/ocaml-sexplib/Makefile                |  42 +++----
> devel/ocaml-sexplib/distinfo                |   5 +-
> devel/ocaml-sexplib/files/patch-lib_conv.ml |  46 --------
> devel/ocaml-sexplib/pkg-plist               | 124 ++++++++++++++++++++
> 4 files changed, 146 insertions(+), 71 deletions(-)
> delete mode 100644 devel/ocaml-sexplib/files/patch-lib_conv.ml
> create mode 100644 devel/ocaml-sexplib/pkg-plist
>
>diff --git a/devel/ocaml-sexplib/Makefile b/devel/ocaml-sexplib/Makefile
>index 727bc1a10b87..05592e067fc9 100644
>--- a/devel/ocaml-sexplib/Makefile
>+++ b/devel/ocaml-sexplib/Makefile
>@@ -1,43 +1,39 @@
> # Created by: Stanislav Sedov <ssedov@mbsd.msk.ru>
> 
> PORTNAME=	sexplib
>-PORTVERSION=	113.00.00
>-MASTER_SITES=	https://ocaml.janestreet.com/ocaml-core/${PORTVERSION:R}/files/
>+PORTVERSION=	0.14.0
>+DISTVERSIONPREFIX=	v
>+PORTEPOCH=	1
> CATEGORIES=	devel
>+MASTER_SITES=	https://ocaml.janestreet.com/ocaml-core/${DISTVERSIONPREFIX}${PORTVERSION:R}/files/
> PKGNAMEPREFIX=	ocaml-
> 
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	OCaml library for working with S-expressions
> 
>-LICENSE=	APACHE20 BSD3CLAUSE
>-LICENSE_COMB=	multi
>-LICENSE_FILE_APACHE20=	${WRKSRC}/LICENSE.txt
>-LICENSE_FILE_BSD3CLAUSE=${WRKSRC}/LICENSE-Tywith.txt
>+LICENSE=	MIT
> 
>-BUILD_DEPENDS=	ocaml-type_conv>=0:devel/ocaml-type_conv
>-BUILD_DEPENDS+=	ocamlbuild:devel/ocaml-ocamlbuild
>-RUN_DEPENDS=	ocaml-type_conv>=0:devel/ocaml-type_conv
>+BUILD_DEPENDS=	dune:devel/ocaml-dune	\
>+		ocaml-num>0:devel/ocaml-num	\
>+		ocaml-parsexp>0:devel/ocaml-parsexp	\
>+		ocaml-sexplib0>0:devel/ocaml-sexplib0
>+RUN_DEPENDS=	ocaml-parsexp>0:devel/ocaml-parsexp
> 
> OPTIONS_DEFINE=	DOCS
> 
>-CONFIGURE_ARGS=	--disable-docs --prefix ${PREFIX}
>-HAS_CONFIGURE=	yes
>-MAKE_JOBS_UNSAFE=	yes
> USE_OCAML=	yes
>-USE_OCAML_FINDLIB=	yes
>-USE_OCAML_CAMLP4=	yes
>-USE_OCAMLFIND_PLIST=	yes
>-USES=		gmake
> 
>+MAKE_ENV=	INSTALL_ARGS="--destdir=${STAGEDIR} --libdir=${OCAML_SITELIBDIR}"
> DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
>-OCAML_PKGDIRS=	${PORTNAME} ${PORTNAME}_num ${PORTNAME}_unix
>-PORTDOCS=	*
>+ALL_TARGET=	default
> 
>-post-install:
>-	${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/sexplib*/*.cmxs
>+OPTIONS_DEFINE=	DOCS
> 
>-post-install-DOCS-on:
>-	${MKDIR} ${STAGEDIR}${DOCSDIR}/
>-	cd ${WRKSRC}/ && ${INSTALL_DATA} CHANGES.md README.md ${STAGEDIR}${DOCSDIR}/
>+pre-build:
>+	${REINPLACE_CMD} -e 's|^INSTALL_ARGS|#INSTALL_ARGS|' ${WRKSRC}/${MAKEFILE}
>+
>+post-install:
>+	${FIND} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME} -name "*.cmxs" | \
>+		${XARGS} ${STRIP_CMD}
> 
> .include <bsd.port.mk>
>diff --git a/devel/ocaml-sexplib/distinfo b/devel/ocaml-sexplib/distinfo
>index 0ed067e03ae3..65d4f2c177c6 100644
>--- a/devel/ocaml-sexplib/distinfo
>+++ b/devel/ocaml-sexplib/distinfo
>@@ -1,2 +1,3 @@
>-SHA256 (sexplib-113.00.00.tar.gz) = df91f1b4aae3936856cbb00a621a2c40f6b56c06670e1513b2b60698ab8240e4
>-SIZE (sexplib-113.00.00.tar.gz) = 136960
>+TIMESTAMP = 1646862015
>+SHA256 (sexplib-v0.14.0.tar.gz) = a2d2c5fdab67b37f06a5ae190de18ba4488d02894f09fd866d4e66e60cb3348b
>+SIZE (sexplib-v0.14.0.tar.gz) = 57154
>diff --git a/devel/ocaml-sexplib/files/patch-lib_conv.ml b/devel/ocaml-sexplib/files/patch-lib_conv.ml
>deleted file mode 100644
>index 4e1382e8aa58..000000000000
>--- a/devel/ocaml-sexplib/files/patch-lib_conv.ml
>+++ /dev/null
>@@ -1,46 +0,0 @@
>-From cba80ebe02962504fbe404b1baf484a5000f44b4
>-From: Jeremie Dimino <jdimino@janestreet.com>
>-Date: Tue, 12 Jul 2016 17:08:10 +0100
>-Subject: [PATCH] 114.01+04
>-
>---- lib/conv.ml.orig	2016-03-09 15:44:55 UTC
>-+++ lib/conv.ml
>-@@ -185,7 +185,7 @@ module Exn_converter = struct
>- 
>-   (* [Obj.extension_id] works on both the exception itself, and the extension slot of the
>-      exception. *)
>--  let rec clean_up_handler (slot : Obj.t) =
>-+  let rec clean_up_handler (slot : extension_constructor) =
>-     let id = Obj.extension_id slot in
>-     let old_exn_id_map = !exn_id_map in
>-     let new_exn_id_map = Exn_ids.remove id old_exn_id_map in
>-@@ -196,7 +196,7 @@ module Exn_converter = struct
>-       exn_id_map := new_exn_id_map
>- 
>-   let add_auto ?(finalise = true) exn sexp_of_exn =
>--    let id = Obj.extension_id exn in
>-+    let id = Obj.extension_id (Obj.extension_constructor exn) in
>-     let rec loop () =
>-       let old_exn_id_map = !exn_id_map in
>-       let new_exn_id_map = Exn_ids.add id sexp_of_exn old_exn_id_map in
>-@@ -205,13 +205,18 @@ module Exn_converter = struct
>-         loop ()
>-       else begin
>-         exn_id_map := new_exn_id_map;
>--        if finalise then Gc.finalise clean_up_handler (Obj.extension_slot exn)
>-+        if finalise then
>-+          try
>-+            Gc.finalise clean_up_handler (Obj.extension_constructor exn)
>-+          with Invalid_argument _ ->
>-+            (* Pre-allocated extension constructors cannot be finalised *)
>-+            ()
>-       end
>-     in
>-     loop ()
>- 
>-   let find_auto exn =
>--    let id = Obj.extension_id exn in
>-+    let id = Obj.extension_id (Obj.extension_constructor exn) in
>-     match Exn_ids.find id !exn_id_map with
>-     | exception Not_found -> None
>-     | sexp_of_exn -> Some (sexp_of_exn exn)
>diff --git a/devel/ocaml-sexplib/pkg-plist b/devel/ocaml-sexplib/pkg-plist
>new file mode 100644
>index 000000000000..333f5d3cf50d
>--- /dev/null
>+++ b/devel/ocaml-sexplib/pkg-plist
>@@ -0,0 +1,124 @@
>+%%OCAML_SITELIBDIR%%/sexplib/META
>+%%OCAML_SITELIBDIR%%/sexplib/conv.ml
>+%%OCAML_SITELIBDIR%%/sexplib/conv.mli
>+%%OCAML_SITELIBDIR%%/sexplib/conv_error.ml
>+%%OCAML_SITELIBDIR%%/sexplib/dune-package
>+%%OCAML_SITELIBDIR%%/sexplib/exn_magic.ml
>+%%OCAML_SITELIBDIR%%/sexplib/exn_magic.mli
>+%%OCAML_SITELIBDIR%%/sexplib/lexer.ml
>+%%OCAML_SITELIBDIR%%/sexplib/lexer.mli
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num.a
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num.cma
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num.cmxa
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num.cmxs
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num.ml
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num__Sexplib_num_conv.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num__Sexplib_num_conv.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num__Sexplib_num_conv.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num__Sexplib_num_conv.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num__Std.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num__Std.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num__Std.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num_conv.ml
>+%%OCAML_SITELIBDIR%%/sexplib/num/sexplib_num_conv.mli
>+%%OCAML_SITELIBDIR%%/sexplib/num/std.ml
>+%%OCAML_SITELIBDIR%%/sexplib/opam
>+%%OCAML_SITELIBDIR%%/sexplib/parser.ml
>+%%OCAML_SITELIBDIR%%/sexplib/parser.mli
>+%%OCAML_SITELIBDIR%%/sexplib/parser_with_layout.ml
>+%%OCAML_SITELIBDIR%%/sexplib/parser_with_layout.mli
>+%%OCAML_SITELIBDIR%%/sexplib/path.ml
>+%%OCAML_SITELIBDIR%%/sexplib/path.mli
>+%%OCAML_SITELIBDIR%%/sexplib/pre_sexp.ml
>+%%OCAML_SITELIBDIR%%/sexplib/sexp.ml
>+%%OCAML_SITELIBDIR%%/sexplib/sexp.mli
>+%%OCAML_SITELIBDIR%%/sexplib/sexp_intf.ml
>+%%OCAML_SITELIBDIR%%/sexplib/sexp_with_layout.ml
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib.a
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib.cma
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib.cmxa
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib.cmxs
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib.ml
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Conv.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Conv.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Conv.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Conv.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Conv_error.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Conv_error.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Conv_error.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Exn_magic.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Exn_magic.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Exn_magic.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Exn_magic.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Lexer.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Lexer.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Lexer.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Lexer.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Parser.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Parser.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Parser.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Parser.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Parser_with_layout.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Parser_with_layout.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Parser_with_layout.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Parser_with_layout.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Path.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Path.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Path.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Path.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Pre_sexp.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Pre_sexp.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Pre_sexp.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp_intf.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp_intf.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp_intf.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp_with_layout.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp_with_layout.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Sexp_with_layout.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Src_pos.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Src_pos.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Src_pos.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Src_pos.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Std.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Std.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Std.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Type.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Type.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Type.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Type_with_layout.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Type_with_layout.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Type_with_layout.cmti
>+%%OCAML_SITELIBDIR%%/sexplib/sexplib__Type_with_layout.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/src_pos.ml
>+%%OCAML_SITELIBDIR%%/sexplib/src_pos.mli
>+%%OCAML_SITELIBDIR%%/sexplib/std.ml
>+%%OCAML_SITELIBDIR%%/sexplib/type.ml
>+%%OCAML_SITELIBDIR%%/sexplib/type_with_layout.ml
>+%%OCAML_SITELIBDIR%%/sexplib/type_with_layout.mli
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix.a
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix.cma
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix.cmxa
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix.cmxs
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix.ml
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix__Sexplib_unix_conv.cmi
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix__Sexplib_unix_conv.cmt
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix__Sexplib_unix_conv.cmx
>+%%OCAML_SITELIBDIR%%/sexplib/unix/sexplib_unix_conv.ml
>+%%PORTDOCS%%%%DOCSDIR%%/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%/CHANGES.txt
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE-Tywith.txt
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%/README.org
>-- 
>2.35.1
>
>
>From 50e08d40349af716823ea6b2e69a5d73c3a463f9 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sat, 12 Mar 2022 17:40:16 +0100
>Subject: [PATCH 03/16] devel/ocaml-react: upgrade to 1.2.2
>
>Also chase the upgrade of OCaml.
>---
> devel/ocaml-react/Makefile | 3 ++-
> devel/ocaml-react/distinfo | 6 +++---
> 2 files changed, 5 insertions(+), 4 deletions(-)
>
>diff --git a/devel/ocaml-react/Makefile b/devel/ocaml-react/Makefile
>index 4cd7edaeaacf..6092a0041a36 100644
>--- a/devel/ocaml-react/Makefile
>+++ b/devel/ocaml-react/Makefile
>@@ -1,7 +1,7 @@
> # Created by: Jaap Boender <jaapb@kerguelen.org>
> 
> PORTNAME=	react
>-PORTVERSION=	1.2.1
>+PORTVERSION=	1.2.2
> CATEGORIES=	devel
> MASTER_SITES=	http://erratique.ch/software/react/releases/
> PKGNAMEPREFIX=	ocaml-
>@@ -13,6 +13,7 @@ LICENSE=	ISCL
> LICENSE_FILE=	${WRKSRC}/LICENSE.md
> 
> BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild
>+RUN_DEPENDS=	cppo:devel/ocaml-cppo
> 
> USES=		tar:tbz
> USE_OCAML=	yes
>diff --git a/devel/ocaml-react/distinfo b/devel/ocaml-react/distinfo
>index d953531ddf97..13100d057cb1 100644
>--- a/devel/ocaml-react/distinfo
>+++ b/devel/ocaml-react/distinfo
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1489932646
>-SHA256 (react-1.2.1.tbz) = 7b2c5c078cc659dcd2202e5d89628df592c5e843b7e8f357b63db5f6d2e148aa
>-SIZE (react-1.2.1.tbz) = 39184
>+TIMESTAMP = 1647102380
>+SHA256 (react-1.2.2.tbz) = c4add315d6f1f153d115ee7ca8dd60c1265ff4d408c266125fcb5124fd228f99
>+SIZE (react-1.2.2.tbz) = 40013
>-- 
>2.35.1
>
>
>From b635ad34a1cf3c801e52be28f3086990e41f37aa Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sun, 13 Mar 2022 18:38:10 +0100
>Subject: [PATCH 04/16] devel/ocaml-cppo: upgrade to v1.6.8 and fix
> installation
>
>Release notes at
>	<https://github.com/ocaml-community/cppo/releases/tag/v1.6.8>.
>---
> devel/ocaml-cppo/Makefile  | 18 ++++++++++++++++-
> devel/ocaml-cppo/distinfo  |  6 +++---
> devel/ocaml-cppo/pkg-descr |  2 +-
> devel/ocaml-cppo/pkg-plist | 40 +++++++++++++++++++-------------------
> 4 files changed, 41 insertions(+), 25 deletions(-)
>
>diff --git a/devel/ocaml-cppo/Makefile b/devel/ocaml-cppo/Makefile
>index e97c49aa4d04..375585cc1e0a 100644
>--- a/devel/ocaml-cppo/Makefile
>+++ b/devel/ocaml-cppo/Makefile
>@@ -1,7 +1,7 @@
> # Created by: Michael Grunewald
> 
> PORTNAME=	cppo
>-PORTVERSION=	1.6.7
>+PORTVERSION=	1.6.8
> DISTVERSIONPREFIX=	v
> CATEGORIES=	devel
> PKGNAMEPREFIX=	ocaml-
>@@ -9,13 +9,29 @@ PKGNAMEPREFIX=	ocaml-
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	Simple preprocessor for OCaml
> 
>+LICENSE=	BSD3CLAUSE
>+
> BUILD_DEPENDS=	dune:devel/ocaml-dune \
> 		ocamlbuild:devel/ocaml-ocamlbuild
> 
> USE_GITHUB=	yes
> GH_ACCOUNT=	ocaml-community
>+
> USE_OCAML=	yes
> 
>+INSTALL_ARGS=	--destdir=${STAGEDIR} --libdir=${OCAML_SITELIBDIR}
>+DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
>+
> OPTIONS_DEFINE=	DOCS
> 
>+do-build:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune build)
>+
>+do-install:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune install ${INSTALL_ARGS})
>+
>+post-install:
>+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/cppo
>+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/cppo_ocamlbuild/cppo_ocamlbuild.cmxs
>+
> .include <bsd.port.mk>
>diff --git a/devel/ocaml-cppo/distinfo b/devel/ocaml-cppo/distinfo
>index e37e9ba6920c..c78a8b7a0f68 100644
>--- a/devel/ocaml-cppo/distinfo
>+++ b/devel/ocaml-cppo/distinfo
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1608568122
>-SHA256 (ocaml-community-cppo-v1.6.7_GH0.tar.gz) = 05da2db9b9c923105c26ef303ff9802e819146d0130421ba5656b1a8739ec461
>-SIZE (ocaml-community-cppo-v1.6.7_GH0.tar.gz) = 29032
>+TIMESTAMP = 1647192549
>+SHA256 (ocaml-community-cppo-v1.6.8_GH0.tar.gz) = 7e056d50bb194b7f628d2547667262ceb814b1fe9ea666240bfaf1396727be53
>+SIZE (ocaml-community-cppo-v1.6.8_GH0.tar.gz) = 29063
>diff --git a/devel/ocaml-cppo/pkg-descr b/devel/ocaml-cppo/pkg-descr
>index 2b98ee608c53..9d0a8abce80a 100644
>--- a/devel/ocaml-cppo/pkg-descr
>+++ b/devel/ocaml-cppo/pkg-descr
>@@ -10,4 +10,4 @@ The implementation of cppo relies on the standard library of OCaml and
> on the standard parsing tools Ocamllex and Ocamlyacc, which contribute
> to the robustness of cppo across OCaml versions.
> 
>-WWW: http://martin.jambon.free.fr/cppo.html
>+WWW: https://github.com/ocaml-community/cppo
>diff --git a/devel/ocaml-cppo/pkg-plist b/devel/ocaml-cppo/pkg-plist
>index a58ecee23530..a05eebc15126 100644
>--- a/devel/ocaml-cppo/pkg-plist
>+++ b/devel/ocaml-cppo/pkg-plist
>@@ -1,21 +1,21 @@
> bin/cppo
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo/META
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo/dune-package
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo/opam
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/META
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/cppo_ocamlbuild.a
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/cppo_ocamlbuild.cma
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/cppo_ocamlbuild.cmxa
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/cppo_ocamlbuild.cmxs
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/dune-package
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/ocamlbuild_cppo.cmi
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/ocamlbuild_cppo.cmt
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/ocamlbuild_cppo.cmti
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/ocamlbuild_cppo.cmx
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/ocamlbuild_cppo.ml
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/ocamlbuild_cppo.mli
>-%%OCAML_SITELIBDIR%%:/usr/local/lib/ocaml/cppo_ocamlbuild/opam
>-%%PORTDOCS%%share/doc/ocaml/cppo/LICENSE.md
>-%%PORTDOCS%%share/doc/ocaml/cppo/README.md
>-%%PORTDOCS%%share/doc/ocaml/cppo_ocamlbuild/LICENSE.md
>-%%PORTDOCS%%share/doc/ocaml/cppo_ocamlbuild/README.md
>+%%OCAML_SITELIBDIR%%/cppo/META
>+%%OCAML_SITELIBDIR%%/cppo/dune-package
>+%%OCAML_SITELIBDIR%%/cppo/opam
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/META
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/cppo_ocamlbuild.a
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/cppo_ocamlbuild.cma
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/cppo_ocamlbuild.cmxa
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/cppo_ocamlbuild.cmxs
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/dune-package
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/ocamlbuild_cppo.cmi
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/ocamlbuild_cppo.cmt
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/ocamlbuild_cppo.cmti
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/ocamlbuild_cppo.cmx
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/ocamlbuild_cppo.ml
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/ocamlbuild_cppo.mli
>+%%OCAML_SITELIBDIR%%/cppo_ocamlbuild/opam
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%/README.md
>+%%PORTDOCS%%%%DOCSDIR%%_ocamlbuild/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%_ocamlbuild/README.md
>-- 
>2.35.1
>
>
>From c79cdcd3ddd08d7066c7c26269681e17a3217036 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sat, 12 Mar 2022 16:38:16 +0100
>Subject: [PATCH 05/16] devel/ocaml-ounit: upgrade to v2.2.5
>
>Note that this is a transition package, ounit is now ounit2.
>---
> devel/ocaml-ounit/Makefile  |  40 ++++----
> devel/ocaml-ounit/distinfo  |   5 +-
> devel/ocaml-ounit/pkg-descr |   6 +-
> devel/ocaml-ounit/pkg-plist | 184 +++++++++++++++++++++++++++++++++---
> 4 files changed, 199 insertions(+), 36 deletions(-)
>
>diff --git a/devel/ocaml-ounit/Makefile b/devel/ocaml-ounit/Makefile
>index 93d5f6cb476a..8909df30f58c 100644
>--- a/devel/ocaml-ounit/Makefile
>+++ b/devel/ocaml-ounit/Makefile
>@@ -1,35 +1,39 @@
> # Created by: Meikel Brandmeyer <ocaml-ounit-port@kotka.de>
> 
> PORTNAME=	ounit
>-PORTVERSION=	1.0.3
>-PORTREVISION=	2
>+PORTVERSION=	2.2.5
>+DISTVERSIONPREFIX=	v
> CATEGORIES=	devel
>-MASTER_SITES=	http://www.xs4all.nl/~mmzeeman/ocaml/
> PKGNAMEPREFIX=	ocaml-
> 
> MAINTAINER=	ports@FreeBSD.org
>-COMMENT=	OCaml unit test framework
>+COMMENT=	OCaml unit test framework (transition package)
> 
> LICENSE=	MIT
>-LICENSE_FILE=	${WRKSRC}/LICENCE
> 
>-USES=		gmake
>+BUILD_DEPENDS=	dune:devel/ocaml-dune	\
>+		ocaml-lwt>0:devel/ocaml-lwt	\
>+		ocaml-stdlib-shims>0:devel/ocaml-stdlib-shims
>+
>+USE_GITHUB=	yes
>+GH_ACCOUNT=	gildor478
>+
> USE_OCAML=	yes
>-USE_OCAML_FINDLIB=	yes
>-USE_OCAMLFIND_PLIST=	yes
>-OCAML_PKGDIRS=	oUnit
>-ALL_TARGET=	all allopt testall doc
>-MAKE_ENV=	OCAMLFIND_DESTDIR=${PREFIX}/lib/ocaml/site-lib
> 
>-DOCSDIR=	${PREFIX}/share/doc/${PKGNAMEPREFIX}${PORTNAME}
>+INSTALL_ARGS=	--destdir=${STAGEDIR} --libdir=${OCAML_SITELIBDIR}
>+DOCSDIR=	${PREFIX}/share/doc/ocaml/${PORTNAME}
> 
> OPTIONS_DEFINE=	DOCS
> 
>-post-install-DOCS-on:
>-	@${MKDIR} ${STAGEDIR}${DOCSDIR}
>-	${INSTALL_DATA} ${WRKSRC}/README ${STAGEDIR}${DOCSDIR}
>-	${INSTALL_DATA} ${WRKSRC}/doc/style.css ${STAGEDIR}${DOCSDIR}
>-	${FIND} ${WRKSRC}/doc -type f -name "*.html" -exec \
>-		${INSTALL_DATA} {} ${STAGEDIR}${DOCSDIR} \;
>+do-build:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune build)
>+
>+do-install:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune install ${INSTALL_ARGS})
>+
>+post-install:
>+	${FIND} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME}2 -name "*.cmxs" | \
>+		${XARGS} ${STRIP_CMD}
>+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/ounit2-lwt/oUnitLwt.cmxs
> 
> .include <bsd.port.mk>
>diff --git a/devel/ocaml-ounit/distinfo b/devel/ocaml-ounit/distinfo
>index 59030c7eede5..b6c4f35f54d3 100644
>--- a/devel/ocaml-ounit/distinfo
>+++ b/devel/ocaml-ounit/distinfo
>@@ -1,2 +1,3 @@
>-SHA256 (ounit-1.0.3.tar.gz) = 27c5084d67dcf600f7f8cc85e15bd828cefebdedbf3c39817d00541157a6fed8
>-SIZE (ounit-1.0.3.tar.gz) = 13572
>+TIMESTAMP = 1647099243
>+SHA256 (gildor478-ounit-v2.2.5_GH0.tar.gz) = da8f5a7a602a6a8c6f447192439bdb99f83f10a5ea54abc0ed4e89fc90d06a98
>+SIZE (gildor478-ounit-v2.2.5_GH0.tar.gz) = 69799
>diff --git a/devel/ocaml-ounit/pkg-descr b/devel/ocaml-ounit/pkg-descr
>index e13b433093af..6feff6125509 100644
>--- a/devel/ocaml-ounit/pkg-descr
>+++ b/devel/ocaml-ounit/pkg-descr
>@@ -1,4 +1,8 @@
> OUnit is a unit testing framework for Objective Caml, inspired by
> the JUnit tool for Java, and the HUnit tool for Haskell.
> 
>-WWW: http://home.wanadoo.nl/maas/ocaml
>+Note: This is a transition package, ounit is now ounit2.
>+More details for the transition:
>+	https://github.com/gildor478/ounit#transition-to-ounit2
>+
>+WWW: https://github.com/gildor478/ounit
>diff --git a/devel/ocaml-ounit/pkg-plist b/devel/ocaml-ounit/pkg-plist
>index aa58afb5bd29..7c68bf1e2fd4 100644
>--- a/devel/ocaml-ounit/pkg-plist
>+++ b/devel/ocaml-ounit/pkg-plist
>@@ -1,15 +1,169 @@
>-%%PORTDOCS%%%%DOCSDIR%%/OUnit.html
>-%%PORTDOCS%%%%DOCSDIR%%/README
>-%%PORTDOCS%%%%DOCSDIR%%/index.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_attributes.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_class_types.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_classes.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_exceptions.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_extensions.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_methods.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_module_types.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_modules.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_types.html
>-%%PORTDOCS%%%%DOCSDIR%%/index_values.html
>-%%PORTDOCS%%%%DOCSDIR%%/style.css
>-%%PORTDOCS%%%%DOCSDIR%%/type_OUnit.html
>+%%OCAML_SITELIBDIR%%/ounit-lwt/META
>+%%OCAML_SITELIBDIR%%/ounit-lwt/dune-package
>+%%OCAML_SITELIBDIR%%/ounit-lwt/opam
>+%%OCAML_SITELIBDIR%%/ounit/META
>+%%OCAML_SITELIBDIR%%/ounit/dune-package
>+%%OCAML_SITELIBDIR%%/ounit/opam
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/META
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/dune-package
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/oUnitLwt.a
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/oUnitLwt.cma
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/oUnitLwt.cmi
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/oUnitLwt.cmt
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/oUnitLwt.cmx
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/oUnitLwt.cmxa
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/oUnitLwt.cmxs
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/oUnitLwt.ml
>+%%OCAML_SITELIBDIR%%/ounit2-lwt/opam
>+%%OCAML_SITELIBDIR%%/ounit2/META
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitAdvanced.a
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitAdvanced.cma
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitAdvanced.cmxa
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitAdvanced.cmxs
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitAssert.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitAssert.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitAssert.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitAssert.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitBracket.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitBracket.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitBracket.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitBracket.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCache.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCache.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCache.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCache.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCheckEnv.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCheckEnv.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCheckEnv.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCheckEnv.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitChooser.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitChooser.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitChooser.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitChooser.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitConf.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitConf.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitConf.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitConf.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCore.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCore.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCore.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitCore.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitDiff.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitDiff.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitDiff.cmti
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitDiff.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitDiff.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitDiff.mli
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLogger.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLogger.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLogger.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLogger.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerCI.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerCI.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerCI.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerCI.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerHTML.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerHTML.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerHTML.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerHTML.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerHTMLData.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerHTMLData.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerHTMLData.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerHTMLData.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerJUnit.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerJUnit.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerJUnit.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerJUnit.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerStd.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerStd.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerStd.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitLoggerStd.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitPlugin.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitPlugin.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitPlugin.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitPlugin.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitPropList.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitPropList.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitPropList.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitPropList.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitResultSummary.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitResultSummary.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitResultSummary.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitResultSummary.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitRunner.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitRunner.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitRunner.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitRunner.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitRunnerProcesses.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitRunnerProcesses.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitRunnerProcesses.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitRunnerProcesses.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitShared.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitShared.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitShared.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitShared.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitState.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitState.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitState.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitState.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitTest.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitTest.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitTest.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitTest.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitTestData.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitTestData.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitTestData.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitTestData.ml
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitUtils.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitUtils.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitUtils.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/advanced/oUnitUtils.ml
>+%%OCAML_SITELIBDIR%%/ounit2/dune-package
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.a
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.cma
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.cmti
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.cmxa
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.cmxs
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.ml
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit.mli
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit2.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit2.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit2.cmti
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit2.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit2.ml
>+%%OCAML_SITELIBDIR%%/ounit2/oUnit2.mli
>+%%OCAML_SITELIBDIR%%/ounit2/opam
>+%%OCAML_SITELIBDIR%%/ounit2/threads/.private/oUnitThreads__OUnitRunnerThreads.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/threads/.private/oUnitThreads__OUnitRunnerThreads.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitRunnerThreads.ml
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads.a
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads.cma
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads.cmxa
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads.cmxs
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads.ml
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads__.cmi
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads__.cmt
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads__.cmx
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads__.ml
>+%%OCAML_SITELIBDIR%%/ounit2/threads/oUnitThreads__OUnitRunnerThreads.cmx
>+%%PORTDOCS%%%%DOCSDIR%%-lwt/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%-lwt/LICENSE.txt
>+%%PORTDOCS%%%%DOCSDIR%%-lwt/README.md
>+%%PORTDOCS%%%%DOCSDIR%%-lwt/odoc-pages/index.mld
>+%%PORTDOCS%%%%DOCSDIR%%/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE.txt
>+%%PORTDOCS%%%%DOCSDIR%%/README.md
>+%%PORTDOCS%%%%DOCSDIR%%/odoc-pages/index.mld
>+%%PORTDOCS%%%%DOCSDIR%%2-lwt/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%2-lwt/LICENSE.txt
>+%%PORTDOCS%%%%DOCSDIR%%2-lwt/README.md
>+%%PORTDOCS%%%%DOCSDIR%%2/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%2/LICENSE.txt
>+%%PORTDOCS%%%%DOCSDIR%%2/README.md
>+%%PORTDOCS%%%%DOCSDIR%%2/odoc-pages/index.mld
>-- 
>2.35.1
>
>
>From ce4be7f29a120701937b730bfaadc526b80026bc Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sat, 12 Mar 2022 12:06:18 +0100
>Subject: [PATCH 06/16] devel/ocaml-re: upgrade to 1.10.3
>
>Release notes at <https://github.com/ocaml/ocaml-re/releases>
>---
> devel/ocaml-re/Makefile  |  27 +++----
> devel/ocaml-re/distinfo  |   5 +-
> devel/ocaml-re/pkg-plist | 148 +++++++++++++++++++++++++++++++++++++++
> 3 files changed, 166 insertions(+), 14 deletions(-)
> create mode 100644 devel/ocaml-re/pkg-plist
>
>diff --git a/devel/ocaml-re/Makefile b/devel/ocaml-re/Makefile
>index 249cfaf1fd97..92f42ec86eba 100644
>--- a/devel/ocaml-re/Makefile
>+++ b/devel/ocaml-re/Makefile
>@@ -1,8 +1,7 @@
> # Created by: Veniamin Gvozdikov <vg@FreeBSD.org>
> 
> PORTNAME=	re
>-PORTVERSION=	1.4.1
>-DISTVERSIONPREFIX=	${PKGNAMEPREFIX}${PORTNAME}-
>+PORTVERSION=	1.10.3
> CATEGORIES=	devel
> PKGNAMEPREFIX=	ocaml-
> 
>@@ -11,23 +10,27 @@ COMMENT=	Pure OCaml regular expressions
> 
> LICENSE=	LGPL21
> 
>-BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild
>-
>-USES=	gmake
>-HAS_CONFIGURE=	yes
>-MAKE_JOBS_UNSAFE=	yes
>+BUILD_DEPENDS=	dune:devel/ocaml-dune
> 
> USE_GITHUB=	yes
> GH_ACCOUNT=	ocaml
> GH_PROJECT=	${PKGNAMEPREFIX}${PORTNAME}
> 
> USE_OCAML=		yes
>-USE_OCAML_FINDLIB=	yes
>-USE_OCAMLFIND_PLIST=	yes
> 
>-CONFIGURE_ARGS=		--destdir "${DESTDIRNAME}"
>+INSTALL_ARGS=	--destdir=${STAGEDIR} --libdir=${OCAML_SITELIBDIR}
>+DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
>+
>+OPTIONS_DEFINE=	DOCS
>+
>+do-build:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune build --release)
>+
>+do-install:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune install ${INSTALL_ARGS})
> 
>-do-configure:
>-	cd ${WRKSRC} && ocaml setup.ml -configure ${CONFIGURE_ARGS}
>+post-install:
>+	${FIND} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME} -name "*.cmxs" | \
>+		${XARGS} ${STRIP_CMD}
> 
> .include <bsd.port.mk>
>diff --git a/devel/ocaml-re/distinfo b/devel/ocaml-re/distinfo
>index 47c3b9dac106..38dd25753dbe 100644
>--- a/devel/ocaml-re/distinfo
>+++ b/devel/ocaml-re/distinfo
>@@ -1,2 +1,3 @@
>-SHA256 (ocaml-ocaml-re-ocaml-re-1.4.1_GH0.tar.gz) = 262554309d645f4126a2a2e21e3a798d250293264fda34d6271243cc6c16e576
>-SIZE (ocaml-ocaml-re-ocaml-re-1.4.1_GH0.tar.gz) = 99877
>+TIMESTAMP = 1647281526
>+SHA256 (ocaml-ocaml-re-1.10.3_GH0.tar.gz) = 08ebf51b9c9ca1d653284033c1db8bb35410495c1fca0f3737b179103784e811
>+SIZE (ocaml-ocaml-re-1.10.3_GH0.tar.gz) = 90155
>diff --git a/devel/ocaml-re/pkg-plist b/devel/ocaml-re/pkg-plist
>new file mode 100644
>index 000000000000..26dce86bbb31
>--- /dev/null
>+++ b/devel/ocaml-re/pkg-plist
>@@ -0,0 +1,148 @@
>+%%OCAML_SITELIBDIR%%/re/META
>+%%OCAML_SITELIBDIR%%/re/automata.ml
>+%%OCAML_SITELIBDIR%%/re/automata.mli
>+%%OCAML_SITELIBDIR%%/re/category.ml
>+%%OCAML_SITELIBDIR%%/re/category.mli
>+%%OCAML_SITELIBDIR%%/re/color_map.ml
>+%%OCAML_SITELIBDIR%%/re/color_map.mli
>+%%OCAML_SITELIBDIR%%/re/core.ml
>+%%OCAML_SITELIBDIR%%/re/core.mli
>+%%OCAML_SITELIBDIR%%/re/cset.ml
>+%%OCAML_SITELIBDIR%%/re/cset.mli
>+%%OCAML_SITELIBDIR%%/re/dune-package
>+%%OCAML_SITELIBDIR%%/re/emacs.ml
>+%%OCAML_SITELIBDIR%%/re/emacs.mli
>+%%OCAML_SITELIBDIR%%/re/emacs/re_emacs.a
>+%%OCAML_SITELIBDIR%%/re/emacs/re_emacs.cma
>+%%OCAML_SITELIBDIR%%/re/emacs/re_emacs.cmi
>+%%OCAML_SITELIBDIR%%/re/emacs/re_emacs.cmt
>+%%OCAML_SITELIBDIR%%/re/emacs/re_emacs.cmx
>+%%OCAML_SITELIBDIR%%/re/emacs/re_emacs.cmxa
>+%%OCAML_SITELIBDIR%%/re/emacs/re_emacs.cmxs
>+%%OCAML_SITELIBDIR%%/re/emacs/re_emacs.ml
>+%%OCAML_SITELIBDIR%%/re/fmt.ml
>+%%OCAML_SITELIBDIR%%/re/glob.ml
>+%%OCAML_SITELIBDIR%%/re/glob.mli
>+%%OCAML_SITELIBDIR%%/re/glob/re_glob.a
>+%%OCAML_SITELIBDIR%%/re/glob/re_glob.cma
>+%%OCAML_SITELIBDIR%%/re/glob/re_glob.cmi
>+%%OCAML_SITELIBDIR%%/re/glob/re_glob.cmt
>+%%OCAML_SITELIBDIR%%/re/glob/re_glob.cmx
>+%%OCAML_SITELIBDIR%%/re/glob/re_glob.cmxa
>+%%OCAML_SITELIBDIR%%/re/glob/re_glob.cmxs
>+%%OCAML_SITELIBDIR%%/re/glob/re_glob.ml
>+%%OCAML_SITELIBDIR%%/re/group.ml
>+%%OCAML_SITELIBDIR%%/re/group.mli
>+%%OCAML_SITELIBDIR%%/re/opam
>+%%OCAML_SITELIBDIR%%/re/pcre.ml
>+%%OCAML_SITELIBDIR%%/re/pcre.mli
>+%%OCAML_SITELIBDIR%%/re/pcre/re_pcre.a
>+%%OCAML_SITELIBDIR%%/re/pcre/re_pcre.cma
>+%%OCAML_SITELIBDIR%%/re/pcre/re_pcre.cmi
>+%%OCAML_SITELIBDIR%%/re/pcre/re_pcre.cmt
>+%%OCAML_SITELIBDIR%%/re/pcre/re_pcre.cmx
>+%%OCAML_SITELIBDIR%%/re/pcre/re_pcre.cmxa
>+%%OCAML_SITELIBDIR%%/re/pcre/re_pcre.cmxs
>+%%OCAML_SITELIBDIR%%/re/pcre/re_pcre.ml
>+%%OCAML_SITELIBDIR%%/re/perl.ml
>+%%OCAML_SITELIBDIR%%/re/perl.mli
>+%%OCAML_SITELIBDIR%%/re/perl/re_perl.a
>+%%OCAML_SITELIBDIR%%/re/perl/re_perl.cma
>+%%OCAML_SITELIBDIR%%/re/perl/re_perl.cmi
>+%%OCAML_SITELIBDIR%%/re/perl/re_perl.cmt
>+%%OCAML_SITELIBDIR%%/re/perl/re_perl.cmx
>+%%OCAML_SITELIBDIR%%/re/perl/re_perl.cmxa
>+%%OCAML_SITELIBDIR%%/re/perl/re_perl.cmxs
>+%%OCAML_SITELIBDIR%%/re/perl/re_perl.ml
>+%%OCAML_SITELIBDIR%%/re/pmark.ml
>+%%OCAML_SITELIBDIR%%/re/pmark.mli
>+%%OCAML_SITELIBDIR%%/re/posix.ml
>+%%OCAML_SITELIBDIR%%/re/posix.mli
>+%%OCAML_SITELIBDIR%%/re/posix/re_posix.a
>+%%OCAML_SITELIBDIR%%/re/posix/re_posix.cma
>+%%OCAML_SITELIBDIR%%/re/posix/re_posix.cmi
>+%%OCAML_SITELIBDIR%%/re/posix/re_posix.cmt
>+%%OCAML_SITELIBDIR%%/re/posix/re_posix.cmx
>+%%OCAML_SITELIBDIR%%/re/posix/re_posix.cmxa
>+%%OCAML_SITELIBDIR%%/re/posix/re_posix.cmxs
>+%%OCAML_SITELIBDIR%%/re/posix/re_posix.ml
>+%%OCAML_SITELIBDIR%%/re/re.a
>+%%OCAML_SITELIBDIR%%/re/re.cma
>+%%OCAML_SITELIBDIR%%/re/re.cmi
>+%%OCAML_SITELIBDIR%%/re/re.cmt
>+%%OCAML_SITELIBDIR%%/re/re.cmx
>+%%OCAML_SITELIBDIR%%/re/re.cmxa
>+%%OCAML_SITELIBDIR%%/re/re.cmxs
>+%%OCAML_SITELIBDIR%%/re/re.ml
>+%%OCAML_SITELIBDIR%%/re/re__.cmi
>+%%OCAML_SITELIBDIR%%/re/re__.cmt
>+%%OCAML_SITELIBDIR%%/re/re__.cmx
>+%%OCAML_SITELIBDIR%%/re/re__.ml
>+%%OCAML_SITELIBDIR%%/re/re__Automata.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Automata.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Automata.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Automata.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Category.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Category.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Category.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Category.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Color_map.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Color_map.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Color_map.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Color_map.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Core.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Core.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Core.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Core.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Cset.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Cset.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Cset.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Cset.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Emacs.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Emacs.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Emacs.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Emacs.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Fmt.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Fmt.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Fmt.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Glob.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Glob.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Glob.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Glob.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Group.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Group.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Group.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Group.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Pcre.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Pcre.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Pcre.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Pcre.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Perl.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Perl.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Perl.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Perl.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Pmark.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Pmark.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Pmark.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Pmark.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Posix.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Posix.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Posix.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Posix.cmx
>+%%OCAML_SITELIBDIR%%/re/re__Str.cmi
>+%%OCAML_SITELIBDIR%%/re/re__Str.cmt
>+%%OCAML_SITELIBDIR%%/re/re__Str.cmti
>+%%OCAML_SITELIBDIR%%/re/re__Str.cmx
>+%%OCAML_SITELIBDIR%%/re/str.ml
>+%%OCAML_SITELIBDIR%%/re/str.mli
>+%%OCAML_SITELIBDIR%%/re/str/re_str.a
>+%%OCAML_SITELIBDIR%%/re/str/re_str.cma
>+%%OCAML_SITELIBDIR%%/re/str/re_str.cmi
>+%%OCAML_SITELIBDIR%%/re/str/re_str.cmt
>+%%OCAML_SITELIBDIR%%/re/str/re_str.cmx
>+%%OCAML_SITELIBDIR%%/re/str/re_str.cmxa
>+%%OCAML_SITELIBDIR%%/re/str/re_str.cmxs
>+%%OCAML_SITELIBDIR%%/re/str/re_str.ml
>+%%PORTDOCS%%%%DOCSDIR%%/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%/README.md
>-- 
>2.35.1
>
>
>From a253f97e19ffa7a562daf0436fe7822b2f52d0d5 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sun, 20 Mar 2022 21:50:47 +0100
>Subject: [PATCH 07/16] devel/ocaml-cfg: upgrade to 2.2.1
>
>Release notes at <https://github.com/mmottl/cfg/releases>.
>---
> devel/ocaml-cfg/Makefile  | 27 ++++++++++-------------
> devel/ocaml-cfg/distinfo  |  5 +++--
> devel/ocaml-cfg/pkg-plist | 46 +++++++++++++++++++++++++++++++++++++++
> 3 files changed, 60 insertions(+), 18 deletions(-)
> create mode 100644 devel/ocaml-cfg/pkg-plist
>
>diff --git a/devel/ocaml-cfg/Makefile b/devel/ocaml-cfg/Makefile
>index bcc6b99f4f72..fbac094328ba 100644
>--- a/devel/ocaml-cfg/Makefile
>+++ b/devel/ocaml-cfg/Makefile
>@@ -1,8 +1,7 @@
> # Created by: Stanislav Sedov <ssedov@mbsd.msk.ru>
> 
> PORTNAME=	cfg
>-PORTVERSION=	2.0.4
>-DISTVERSIONPREFIX=	v
>+PORTVERSION=	2.2.1
> CATEGORIES=	devel
> PKGNAMEPREFIX=	ocaml-
> 
>@@ -10,34 +9,30 @@ MAINTAINER=	ports@FreeBSD.org
> COMMENT=	Library for manipulation of context-free grammars
> 
> LICENSE=	LGPL21+
>-LICENSE_FILE=	${WRKSRC}/COPYING.txt
> 
>-BUILD_DEPENDS=	menhir:devel/menhir
>-BUILD_DEPENDS+=	ocamlbuild:devel/ocaml-ocamlbuild
>+BUILD_DEPENDS=	dune:devel/ocaml-dune
> 
> USE_GITHUB=	yes
> GH_ACCOUNT=	mmottl
> 
> USE_OCAML=	yes
>-USE_OCAML_FINDLIB=yes
>-USE_OCAMLFIND_PLIST=yes
>-USE_OCAML_WASH=	yes
>-
>-HAS_CONFIGURE=	yes
>-CONFIGURE_ARGS=	--prefix ${PREFIX} --disable-docs --disable-examples
>-MAKE_JOBS_UNSAFE=yes
> 
>+INSTALL_ARGS=	--destdir=${STAGEDIR} --libdir=${OCAML_SITELIBDIR}
> DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
> EXAMPLESDIR=	${OCAML_EXAMPLESDIR}/${PORTNAME}
> 
>-PORTDOCS=	*
> PORTEXAMPLES=	*
> 
> OPTIONS_DEFINE=	DOCS EXAMPLES
> 
>-post-install-DOCS-on:
>-	@${MKDIR} ${STAGEDIR}${DOCSDIR}
>-	cd ${WRKSRC} && ${INSTALL_DATA} AUTHORS.txt CHANGES.txt README.md ${STAGEDIR}${DOCSDIR}
>+do-build:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune build)
>+
>+do-install:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune install ${INSTALL_ARGS})
>+
>+post-install:
>+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME}/${PORTNAME}.cmxs
> 
> post-install-EXAMPLES-on:
> 	@(cd ${WRKSRC}/examples && ${COPYTREE_SHARE} . ${STAGEDIR}${EXAMPLESDIR})
>diff --git a/devel/ocaml-cfg/distinfo b/devel/ocaml-cfg/distinfo
>index ed2b3f128712..c27e607829af 100644
>--- a/devel/ocaml-cfg/distinfo
>+++ b/devel/ocaml-cfg/distinfo
>@@ -1,2 +1,3 @@
>-SHA256 (mmottl-cfg-v2.0.4_GH0.tar.gz) = 13778fd8a827a3c9491e092a9daea073ef7f59c043a23bdcdc05b85253405595
>-SIZE (mmottl-cfg-v2.0.4_GH0.tar.gz) = 61660
>+TIMESTAMP = 1647808989
>+SHA256 (mmottl-cfg-2.2.1_GH0.tar.gz) = 4a20876f4698a8763d3c6f76fac3fcf583157ad9a99f189d7c748ac17604b83b
>+SIZE (mmottl-cfg-2.2.1_GH0.tar.gz) = 19193
>diff --git a/devel/ocaml-cfg/pkg-plist b/devel/ocaml-cfg/pkg-plist
>new file mode 100644
>index 000000000000..3e2895f66387
>--- /dev/null
>+++ b/devel/ocaml-cfg/pkg-plist
>@@ -0,0 +1,46 @@
>+%%OCAML_SITELIBDIR%%/cfg/META
>+%%OCAML_SITELIBDIR%%/cfg/bnf_lexer.ml
>+%%OCAML_SITELIBDIR%%/cfg/bnf_parser.ml
>+%%OCAML_SITELIBDIR%%/cfg/bnf_parser.mli
>+%%OCAML_SITELIBDIR%%/cfg/bnf_pp.ml
>+%%OCAML_SITELIBDIR%%/cfg/bnf_pp.mli
>+%%OCAML_SITELIBDIR%%/cfg/bnf_spec.ml
>+%%OCAML_SITELIBDIR%%/cfg/bnf_spec.mli
>+%%OCAML_SITELIBDIR%%/cfg/cfg.a
>+%%OCAML_SITELIBDIR%%/cfg/cfg.cma
>+%%OCAML_SITELIBDIR%%/cfg/cfg.cmi
>+%%OCAML_SITELIBDIR%%/cfg/cfg.cmt
>+%%OCAML_SITELIBDIR%%/cfg/cfg.cmx
>+%%OCAML_SITELIBDIR%%/cfg/cfg.cmxa
>+%%OCAML_SITELIBDIR%%/cfg/cfg.cmxs
>+%%OCAML_SITELIBDIR%%/cfg/cfg.ml
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_lexer.cmi
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_lexer.cmt
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_lexer.cmx
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_parser.cmi
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_parser.cmt
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_parser.cmti
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_parser.cmx
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_pp.cmi
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_pp.cmt
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_pp.cmti
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_pp.cmx
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_spec.cmi
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_spec.cmt
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_spec.cmti
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Bnf_spec.cmx
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Cfg_impl.cmi
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Cfg_impl.cmt
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Cfg_impl.cmti
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Cfg_impl.cmx
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Cfg_intf.cmi
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Cfg_intf.cmt
>+%%OCAML_SITELIBDIR%%/cfg/cfg__Cfg_intf.cmx
>+%%OCAML_SITELIBDIR%%/cfg/cfg_impl.ml
>+%%OCAML_SITELIBDIR%%/cfg/cfg_impl.mli
>+%%OCAML_SITELIBDIR%%/cfg/cfg_intf.ml
>+%%OCAML_SITELIBDIR%%/cfg/dune-package
>+%%OCAML_SITELIBDIR%%/cfg/opam
>+%%PORTDOCS%%%%DOCSDIR%%/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%/README.md
>-- 
>2.35.1
>
>
>From 239439825457f69eb65058198224b758c68897a3 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Mon, 21 Mar 2022 19:18:02 +0100
>Subject: [PATCH 08/16] devel/ocaml-extlib: upgrade to 1.7.8
>
>Release notes at <https://github.com/ygrek/ocaml-extlib/releases>.
>---
> devel/ocaml-extlib/Makefile | 2 +-
> devel/ocaml-extlib/distinfo | 6 +++---
> 2 files changed, 4 insertions(+), 4 deletions(-)
>
>diff --git a/devel/ocaml-extlib/Makefile b/devel/ocaml-extlib/Makefile
>index 799210263b94..84d8af784f39 100644
>--- a/devel/ocaml-extlib/Makefile
>+++ b/devel/ocaml-extlib/Makefile
>@@ -1,7 +1,7 @@
> # Created by: mukai
> 
> PORTNAME=	extlib
>-PORTVERSION=	1.7.5
>+PORTVERSION=	1.7.8
> CATEGORIES=	devel
> PKGNAMEPREFIX=	ocaml-
> 
>diff --git a/devel/ocaml-extlib/distinfo b/devel/ocaml-extlib/distinfo
>index 37877ed50df7..f3b15c820b2b 100644
>--- a/devel/ocaml-extlib/distinfo
>+++ b/devel/ocaml-extlib/distinfo
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1534731133
>-SHA256 (ygrek-ocaml-extlib-1.7.5_GH0.tar.gz) = 28e36367a65b1a5886d09f6d535e73b4aa88076778594c62df653a2b1536e62d
>-SIZE (ygrek-ocaml-extlib-1.7.5_GH0.tar.gz) = 87781
>+TIMESTAMP = 1647886419
>+SHA256 (ygrek-ocaml-extlib-1.7.8_GH0.tar.gz) = 9e18c4f807afcef5e5d2050c7b4e375ebe7ee989820eff45d79f29f7195d26d8
>+SIZE (ygrek-ocaml-extlib-1.7.8_GH0.tar.gz) = 90213
>-- 
>2.35.1
>
>
>From 7e1a51c7dff3a26d3328774d9e6bca89ab54d157 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Mon, 21 Mar 2022 20:13:47 +0100
>Subject: [PATCH 09/16] devel/ocaml-ipaddr: upgrade to 5.3.0 and set the
> license
>
>Also add the net category.
>
>Release notes at <https://github.com/mirage/ocaml-ipaddr/releases>.
>---
> devel/ocaml-ipaddr/Makefile  |  47 ++++++++-----
> devel/ocaml-ipaddr/distinfo  |   5 +-
> devel/ocaml-ipaddr/pkg-descr |   2 +
> devel/ocaml-ipaddr/pkg-plist | 124 +++++++++++++++++++++++++++++++++++
> 4 files changed, 161 insertions(+), 17 deletions(-)
> create mode 100644 devel/ocaml-ipaddr/pkg-plist
>
>diff --git a/devel/ocaml-ipaddr/Makefile b/devel/ocaml-ipaddr/Makefile
>index 12c4e54b4e7d..26f860ea8ddc 100644
>--- a/devel/ocaml-ipaddr/Makefile
>+++ b/devel/ocaml-ipaddr/Makefile
>@@ -1,30 +1,47 @@
> PORTNAME=	ipaddr
>-PORTVERSION=	2.6.1
>-CATEGORIES=	devel
>+PORTVERSION=	5.3.0
>+DISTVERSIONPREFIX=	v
>+CATEGORIES=	devel net
> PKGNAMEPREFIX=	ocaml-
> 
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	OCaml library for manipulation of IP address representations
> 
>-BUILD_DEPENDS=	${LOCALBASE}/${OCAML_SITELIBDIR}/sexplib/sexplib.a:devel/ocaml-sexplib
>-BUILD_DEPENDS+=	ocamlbuild:devel/ocaml-ocamlbuild
>-RUN_DEPENDS=	${LOCALBASE}/${OCAML_SITELIBDIR}/sexplib/sexplib.a:devel/ocaml-sexplib
>+LICENSE=	ISCL
>+
>+BUILD_DEPENDS=	dune:devel/ocaml-dune	\
>+		ocaml-cstruct>0:devel/ocaml-cstruct	\
>+		ocaml-sexplib0>0:devel/ocaml-sexplib0	\
>+		ocaml-domain-name>0:devel/ocaml-domain-name	\
>+		ocaml-stdlib-shims>0:devel/ocaml-stdlib-shims	\
>+		ocaml-compiler-libs>0:devel/ocaml-compiler-libs	\
>+		ocaml-ppx_sexp_conv>0:devel/ocaml-ppx_sexp_conv
>+RUN_DEPENDS=	ocaml-cstruct>0:devel/ocaml-cstruct	\
>+		ocaml-sexplib0>0:devel/ocaml-sexplib0	\
>+		ocaml-domain-name>0:devel/ocaml-domain-name	\
>+		ocaml-stdlib-shims>0:devel/ocaml-stdlib-shims	\
>+		ocaml-compiler-libs>0:devel/ocaml-compiler-libs	\
>+		ocaml-ppx_sexp_conv>0:devel/ocaml-ppx_sexp_conv
> 
> USE_GITHUB=	yes
> GH_ACCOUNT=	mirage
> GH_PROJECT=	ocaml-ipaddr
> 
>-USES=			gmake
>-HAS_CONFIGURE=		yes
>-MAKE_JOBS_UNSAFE=	yes
>-
> USE_OCAML=		yes
>-USE_OCAML_FINDLIB=	yes
>-USE_OCAML_CAMLP4=	yes
>-USE_OCAMLFIND_PLIST=	yes
>-USE_OCAML_LDCONFIG=	yes
> 
>-do-configure:
>-	cd ${WRKSRC}; ocaml setup.ml -configure ${CONFIGURE_ARGS}
>+INSTALL_ARGS=	--destdir=${STAGEDIR} --libdir=${OCAML_SITELIBDIR}
>+DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
>+
>+OPTIONS_DEFINE=	DOCS
>+
>+do-build:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune build)
>+
>+do-install:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune install ${INSTALL_ARGS})
>+
>+post-install:
>+	${FIND} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR} -name "*.cmxs" | \
>+		${XARGS} ${STRIP_CMD}
> 
> .include <bsd.port.mk>
>diff --git a/devel/ocaml-ipaddr/distinfo b/devel/ocaml-ipaddr/distinfo
>index 098161f6d8e5..452109301f7a 100644
>--- a/devel/ocaml-ipaddr/distinfo
>+++ b/devel/ocaml-ipaddr/distinfo
>@@ -1,2 +1,3 @@
>-SHA256 (mirage-ocaml-ipaddr-2.6.1_GH0.tar.gz) = 7051013d8f58abff433187d70cd7ddd7a6b49a6fbe6cad1893f571f65b8ed3d0
>-SIZE (mirage-ocaml-ipaddr-2.6.1_GH0.tar.gz) = 64458
>+TIMESTAMP = 1647889699
>+SHA256 (mirage-ocaml-ipaddr-v5.3.0_GH0.tar.gz) = f6bbcbd7f2cd331cfc40eb733108717257ba320d50e81306bf8142db2edc828b
>+SIZE (mirage-ocaml-ipaddr-v5.3.0_GH0.tar.gz) = 34247
>diff --git a/devel/ocaml-ipaddr/pkg-descr b/devel/ocaml-ipaddr/pkg-descr
>index 86821065f392..9f1ced2ffadb 100644
>--- a/devel/ocaml-ipaddr/pkg-descr
>+++ b/devel/ocaml-ipaddr/pkg-descr
>@@ -1,2 +1,4 @@
> ocaml-ipaddr
> A library for manipulation of IP (and MAC) address representations.
>+
>+WWW: https://github.com/mirage/ocaml-ipaddr
>diff --git a/devel/ocaml-ipaddr/pkg-plist b/devel/ocaml-ipaddr/pkg-plist
>new file mode 100644
>index 000000000000..91cf0e549848
>--- /dev/null
>+++ b/devel/ocaml-ipaddr/pkg-plist
>@@ -0,0 +1,124 @@
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/META
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/dune-package
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.a
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.cma
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.cmi
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.cmt
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.cmti
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.cmx
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.cmxa
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.cmxs
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.ml
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/ipaddr_cstruct.mli
>+%%OCAML_SITELIBDIR%%/ipaddr-cstruct/opam
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/META
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/dune-package
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.a
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.cma
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.cmi
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.cmt
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.cmti
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.cmx
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.cmxa
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.cmxs
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.ml
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/ipaddr_sexp.mli
>+%%OCAML_SITELIBDIR%%/ipaddr-sexp/opam
>+%%OCAML_SITELIBDIR%%/ipaddr/META
>+%%OCAML_SITELIBDIR%%/ipaddr/dune-package
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.a
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.cma
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.cmi
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.cmt
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.cmti
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.cmx
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.cmxa
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.cmxs
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.ml
>+%%OCAML_SITELIBDIR%%/ipaddr/ipaddr.mli
>+%%OCAML_SITELIBDIR%%/ipaddr/opam
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.a
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.cma
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.cmi
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.cmt
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.cmti
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.cmx
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.cmxa
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.cmxs
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.ml
>+%%OCAML_SITELIBDIR%%/ipaddr/top/ipaddr_top.mli
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.a
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.cma
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.cmi
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.cmt
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.cmti
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.cmx
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.cmxa
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.cmxs
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.ml
>+%%OCAML_SITELIBDIR%%/ipaddr/unix/ipaddr_unix.mli
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/META
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/dune-package
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.a
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.cma
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.cmi
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.cmt
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.cmti
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.cmx
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.cmxa
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.cmxs
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.ml
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/macaddr_cstruct.mli
>+%%OCAML_SITELIBDIR%%/macaddr-cstruct/opam
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/META
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/dune-package
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.a
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.cma
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.cmi
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.cmt
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.cmti
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.cmx
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.cmxa
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.cmxs
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.ml
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/macaddr_sexp.mli
>+%%OCAML_SITELIBDIR%%/macaddr-sexp/opam
>+%%OCAML_SITELIBDIR%%/macaddr/META
>+%%OCAML_SITELIBDIR%%/macaddr/dune-package
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.a
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.cma
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.cmi
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.cmt
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.cmti
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.cmx
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.cmxa
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.cmxs
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.ml
>+%%OCAML_SITELIBDIR%%/macaddr/macaddr.mli
>+%%OCAML_SITELIBDIR%%/macaddr/opam
>+%%OCAML_SITELIBDIR%%/macaddr/top/macaddr_top.a
>+%%OCAML_SITELIBDIR%%/macaddr/top/macaddr_top.cma
>+%%OCAML_SITELIBDIR%%/macaddr/top/macaddr_top.cmi
>+%%OCAML_SITELIBDIR%%/macaddr/top/macaddr_top.cmt
>+%%OCAML_SITELIBDIR%%/macaddr/top/macaddr_top.cmx
>+%%OCAML_SITELIBDIR%%/macaddr/top/macaddr_top.cmxa
>+%%OCAML_SITELIBDIR%%/macaddr/top/macaddr_top.cmxs
>+%%OCAML_SITELIBDIR%%/macaddr/top/macaddr_top.ml
>+%%PORTDOCS%%%%DOCSDIR%%-cstruct/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%-cstruct/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%-cstruct/README.md
>+%%PORTDOCS%%%%DOCSDIR%%-sexp/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%-sexp/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%-sexp/README.md
>+%%PORTDOCS%%%%DOCSDIR%%/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%/README.md
>+share/doc/ocaml/macaddr-cstruct/CHANGES.md
>+share/doc/ocaml/macaddr-cstruct/LICENSE.md
>+share/doc/ocaml/macaddr-cstruct/README.md
>+share/doc/ocaml/macaddr-sexp/CHANGES.md
>+share/doc/ocaml/macaddr-sexp/LICENSE.md
>+share/doc/ocaml/macaddr-sexp/README.md
>+share/doc/ocaml/macaddr/CHANGES.md
>+share/doc/ocaml/macaddr/LICENSE.md
>+share/doc/ocaml/macaddr/README.md
>-- 
>2.35.1
>
>
>From dc472a7d82b2bbdc92a42ebcfff9c64181c51777 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Tue, 22 Mar 2022 22:03:39 +0100
>Subject: [PATCH 10/16] devel/ocaml-pomap: upgrade to 4.1.1
>
>Release notes at <https://github.com/mmottl/pomap/releases>.
>---
> devel/ocaml-pomap/Makefile  | 29 ++++++++-------------
> devel/ocaml-pomap/distinfo  |  6 ++---
> devel/ocaml-pomap/pkg-plist | 50 +++++++++++++++++++++++++++++++++++++
> 3 files changed, 63 insertions(+), 22 deletions(-)
> create mode 100644 devel/ocaml-pomap/pkg-plist
>
>diff --git a/devel/ocaml-pomap/Makefile b/devel/ocaml-pomap/Makefile
>index d88f368c3509..6cce2f6e3102 100644
>--- a/devel/ocaml-pomap/Makefile
>+++ b/devel/ocaml-pomap/Makefile
>@@ -1,48 +1,39 @@
> # Created by: Stanislav Sedov <ssedov@mbsd.msk.ru>
> 
> PORTNAME=	pomap
>-PORTVERSION=	3.0.7
>-DISTVERSIONPREFIX=	v
>+PORTVERSION=	4.1.1
> CATEGORIES=	devel
> PKGNAMEPREFIX=	ocaml-
> 
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	OCaml library to maintain a list of partially ordered elements
> 
>-LICENSE=	LGPL20+ # source says LGPL20+, COPYING says LGPL21
>-LICENSE_FILE=	${WRKSRC}/COPYING.txt
>+LICENSE=	LGPL21
> 
>-BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild
>+BUILD_DEPENDS=	dune:devel/ocaml-dune
> 
> USE_GITHUB=	yes
> GH_ACCOUNT=	mmottl
> 
> USE_OCAML=	yes
>-USE_OCAML_FINDLIB=yes
>-USE_OCAMLFIND_PLIST=yes
>-USE_OCAML_WASH=	yes
>-
>-HAS_CONFIGURE=	yes
>-CONFIGURE_ARGS=	--prefix ${PREFIX} --disable-docs --disable-examples
>-MAKE_JOBS_UNSAFE=yes
> 
>+INSTALL_ARGS=	--destdir=${STAGEDIR} --libdir=${OCAML_SITELIBDIR}
> DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
> EXAMPLESDIR=	${OCAML_EXAMPLESDIR}/${PORTNAME}
> 
>-PORTDOCS=	*
> PORTEXAMPLES=	*
> 
> OPTIONS_DEFINE=	DOCS EXAMPLES
> 
>+do-build:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune build)
>+
>+do-install:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune install ${INSTALL_ARGS})
>+
> post-install:
> 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/pomap/pomap.cmxs
> 
>-post-install-DOCS-on:
>-	@${MKDIR} ${STAGEDIR}${DOCSDIR}
>-.for i in AUTHORS.txt CHANGES.txt README.md
>-	${INSTALL_DATA} ${WRKSRC}/${i} ${STAGEDIR}${DOCSDIR}
>-.endfor
>-
> post-install-EXAMPLES-on:
> 	@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
> 	@(cd ${WRKSRC}/examples && \
>diff --git a/devel/ocaml-pomap/distinfo b/devel/ocaml-pomap/distinfo
>index afe09c4d552a..3fcdf3ea0ee9 100644
>--- a/devel/ocaml-pomap/distinfo
>+++ b/devel/ocaml-pomap/distinfo
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1490892782
>-SHA256 (mmottl-pomap-v3.0.7_GH0.tar.gz) = a67e25d2e7cb80ab52f18cf9bb6cbf098c25ff28dfd01e7bab8d7d0e50266464
>-SIZE (mmottl-pomap-v3.0.7_GH0.tar.gz) = 80880
>+TIMESTAMP = 1647982812
>+SHA256 (mmottl-pomap-4.1.1_GH0.tar.gz) = 3e22f7a5272b6319f24127fe22b93a589652512223666d625508bd5ef541a000
>+SIZE (mmottl-pomap-4.1.1_GH0.tar.gz) = 32792
>diff --git a/devel/ocaml-pomap/pkg-plist b/devel/ocaml-pomap/pkg-plist
>new file mode 100644
>index 000000000000..58c2842a2d22
>--- /dev/null
>+++ b/devel/ocaml-pomap/pkg-plist
>@@ -0,0 +1,50 @@
>+%%OCAML_SITELIBDIR%%/pomap/META
>+%%OCAML_SITELIBDIR%%/pomap/display_hasse_impl.ml
>+%%OCAML_SITELIBDIR%%/pomap/display_hasse_impl.mli
>+%%OCAML_SITELIBDIR%%/pomap/display_hasse_intf.ml
>+%%OCAML_SITELIBDIR%%/pomap/dune-package
>+%%OCAML_SITELIBDIR%%/pomap/opam
>+%%OCAML_SITELIBDIR%%/pomap/pomap.a
>+%%OCAML_SITELIBDIR%%/pomap/pomap.cma
>+%%OCAML_SITELIBDIR%%/pomap/pomap.cmi
>+%%OCAML_SITELIBDIR%%/pomap/pomap.cmt
>+%%OCAML_SITELIBDIR%%/pomap/pomap.cmx
>+%%OCAML_SITELIBDIR%%/pomap/pomap.cmxa
>+%%OCAML_SITELIBDIR%%/pomap/pomap.cmxs
>+%%OCAML_SITELIBDIR%%/pomap/pomap.ml
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_impl.cmi
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_impl.cmt
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_impl.cmti
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_impl.cmx
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_intf.cmi
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_intf.cmt
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Display_hasse_intf.cmx
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_impl.cmi
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_impl.cmt
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_impl.cmti
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_impl.cmx
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_intf.cmi
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_intf.cmt
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Pomap_intf.cmx
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Ptset.cmi
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Ptset.cmt
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Ptset.cmti
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Ptset.cmx
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Store_impl.cmi
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Store_impl.cmt
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Store_impl.cmti
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Store_impl.cmx
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Store_intf.cmi
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Store_intf.cmt
>+%%OCAML_SITELIBDIR%%/pomap/pomap__Store_intf.cmx
>+%%OCAML_SITELIBDIR%%/pomap/pomap_impl.ml
>+%%OCAML_SITELIBDIR%%/pomap/pomap_impl.mli
>+%%OCAML_SITELIBDIR%%/pomap/pomap_intf.ml
>+%%OCAML_SITELIBDIR%%/pomap/ptset.ml
>+%%OCAML_SITELIBDIR%%/pomap/ptset.mli
>+%%OCAML_SITELIBDIR%%/pomap/store_impl.ml
>+%%OCAML_SITELIBDIR%%/pomap/store_impl.mli
>+%%OCAML_SITELIBDIR%%/pomap/store_intf.ml
>+%%PORTDOCS%%%%DOCSDIR%%/CHANGES.md
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE.md
>+%%PORTDOCS%%%%DOCSDIR%%/README.md
>-- 
>2.35.1
>
>
>From 14b79cd04b6a38fc87cc988a5433b27f81bbe15f Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Wed, 23 Mar 2022 09:53:58 +0100
>Subject: [PATCH 11/16] devel/ocaml-sdl: chase the upgrade of OCaml
>
>---
> devel/ocaml-sdl/Makefile                    |  5 ++++-
> devel/ocaml-sdl/files/patch-src_sdlmouse.ml | 18 ++++++++++++++++++
> 2 files changed, 22 insertions(+), 1 deletion(-)
> create mode 100644 devel/ocaml-sdl/files/patch-src_sdlmouse.ml
>
>diff --git a/devel/ocaml-sdl/Makefile b/devel/ocaml-sdl/Makefile
>index 6efc267ad339..e794043744b2 100644
>--- a/devel/ocaml-sdl/Makefile
>+++ b/devel/ocaml-sdl/Makefile
>@@ -2,7 +2,7 @@
> 
> PORTNAME=	sdl
> PORTVERSION=	0.9.1
>-PORTREVISION=	4
>+PORTREVISION=	5
> CATEGORIES=	devel
> MASTER_SITES=	SF/ocaml${PORTNAME}/OCamlSDL/ocaml${PORTNAME}-${PORTVERSION}
> PKGNAMEPREFIX=	ocaml-
>@@ -11,6 +11,9 @@ DISTNAME=	ocamlsdl-${PORTVERSION}
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	OCaml interface to the SDL
> 
>+# Note: unmaintained upstream since 2012
>+# Could be replaced with OCamlSDL2: https://github.com/fccm/OCamlSDL2
>+
> LICENSE=	LGPL20+ # source says LGPL20+, COPYING says LGPL21
> LICENSE_FILE=	${WRKSRC}/COPYING
> 
>diff --git a/devel/ocaml-sdl/files/patch-src_sdlmouse.ml b/devel/ocaml-sdl/files/patch-src_sdlmouse.ml
>new file mode 100644
>index 000000000000..8ecde41411be
>--- /dev/null
>+++ b/devel/ocaml-sdl/files/patch-src_sdlmouse.ml
>@@ -0,0 +1,18 @@
>+--- src/sdlmouse.ml.orig	2011-04-10 15:33:52 UTC
>++++ src/sdlmouse.ml
>+@@ -49,12 +49,12 @@ external cursor_data : cursor -> cursor_data
>+     = "ml_SDL_Cursor_data"
>+ 
>+ let string_of_bits x =
>+-  let s = String.make 8 ' ' in
>++  let s = Bytes.make 8 ' ' in
>+   for i=0 to 7 do
>+     if x land (1 lsl i) <> 0
>+-    then s.[7-i] <- '@'
>++    then Bytes.set s (7-i) '@'
>+   done ;
>+-  s
>++  Bytes.to_string s
>+ 
>+ let pprint_cursor c =
>+   let { data = data ; mask = mask } = cursor_data c in
>-- 
>2.35.1
>
>
>From b1f6190011d91f3fd1e47170c299e54aba454440 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Wed, 23 Mar 2022 10:26:23 +0100
>Subject: [PATCH 12/16] devel/ocaml-ulex: chase the upgrade of OCaml
>MIME-Version: 1.0
>Content-Type: text/plain; charset=UTF-8
>Content-Transfer-Encoding: 8bit
>
>Since Iâm there, define the license and add a site URL.
>---
> devel/ocaml-ulex/Makefile  | 4 +++-
> devel/ocaml-ulex/pkg-descr | 2 ++
> 2 files changed, 5 insertions(+), 1 deletion(-)
>
>diff --git a/devel/ocaml-ulex/Makefile b/devel/ocaml-ulex/Makefile
>index 327fae0ad7c9..1389ff39e38e 100644
>--- a/devel/ocaml-ulex/Makefile
>+++ b/devel/ocaml-ulex/Makefile
>@@ -2,7 +2,7 @@
> 
> PORTNAME=	ulex
> PORTVERSION=	1.1
>-PORTREVISION=	1
>+PORTREVISION=	2
> CATEGORIES=	devel
> MASTER_SITES=	http://www.cduce.org/download/
> PKGNAMEPREFIX=	ocaml-
>@@ -10,6 +10,8 @@ PKGNAMEPREFIX=	ocaml-
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	Lexer generator for Unicode and OCaml
> 
>+LICENSE=	MIT
>+
> BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild
> 
> USES=		gmake
>diff --git a/devel/ocaml-ulex/pkg-descr b/devel/ocaml-ulex/pkg-descr
>index 707c4a6f1e08..5ee04fdb3c63 100644
>--- a/devel/ocaml-ulex/pkg-descr
>+++ b/devel/ocaml-ulex/pkg-descr
>@@ -1 +1,3 @@
> Ulex: An OCaml lexer generator for Unicode.
>+
>+WWW: https://github.com/whitequark/ulex
>-- 
>2.35.1
>
>
>From da8dd69a3a13606219f33c19abeb0d827e8be3a7 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sat, 19 Mar 2022 19:21:15 +0100
>Subject: [PATCH 13/16] devel/ocaml-camljava: chase the upgrade of OCaml
>
>And also add the license.
>---
> devel/ocaml-camljava/Makefile | 4 +++-
> 1 file changed, 3 insertions(+), 1 deletion(-)
>
>diff --git a/devel/ocaml-camljava/Makefile b/devel/ocaml-camljava/Makefile
>index eefb540c3bc0..89804541610b 100644
>--- a/devel/ocaml-camljava/Makefile
>+++ b/devel/ocaml-camljava/Makefile
>@@ -2,7 +2,7 @@
> 
> PORTNAME=	camljava
> PORTVERSION=	0.3
>-PORTREVISION=	3
>+PORTREVISION=	4
> CATEGORIES=	devel java
> MASTER_SITES=	http://caml.inria.fr/distrib/bazar-ocaml/
> PKGNAMEPREFIX=	ocaml-
>@@ -10,6 +10,8 @@ PKGNAMEPREFIX=	ocaml-
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	OCaml-Java library interface
> 
>+LICENSE=	LGPL20
>+
> USE_OCAML=	yes
> USE_JAVA=	yes
> 
>-- 
>2.35.1
>
>
>From 925f8d8d4e4cbcb720cdcd2cf78311f98e855a26 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Sun, 20 Mar 2022 19:36:23 +0100
>Subject: [PATCH 14/16] devel/menhir: upgrade to 20220210
>
>---
> devel/menhir/Makefile  | 48 ++++++++++++++++++++++--------------------
> devel/menhir/distinfo  |  6 +++---
> devel/menhir/pkg-descr |  3 ++-
> devel/menhir/pkg-plist | 14 ++++++------
> 4 files changed, 38 insertions(+), 33 deletions(-)
>
>diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile
>index d0c2cccb5003..51aa6b96e395 100644
>--- a/devel/menhir/Makefile
>+++ b/devel/menhir/Makefile
>@@ -1,43 +1,45 @@
> # Created by: Jaap Boender <jaapb@kerguelen.org>
> 
> PORTNAME=	menhir
>-PORTVERSION=	20170712
>+PORTVERSION=	20220210
> CATEGORIES=	devel
>-MASTER_SITES=	http://cristal.inria.fr/~fpottier/menhir/
>+MASTER_SITES=	https://gitlab.inria.fr/fpottier/menhir/-/archive/${PORTVERSION}/
>+PKGNAMEPREFIX=	ocaml-
>+DISTNAME=	archive
>+DIST_SUBDIR=	menhir-${PORTVERSION}
> 
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	LR(1) parser generator for OCaml
> 
>-LICENSE=	GPLv2
>-LICENSE_FILE=	${WRKSRC}/LICENSE
>+LICENSE=	LGPL20
> 
>-BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild
>+BUILD_DEPENDS=	dune:devel/ocaml-dune	\
>+		ocaml-menhirLib>0:devel/ocaml-menhirLib	\
>+		ocaml-menhirSdk>0:devel/ocaml-menhirSdk
> 
>-USES=		gmake shebangfix
> USE_OCAML=	yes
>-USE_OCAML_FINDLIB=	yes
>-USE_OCAMLFIND_PLIST=	yes
>-OCAML_PKGDIRS=		menhirLib
> 
>-SHEBANG_FILES=	demos/find-menhir.sh
>-MAKE_JOBS_UNSAFE=	yes
>+GLTAG=		4f8151679e73cdfe598c42220ae869f904dfaa9a
>+WRKSRC=		${WRKDIR}/${DIST_SUBDIR}-${GLTAG}
>+INSTALL_ARGS=	--destdir=${STAGEDIR} --libdir=${OCAML_SITELIBDIR}
>+DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}
> 
>-DOCSDIR=	${PREFIX}/share/doc/ocaml/${PORTNAME}
>-
>-PORTDOCS=	*
>+MISSING_INSTALL=coq-menhirlib menhirLib menhirSdk
> 
> OPTIONS_DEFINE=	DOCS
> 
>-post-patch:
>-	@${REINPLACE_CMD} -e \
>-		's|share/man|man| ; \
>-		 s|doc/menhir|doc/ocaml/menhir| ; \
>-		 s| $$$(bindir)$| $${DESTDIR}\1| ; \
>-		 s| $$$(libdir)$| $${DESTDIR}\1| ; \
>-		 s| $$$(docdir)$| $${DESTDIR}\1| ; \
>-		 s| $$$(mandir)$| $${DESTDIR}\1|' ${WRKSRC}/Makefile
>+do-build:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune build -p menhir)
>+
>+post-build:
>+.for mi in ${MISSING_INSTALL}
>+	${TOUCH} ${WRKSRC}/_build/default/${mi}.install
>+.endfor
>+
>+do-install:
>+	(cd ${WRKSRC} && ${LOCALBASE}/bin/dune install ${INSTALL_ARGS})
> 
> post-install:
>-	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/menhir
>+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/menhir
> 
> .include <bsd.port.mk>
>diff --git a/devel/menhir/distinfo b/devel/menhir/distinfo
>index af472811c992..b810c9f02e3b 100644
>--- a/devel/menhir/distinfo
>+++ b/devel/menhir/distinfo
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1500460606
>-SHA256 (menhir-20170712.tar.gz) = ca482d690052343d6cb9452433248a0a92cc8bfc8fa529dc313220c9d7c0d000
>-SIZE (menhir-20170712.tar.gz) = 855262
>+TIMESTAMP = 1647609420
>+SHA256 (menhir-20220210/archive.tar.gz) = 57a4e81af5f90c52b896a65b6105132765a385501eaa039b7a2ff952f8df5735
>+SIZE (menhir-20220210/archive.tar.gz) = 1304983
>diff --git a/devel/menhir/pkg-descr b/devel/menhir/pkg-descr
>index b7529a1b1f79..ada0af6b7340 100644
>--- a/devel/menhir/pkg-descr
>+++ b/devel/menhir/pkg-descr
>@@ -4,4 +4,5 @@ and it has some advantages over ocamlyacc, such as limited EBNF support,
> LR(1) generation instead of LALR(1), better conflict explanation and
> production of reentrant parsers (amongst others).
> 
>-WWW: http://cristal.inria.fr/~fpottier/menhir
>+WWW: https://cambium.inria.fr/~fpottier/menhir/
>+WWW: https://gitlab.inria.fr/fpottier/menhir
>diff --git a/devel/menhir/pkg-plist b/devel/menhir/pkg-plist
>index 74b6817e58b6..b7e7127073c0 100644
>--- a/devel/menhir/pkg-plist
>+++ b/devel/menhir/pkg-plist
>@@ -1,8 +1,10 @@
> bin/menhir
>+%%OCAML_SITELIBDIR%%/menhir/META
>+%%OCAML_SITELIBDIR%%/menhir/dune-package
> man/man1/menhir.1.gz
>-%%DATADIR%%/standard.mly
>-%%OCAML_SITELIBDIR%%/menhirSdk/META
>-%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.cmi
>-%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.cmo
>-%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.cmx
>-%%OCAML_SITELIBDIR%%/menhirSdk/menhirSdk.o
>+%%PORTDOCS%%%%DOCSDIR%%/LICENSE
>+%%PORTDOCS%%%%DOCSDIR%%/manual.html
>+%%PORTDOCS%%%%DOCSDIR%%/manual.pdf
>+%%PORTDOCS%%%%DOCSDIR%%/manual001.png
>+%%PORTDOCS%%%%DOCSDIR%%/manual002.png
>+%%PORTDOCS%%%%DOCSDIR%%/manual003.png
>-- 
>2.35.1
>
>
>From 0b9cdf12b0efe0dfaff671b3ae9b32dc18dd0d75 Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Mon, 28 Mar 2022 18:40:00 +0200
>Subject: [PATCH 15/16] math/alt-ergo: upgrade to 2.4.1 in order to chase OCaml
>
>!!! Waiting for https://github.com/OCamlPro/alt-ergo/issues/501
>---
> math/alt-ergo/Makefile                        |  88 ++-
> math/alt-ergo/distinfo                        |   5 +-
> .../files/patch-src_plugins_AB-Why3_dune      |  11 +
> ...patch-src_plugins_AB-Why3_why3__parser.mly |  43 ++
> math/alt-ergo/pkg-descr                       |   2 +-
> math/alt-ergo/pkg-plist                       | 538 +++++++++++++++++-
> 6 files changed, 652 insertions(+), 35 deletions(-)
> create mode 100644 math/alt-ergo/files/patch-src_plugins_AB-Why3_dune
> create mode 100644 math/alt-ergo/files/patch-src_plugins_AB-Why3_why3__parser.mly
>
>diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile
>index 96c5c477b7e5..cd6239b1c22a 100644
>--- a/math/alt-ergo/Makefile
>+++ b/math/alt-ergo/Makefile
>@@ -1,41 +1,77 @@
> # Created by: b.f. <bf@FreeBSD.org>
> 
> PORTNAME=	alt-ergo
>-PORTVERSION=	0.95.2
>-PORTREVISION=	3
>+PORTVERSION=	2.4.1
> CATEGORIES=	math
>-MASTER_SITES=	http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/
> 
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	Automatic solver of mathematical formulas for program verification
> 
>-LICENSE=	CeCILL-C
>-LICENSE_NAME=	Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1
>-LICENSE_FILE=	${WRKSRC}/LICENSE
>-LICENSE_PERMS=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
>+LICENSE=	APACHE20 LGPL21 OCamlPro
>+LICENSE_COMB=	multi
>+LICENSE_NAME_OCamlPro=	License.OCamlPro
>+LICENSE_FILE_OCamlPro=	${WRKSRC}/LICENSE.md
>+LICENSE_PERMS_OCamlPro=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
> 
> BROKEN_powerpc64=	fails to compile: Assembler messages: /tmp/camlasm2822e8.s:10348: Error: operand out of range
> 
>-BUILD_DEPENDS=	ocaml-zarith>1.2:math/ocaml-zarith \
>-		ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
>-		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
>-RUN_DEPENDS=	ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
>-		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
>+BUILD_DEPENDS=	menhir:devel/menhir	\
>+		dune:devel/ocaml-dune	\
>+		ocaml-num>=0:devel/ocaml-num	\
>+		ocaml-zarith>1.4:math/ocaml-zarith	\
>+		ocaml-camlzip>=0:archivers/ocaml-zip	\
>+		ocaml-cmdliner>=0:devel/ocaml-cmdliner	\
>+		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2	\
>+		ocaml-stdlib-shims>=0:devel/ocaml-stdlib-shims	\
>+		ocaml-ocplib-simplex>=0:devel/ocaml-ocplib-simplex	\
>+		ocaml-psmt2-frontend>=0:devel/ocaml-psmt2-frontend	\
>+		ocaml-dune-configurator>=0:devel/ocaml-dune-configurator
>+LIB_DEPENDS=	libgmp.so:math/gmp	\
>+		libharfbuzz.so:print/harfbuzz	\
>+		libfreetype.so:print/freetype2	\
>+		libfontconfig.so:x11-fonts/fontconfig
>+RUN_DEPENDS=	ocaml-num>=0:devel/ocaml-num	\
>+		ocaml-zarith>1.4:math/ocaml-zarith	\
>+		ocaml-camlzip>=0:archivers/ocaml-zip	\
>+		ocaml-cmdliner>=0:devel/ocaml-cmdliner	\
>+		ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2	\
>+		ocaml-stdlib-shims>=0:devel/ocaml-stdlib-shims	\
>+		ocaml-ocplib-simplex>=0:devel/ocaml-ocplib-simplex	\
>+		ocaml-psmt2-frontend>=0:devel/ocaml-psmt2-frontend	\
>+		ocaml-dune-configurator>=0:devel/ocaml-dune-configurator
> 
>-GNU_CONFIGURE=	yes
>-USES=		gmake
>+USE_GITHUB=	yes
>+GH_ACCOUNT=	OCamlPro
>+
>+USES=		gettext-runtime gnome
> USE_OCAML=	yes
>-ALL_TARGET=	opt pack xpack META
>-INSTALL_TARGET=	install install-pack-opt install-pack-byte
>+USE_GNOME=	atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 pango
>+HAS_CONFIGURE=	yes
>+INSTALL_TARGET=	install-all
>+
>+OPTIONS_DEFINE=	DOCS
>+
>+.include <bsd.port.pre.mk>
>+
>+BIN2STRIP=	bin/${PORTNAME} bin/altgr-ergo	\
>+		${OCAML_SITELIBDIR}/alt-ergo-lib/AltErgoLib.cmxs	\
>+		${OCAML_SITELIBDIR}/alt-ergo-parsers/AltErgoParsers.cmxs	\
>+		share/alt-ergo/plugins/AB-Why3-plugin.cmxs	\
>+		share/alt-ergo/plugins/fm-simplex-plugin.cmxs	\
> 
> post-patch:
>-	@${REINPLACE_CMD} -e '\|^# installation|,\|^# documentation|{ \
>-		\|cp -f.*$$(BINDIR)|s|cp -f|${INSTALL_SCRIPT}|; \
>-		\|cp -f.*$$(MANDIR)|s|cp -f|${INSTALL_MAN}|; \
>-		\|cp -f.*$$(LIBDIR)|s|cp -f|${INSTALL_DATA}|; }' \
>-		-e 's|make -C|${MAKE_CMD} -C|' \
>-			${WRKSRC}/Makefile.in
>-	@${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \
>-		${WRKSRC}/configure
>-
>-.include <bsd.port.mk>
>+	# Do not build the JS module
>+	${MV} ${WRKSRC}/src/bin/js/dune ${WRKSRC}/src/bin/js/dune.bak
>+
>+pre-configure:
>+	${REINPLACE_CMD} -e 's|opam_var "prefix"|"${PREFIX}"|'	\
>+		-e 's|opam_var "lib"|"${OCAML_SITELIBDIR}"|'	\
>+		-e 's|opam_var "man"|"${PREFIX}/share/man"|'	\
>+		${WRKSRC}/configure.ml
>+
>+post-install:
>+.for bin in ${BIN2STRIP}
>+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/${bin}
>+.endfor
>+
>+.include <bsd.port.post.mk>
>diff --git a/math/alt-ergo/distinfo b/math/alt-ergo/distinfo
>index 875a34eec404..c0a81405d8e2 100644
>--- a/math/alt-ergo/distinfo
>+++ b/math/alt-ergo/distinfo
>@@ -1,2 +1,3 @@
>-SHA256 (alt-ergo-0.95.2.tar.gz) = 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac
>-SIZE (alt-ergo-0.95.2.tar.gz) = 233778
>+TIMESTAMP = 1648410023
>+SHA256 (OCamlPro-alt-ergo-2.4.1_GH0.tar.gz) = ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a
>+SIZE (OCamlPro-alt-ergo-2.4.1_GH0.tar.gz) = 2883046
>diff --git a/math/alt-ergo/files/patch-src_plugins_AB-Why3_dune b/math/alt-ergo/files/patch-src_plugins_AB-Why3_dune
>new file mode 100644
>index 000000000000..c135111e3a4a
>--- /dev/null
>+++ b/math/alt-ergo/files/patch-src_plugins_AB-Why3_dune
>@@ -0,0 +1,11 @@
>+--- src/plugins/AB-Why3/dune.orig	2021-07-27 13:52:49 UTC
>++++ src/plugins/AB-Why3/dune
>+@@ -6,7 +6,7 @@
>+ (ocamllex (modules why3_lexer))
>+ 
>+ (menhir
>+-  (infer    false)
>++  (infer    true)
>+   (flags    --fixed-exception)
>+   (modules  why3_parser)
>+ )
>diff --git a/math/alt-ergo/files/patch-src_plugins_AB-Why3_why3__parser.mly b/math/alt-ergo/files/patch-src_plugins_AB-Why3_why3__parser.mly
>new file mode 100644
>index 000000000000..df2da5480c2c
>--- /dev/null
>+++ b/math/alt-ergo/files/patch-src_plugins_AB-Why3_why3__parser.mly
>@@ -0,0 +1,43 @@
>+--- src/plugins/AB-Why3/why3_parser.mly.orig	2021-07-27 13:52:49 UTC
>++++ src/plugins/AB-Why3/why3_parser.mly
>+@@ -15,6 +15,7 @@
>+ (*     Copyright (C) 2018 --- OCamlPro SAS                                    *)
>+ (*                                                                            *)
>+ (******************************************************************************)
>++(* Patch from https://github.com/OCamlPro/alt-ergo/issues/501#issuecomment-1084275150 *)
>+ 
>+ %{
>+ 
>+@@ -274,21 +275,21 @@ use_clone:
>+ 
>+ use:
>+ | boption(IMPORT) tqualid
>+-    { None }
>++    { () }
>+ | boption(IMPORT) tqualid AS uident
>+-    { None }
>++    { () }
>+ | EXPORT tqualid
>+-    { None }
>++    { () }
>+ 
>+ clone_subst:
>+-| NAMESPACE ns EQUAL ns         { None }
>+-| TYPE qualid ty_var* EQUAL ty  { None }
>+-| CONSTANT  qualid EQUAL qualid { None }
>+-| FUNCTION  qualid EQUAL qualid { None }
>+-| PREDICATE qualid EQUAL qualid { None }
>+-| VAL       qualid EQUAL qualid { None }
>+-| LEMMA     qualid              { None }
>+-| GOAL      qualid              { None }
>++| NAMESPACE ns EQUAL ns         { () }
>++| TYPE qualid ty_var* EQUAL ty  { () }
>++| CONSTANT  qualid EQUAL qualid { () }
>++| FUNCTION  qualid EQUAL qualid { () }
>++| PREDICATE qualid EQUAL qualid { () }
>++| VAL       qualid EQUAL qualid { () }
>++| LEMMA     qualid              { () }
>++| GOAL      qualid              { () }
>+ 
>+ ns:
>+ | uqualid { Some $1 }
>diff --git a/math/alt-ergo/pkg-descr b/math/alt-ergo/pkg-descr
>index bc0708d02ccf..6b6d8e7ef7f2 100644
>--- a/math/alt-ergo/pkg-descr
>+++ b/math/alt-ergo/pkg-descr
>@@ -7,4 +7,4 @@ home made SAT-solver and an instantiation mechanism.
> Alt-Ergo is compact, safe, and modular. Each component is described by a small
> set of inference rules and is implemented as an Ocaml functor.
> 
>-WWW: http://alt-ergo.lri.fr
>+WWW: https://alt-ergo.ocamlpro.com/
>diff --git a/math/alt-ergo/pkg-plist b/math/alt-ergo/pkg-plist
>index bf0cd1a27feb..a7a48864ab32 100644
>--- a/math/alt-ergo/pkg-plist
>+++ b/math/alt-ergo/pkg-plist
>@@ -1,7 +1,533 @@
> bin/alt-ergo
>-lib/ocaml/alt-ergo/META
>-lib/ocaml/alt-ergo/altErgo.cmi
>-lib/ocaml/alt-ergo/altErgo.cmo
>-lib/ocaml/alt-ergo/altErgo.cmx
>-lib/ocaml/alt-ergo/altErgo.o
>-man/man1/alt-ergo.1.gz
>+bin/altgr-ergo
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/AltErgoLib.a
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/AltErgoLib.cma
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/AltErgoLib.cmxa
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/AltErgoLib.cmxs
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/META
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ac.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ac.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/adt.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/adt.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/adt_rel.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/adt_rel.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ac.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ac.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ac.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ac.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Adt.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Adt.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Adt.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Adt.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Adt_rel.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Adt_rel.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Adt_rel.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Adt_rel.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arith.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arith.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arith.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arith.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arrays.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arrays.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arrays.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arrays.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arrays_rel.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arrays_rel.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arrays_rel.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Arrays_rel.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Bitv.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Bitv.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Bitv.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Bitv.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Bitv_rel.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Bitv_rel.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Bitv_rel.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Bitv_rel.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ccx.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ccx.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ccx.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ccx.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Cnf.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Cnf.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Cnf.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Cnf.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Commands.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Commands.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Commands.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Commands.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Config.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Config.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Config.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Emap.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Emap.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Emap.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Emap.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Enum.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Enum.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Enum.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Enum.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Enum_rel.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Enum_rel.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Enum_rel.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Enum_rel.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Errors.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Errors.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Errors.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Errors.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Explanation.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Explanation.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Explanation.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Explanation.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Expr.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Expr.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Expr.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Expr.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Format_shims.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Format_shims.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Format_shims.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Fpa_rounding.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Fpa_rounding.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Fpa_rounding.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Frontend.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Frontend.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Frontend.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Frontend.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Fun_sat.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Fun_sat.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Fun_sat.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Fun_sat.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Gc_debug.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Gc_debug.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Gc_debug.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Gc_debug.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Hconsing.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Hconsing.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Hconsing.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Hconsing.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Hstring.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Hstring.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Hstring.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Hstring.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Iheap.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Iheap.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Iheap.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Iheap.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Inequalities.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Inequalities.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Inequalities.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Inequalities.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Input.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Input.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Input.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Input.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Instances.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Instances.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Instances.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Instances.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__IntervalCalculus.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__IntervalCalculus.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__IntervalCalculus.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Intervals.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Intervals.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Intervals.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Intervals.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ite.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ite.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ite.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ite.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ite_rel.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ite_rel.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ite_rel.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ite_rel.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Lists.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Lists.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Lists.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Lists.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Loc.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Loc.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Loc.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Loc.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Matching.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Matching.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Matching.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Matching.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Matching_types.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Matching_types.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__MyDynlink.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__MyDynlink.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__MyDynlink.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__MyDynlink.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__MyUnix.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__MyUnix.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__MyUnix.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__MyUnix.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Numbers.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Numbers.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Numbers.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Numbers.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__NumbersInterface.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__NumbersInterface.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__NumsNumbers.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__NumsNumbers.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__NumsNumbers.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__NumsNumbers.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Options.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Options.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Options.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Options.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Parsed.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Parsed.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Parsed.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Parsed.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Parsed_interface.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Parsed_interface.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Parsed_interface.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Parsed_interface.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Polynome.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Polynome.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Polynome.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Polynome.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Printer.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Printer.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Printer.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Printer.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Profiling.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Profiling.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Profiling.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Profiling.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Records.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Records.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Records.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Records.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Records_rel.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Records_rel.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Records_rel.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Records_rel.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Relation.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Relation.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Relation.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Relation.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sat_solver.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sat_solver.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sat_solver.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sat_solver.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_frontend.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_frontend.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_frontend.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_frontend.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_types.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_types.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_types.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Satml_types.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Shostak.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Shostak.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Shostak.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Shostak.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sig.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sig.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sig_rel.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Sig_rel.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Steps.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Steps.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Steps.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Steps.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Symbols.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Symbols.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Symbols.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Symbols.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Th_util.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Th_util.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Th_util.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Th_util.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Theory.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Theory.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Theory.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Theory.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Timers.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Timers.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Timers.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Timers.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ty.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ty.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ty.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Ty.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Typechecker.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Typechecker.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Typechecker.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Typechecker.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Typed.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Typed.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Typed.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Typed.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Uf.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Uf.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Uf.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Uf.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Use.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Use.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Use.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Use.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Util.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Util.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Util.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Util.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Var.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Var.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Var.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Var.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Vec.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Vec.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Vec.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Vec.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Version.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Version.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Version.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Version.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Xliteral.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Xliteral.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Xliteral.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__Xliteral.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__ZarithNumbers.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__ZarithNumbers.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/altErgoLib__ZarithNumbers.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/arith.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/arith.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/arrays.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/arrays.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/arrays_rel.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/arrays_rel.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/bitv.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/bitv.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/bitv_rel.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/bitv_rel.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ccx.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ccx.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/cnf.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/cnf.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/commands.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/commands.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/config.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/dune-package
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/emap.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/emap.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/enum.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/enum.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/enum_rel.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/enum_rel.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/errors.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/errors.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/explanation.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/explanation.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/expr.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/expr.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/format_shims.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/fpa_rounding.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/fpa_rounding.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/frontend.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/frontend.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/fun_sat.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/fun_sat.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/gc_debug.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/gc_debug.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/hconsing.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/hconsing.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/hstring.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/hstring.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/iheap.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/iheap.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/inequalities.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/inequalities.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/input.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/input.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/instances.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/instances.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/intervalCalculus.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/intervalCalculus.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/intervals.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/intervals.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ite.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ite.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ite_rel.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ite_rel.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/lists.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/lists.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/loc.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/loc.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/matching.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/matching.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/matching_types.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/missing_primitives.js
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/myDynlink.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/myDynlink.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/myUnix.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/myUnix.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/numbers.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/numbers.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/numbersInterface.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/numsNumbers.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/numsNumbers.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/opam
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/options.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/options.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/parsed.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/parsed.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/parsed_interface.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/parsed_interface.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/polynome.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/polynome.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/printer.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/printer.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/profiling.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/profiling.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/records.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/records.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/records_rel.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/records_rel.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/relation.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/relation.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/sat_solver.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/sat_solver.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/sat_solver_sig.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/sat_solver_sig.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/satml.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/satml.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/satml_frontend.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/satml_frontend.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/satml_frontend_hybrid.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/satml_frontend_hybrid.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/satml_types.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/satml_types.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/shostak.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/shostak.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/sig.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/sig_rel.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/steps.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/steps.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/symbols.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/symbols.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/th_util.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/th_util.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/theory.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/theory.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/timers.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/timers.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ty.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/ty.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/typechecker.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/typechecker.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/typed.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/typed.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/uf.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/uf.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/use.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/use.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/util.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/util.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/var.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/var.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/vec.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/vec.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/version.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/version.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/xliteral.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/xliteral.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/zarithNumbers.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-lib/zarithNumbers.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/AltErgoParsers.a
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/AltErgoParsers.cma
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/AltErgoParsers.cmxa
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/AltErgoParsers.cmxs
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/META
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__MyZip.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__MyZip.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__MyZip.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__MyZip.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Native_parser.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Native_parser.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Native_parser.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Native_parser.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Parsers.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Parsers.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Parsers.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Parsers.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/dune-package
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/missing_primitives.js
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/myZip.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/myZip.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/native_lexer.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/native_parser.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/native_parser.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/opam
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/parsers.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/parsers.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/parsers_loader.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/parsers_loader.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/psmt2_to_alt_ergo.ml
>+%%OCAML_SITELIBDIR%%/alt-ergo-parsers/psmt2_to_alt_ergo.mli
>+%%OCAML_SITELIBDIR%%/alt-ergo/META
>+%%OCAML_SITELIBDIR%%/alt-ergo/dune-package
>+%%OCAML_SITELIBDIR%%/alt-ergo/opam
>+%%OCAML_SITELIBDIR%%/altgr-ergo/META
>+%%OCAML_SITELIBDIR%%/altgr-ergo/dune-package
>+%%OCAML_SITELIBDIR%%/altgr-ergo/opam
>+%%DATADIR%%/plugins/AB-Why3-plugin.cma
>+%%DATADIR%%/plugins/AB-Why3-plugin.cmxs
>+%%DATADIR%%/plugins/fm-simplex-plugin.cma
>+%%DATADIR%%/plugins/fm-simplex-plugin.cmxs
>+%%DATADIR%%/preludes/b-set-theory-prelude-2018-09-28.ae
>+%%DATADIR%%/preludes/b-set-theory-prelude-2020-02-28.ae
>+%%DATADIR%%/preludes/fpa-theory-2017-01-04-16h00.ae
>+%%DATADIR%%/preludes/fpa-theory-2019-06-14-11h00.ae
>+%%DATADIR%%/preludes/fpa-theory-2019-10-08-19h00.ae
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo-lib/LICENSE.md
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo-lib/README.md
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo-lib/odoc-pages/index.mld
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo-parsers/LICENSE.md
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo-parsers/README.md
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo-parsers/odoc-pages/index.mld
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo/LICENSE.md
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo/README.md
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo/odoc-pages/index.mld
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo/odoc-pages/index_abwhy3.mld
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo/odoc-pages/index_common.mld
>+%%PORTDOCS%%share/doc/ocaml/alt-ergo/odoc-pages/index_fmsimplex.mld
>+%%PORTDOCS%%share/doc/ocaml/altgr-ergo/LICENSE.md
>+%%PORTDOCS%%share/doc/ocaml/altgr-ergo/README.md
>+%%PORTDOCS%%share/doc/ocaml/altgr-ergo/odoc-pages/index.mld
>+%%PORTDOCS%%share/doc/ocaml/altgr-ergo/odoc-pages/index_common.mld
>+share/man/man1/alt-ergo.1.gz
>+share/man/man1/altgr-ergo.1.gz
>-- 
>2.35.1
>
>
>From 37ed9e052c37db4135bd4af22ed7f196564b8aef Mon Sep 17 00:00:00 2001
>From: Thierry Thomas <thierry@FreeBSD.org>
>Date: Wed, 30 Mar 2022 16:54:15 +0200
>Subject: [PATCH 16/16] devel/cil: switch to goblint and upgrade to 1.8.2
>
>Chase OCaml.
>---
> devel/cil/Makefile  |  99 +++++++------------
> devel/cil/distinfo  |   5 +-
> devel/cil/pkg-descr |   3 +-
> devel/cil/pkg-plist | 231 ++++++++++++++++++++++++++++++++++++++++++++
> 4 files changed, 271 insertions(+), 67 deletions(-)
> create mode 100644 devel/cil/pkg-plist
>
>diff --git a/devel/cil/Makefile b/devel/cil/Makefile
>index 3db008383c59..a3f0ce37b39a 100644
>--- a/devel/cil/Makefile
>+++ b/devel/cil/Makefile
>@@ -1,10 +1,8 @@
> # Created by: Alexander Leidinger <netchild@FreeBSD.org>
> 
> PORTNAME=	cil
>-PORTVERSION=	1.7.3
>-PORTREVISION=	2
>+PORTVERSION=	1.8.2
> CATEGORIES=	devel lang
>-MASTER_SITES=	SF/${PORTNAME}/${PORTNAME}
> 
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	Infrastructure for C Program Analysis and Transformation
>@@ -12,81 +10,54 @@ COMMENT=	Infrastructure for C Program Analysis and Transformation
> LICENSE=	BSD3CLAUSE
> LICENSE_FILE=	${WRKSRC}/LICENSE
> 
>+ONLY_FOR_ARCHS=	amd64 armv7 i386 powerpc powerpc64 powerpc64le
>+
>+BUILD_DEPENDS=	dune:devel/ocaml-dune	\
>+		ocamlbuild:devel/ocaml-ocamlbuild	\
>+		ocaml-yojson>0:devel/ocaml-yojson	\
>+		ocaml-zarith>0:math/ocaml-zarith	\
>+		ocaml-batteries>0:devel/ocaml-batteries	\
>+		ocaml-stdlib-shims>0:devel/ocaml-stdlib-shims	\
>+		ocaml-ppx_deriving_yojson>0:devel/ocaml-ppx_deriving_yojson
>+LIB_DEPENDS=	libgmp.so:math/gmp
>+RUN_DEPENDS=	ocaml-yojson>0:devel/ocaml-yojson	\
>+		ocaml-zarith>0:math/ocaml-zarith	\
>+		ocaml-batteries>0:devel/ocaml-batteries	\
>+		ocaml-stdlib-shims>0:devel/ocaml-stdlib-shims	\
>+		ocaml-ppx_deriving_yojson>0:devel/ocaml-ppx_deriving_yojson
>+
> CONFLICTS=	ccured
>+CONFLICTS_BUILD=	cliquer-*	# another cl used by Makefile
> 
>-BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild
>+USE_GITHUB=	yes
>+GH_ACCOUNT=	goblint	# Original is at cil-project
> 
>-ONLY_FOR_ARCHS=	amd64 armv7 i386 powerpc powerpc64 powerpc64le
> USES=		gmake perl5
> USE_OCAML=	yes
> USE_OCAML_FINDLIB=	yes
> OCAML_PKGDIRS=
>+
> GNU_CONFIGURE=	yes
> MAKE_JOBS_UNSAFE=yes
> 
>-PORTDOCS=	*
>-PLIST_FILES=	${BINFILES:S,^,bin/,} \
>-		%%SITE_PERL%%/CilConfig.pm \
>-		${LIBFILES:S,^,%%SITE_PERL%%/CIL/,} \
>-		${LIBBINS:S,^,%%SITE_PERL%%/CIL/,} \
>-		${LIBAFILES:S,^,%%SITE_PERL%%/CIL/,}
>-BINFILES=	cilly cilly.native
>-LIBAFILES=	App/Cilly.pm
>-LIBFILES=	App/Cilly/KeptFile.pm \
>-		App/Cilly/OutputFile.pm \
>-		App/Cilly/TempFile.pm
>-LIBBINS=	patcher
>-
>-OPTIONS_DEFINE=	DOCS
>-
>-post-patch:
>-	@${REINPLACE_CMD} -e \
>-		'35 s|make|gmake|g' ${WRKSRC}/myocamlbuild.ml
>-	@${REINPLACE_CMD} -e \
>-		's|@CILHOME@/lib|${PREFIX}/${SITE_PERL_REL}/CIL|g ; \
>-		s|\@CILHOME\@|${PREFIX}|g' \
>-		${WRKSRC}/lib/App/Cilly/CilConfig.pm.in
>-	@${REINPLACE_CMD} -e \
>-		'/^#!/s|/.*|${PERL}|' ${WRKSRC}/lib/patcher
>-	@${REINPLACE_CMD} -e \
>+pre-configure:
>+	${REINPLACE_CMD} -e \
>+		'/^#!/s|/.*|${PERL}|' ${WRKSRC}/lib/perl5/patcher
>+	${REINPLACE_CMD} -e \
>+		's|\$$(shell ocamlfind printconf destdir)|${PREFIX}/${OCAML_SITELIBDIR}|' \
>+			${WRKSRC}/Makefile.in
>+	${REINPLACE_CMD} -e \
> 		'/^#!/s|/.*|${PERL}| ; \
> 		 s|$$::cilhome|${PREFIX}|g ; \
> 		 s|obj/$$::archos|libexec/cil|g ; \
> 		 s|^use Cilly;|use CIL::Cilly|' ${WRKSRC}/bin/cilly
>-	@${REINPLACE_CMD} -e \
>-		's|^use KeptFile;|use CIL::KeptFile;| ; \
>-		 s|^use OutputFile;|use CIL::OutputFile;| ; \
>-		 s|^use TempFile;|use CIL::TempFile;|' \
>-			${WRKSRC}/lib/App/Cilly.pm.in
>-	@${REINPLACE_CMD} -e \
>-		's|^use OutputFile;|use CIL::OutputFile;|' \
>-		${WRKSRC}/lib/App/Cilly/KeptFile.pm
>-	@${REINPLACE_CMD} -e \
>-		's|^use OutputFile;|use CIL::OutputFile;|' \
>-		${WRKSRC}/lib/App/Cilly/TempFile.pm
>-	@${REINPLACE_CMD} '/MACHDEPCC/ s|gcc|${CC}|' ${WRKSRC}/Makefile.in
>-
>-pre-install:
>-	@${STRIP_CMD} ${WRKSRC}/bin/cilly.native
>-
>-do-install:
>-	(cd ${WRKSRC}/bin && ${INSTALL_SCRIPT} ${BINFILES} \
>-		${STAGEDIR}${PREFIX}/bin)
>-	@${MKDIR} ${STAGEDIR}${PREFIX}/${SITE_PERL_REL}/CIL/App/Cilly
>-	${INSTALL_DATA} ${WRKSRC}/lib/App/Cilly/CilConfig.pm \
>-		${STAGEDIR}${PREFIX}/${SITE_PERL_REL}
>-	(cd ${WRKSRC}/lib && ${INSTALL_DATA} ${LIBFILES} \
>-		${STAGEDIR}${PREFIX}/${SITE_PERL_REL}/CIL/App/Cilly)
>-	(cd ${WRKSRC}/lib && ${INSTALL_DATA} ${LIBAFILES} \
>-		${STAGEDIR}${PREFIX}/${SITE_PERL_REL}/CIL/App)
>-	(cd ${WRKSRC}/lib && ${INSTALL_DATA} ${LIBBINS} \
>-		${STAGEDIR}${PREFIX}/${SITE_PERL_REL}/CIL)
>-# Remove orphan dir created by bsd.ocaml.mk
>-	-@${RMDIR} -p ${STAGEDIR}${OCAMLFIND_DESTDIR}
> 
>-do-install-DOCS-on:
>-	@${MKDIR} ${STAGEDIR}${DOCSDIR}
>-	@${RM} -r ${WRKSRC}/doc/cilcode.tmp
>-	(cd ${WRKSRC}/doc && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR})
>+post-install:
>+	${RM} ${STAGEDIR}${PREFIX}/bin/cilly.bak
>+	${FIND} ${STAGEDIR}${PREFIX}/lib/perl5 -name .packlist | \
>+		${XARGS} ${SED} -i "" -e 's|${STAGEDIR}||'
>+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/cilly.native
>+	${FIND} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${GH_ACCOUNT}-${PORTNAME} -name "*.cmxs" | \
>+		${XARGS} ${STRIP_CMD}
> 
> .include <bsd.port.mk>
>diff --git a/devel/cil/distinfo b/devel/cil/distinfo
>index 7f7981a85e88..320cc9be1ffc 100644
>--- a/devel/cil/distinfo
>+++ b/devel/cil/distinfo
>@@ -1,2 +1,3 @@
>-SHA256 (cil-1.7.3.tar.gz) = 69b7f290d2b15dd44e2b837d3de0922245be841f79ab56a7e9ba8205544be314
>-SIZE (cil-1.7.3.tar.gz) = 1893257
>+TIMESTAMP = 1648651565
>+SHA256 (goblint-cil-1.8.2_GH0.tar.gz) = 099733ee801c3058a02343565216df97288791f0ab16d4c4ff5796164b3ee7c2
>+SIZE (goblint-cil-1.8.2_GH0.tar.gz) = 945708
>diff --git a/devel/cil/pkg-descr b/devel/cil/pkg-descr
>index 436b2944513d..69ee8b63c647 100644
>--- a/devel/cil/pkg-descr
>+++ b/devel/cil/pkg-descr
>@@ -9,4 +9,5 @@ ambiguous constructs and removing redundant ones, and also higher-level
> than typical intermediate languages designed for compilation, by
> maintaining types and a close relationship with the source program.
> 
>-WWW: http://kerneis.github.com/cil/
>+WWW: https://github.com/cil-project/cil
>+WWW: https://github.com/goblint/cil
>diff --git a/devel/cil/pkg-plist b/devel/cil/pkg-plist
>new file mode 100644
>index 000000000000..3e19de6d55ae
>--- /dev/null
>+++ b/devel/cil/pkg-plist
>@@ -0,0 +1,231 @@
>+bin/cilly
>+bin/cilly.byte
>+bin/cilly.native
>+%%OCAML_SITELIBDIR%%/goblint-cil/META
>+%%OCAML_SITELIBDIR%%/goblint-cil/alpha.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/alpha.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/alpha.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/availexps.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/availexps.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/availexps.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/availexpslv.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/availexpslv.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/availexpslv.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/bitmap.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/bitmap.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/bitmap.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabs.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabs.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabs.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabs2cil.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabs2cil.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabs2cil.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabshelper.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabshelper.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabshelper.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabsvisit.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabsvisit.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cabsvisit.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cfg.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cfg.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cfg.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/check.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/check.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/check.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cil.a
>+%%OCAML_SITELIBDIR%%/goblint-cil/cil.cma
>+%%OCAML_SITELIBDIR%%/goblint-cil/cil.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cil.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cil.cmxa
>+%%OCAML_SITELIBDIR%%/goblint-cil/cil.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilint.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilint.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilint.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cillower.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cillower.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cillower.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/ciloptions.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/ciloptions.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/ciloptions.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilutil.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilutil.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilutil.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilversion.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilversion.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cilversion.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/clexer.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/clexer.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/clexer.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/clist.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/clist.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/clist.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/codeQuery.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/codeQuery.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/codeQuery.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cparser.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cparser.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cparser.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/cprint.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/cprint.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/cprint.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataflow.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataflow.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataflow.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataslicing.a
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataslicing.cma
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataslicing.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataslicing.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataslicing.cmxa
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataslicing.cmxs
>+%%OCAML_SITELIBDIR%%/goblint-cil/dataslicing.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/deadcodeelim.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/deadcodeelim.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/deadcodeelim.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/dominators.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/dominators.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/dominators.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/errormsg.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/errormsg.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/errormsg.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/escape.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/escape.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/escape.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/expcompare.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/expcompare.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/expcompare.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/feature.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/feature.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/feature.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatcil.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatcil.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatcil.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatlex.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatlex.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatlex.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatparse.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatparse.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/formatparse.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/frontc.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/frontc.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/frontc.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcDatatype.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcDatatype.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcDatatype.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcFunction.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcFunction.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcFunction.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcVar.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcVar.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/funcVar.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/golf.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/golf.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/golf.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/growArray.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/growArray.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/growArray.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/inthash.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/inthash.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/inthash.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/lexerhack.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/lexerhack.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/lexerhack.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/liveness.a
>+%%OCAML_SITELIBDIR%%/goblint-cil/liveness.cma
>+%%OCAML_SITELIBDIR%%/goblint-cil/liveness.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/liveness.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/liveness.cmxa
>+%%OCAML_SITELIBDIR%%/goblint-cil/liveness.cmxs
>+%%OCAML_SITELIBDIR%%/goblint-cil/liveness.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/longarray.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/longarray.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/longarray.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/machdep.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/machdep.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/machdep.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/machdepenv.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/machdepenv.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/machdepenv.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/makeCFG.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/makeCFG.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/makeCFG.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/makecfg.a
>+%%OCAML_SITELIBDIR%%/goblint-cil/makecfg.cma
>+%%OCAML_SITELIBDIR%%/goblint-cil/makecfg.cmxa
>+%%OCAML_SITELIBDIR%%/goblint-cil/makecfg.cmxs
>+%%OCAML_SITELIBDIR%%/goblint-cil/mergecil.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/mergecil.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/mergecil.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/olf.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/olf.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/olf.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/patch.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/patch.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/patch.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/pretty.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/pretty.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/pretty.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/pta.a
>+%%OCAML_SITELIBDIR%%/goblint-cil/pta.cma
>+%%OCAML_SITELIBDIR%%/goblint-cil/pta.cmxa
>+%%OCAML_SITELIBDIR%%/goblint-cil/pta.cmxs
>+%%OCAML_SITELIBDIR%%/goblint-cil/ptranal.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/ptranal.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/ptranal.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/queryMapping.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/queryMapping.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/queryMapping.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/reachingdefs.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/reachingdefs.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/reachingdefs.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/resultPrinter.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/resultPrinter.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/resultPrinter.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/rmciltmps.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/rmciltmps.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/rmciltmps.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/rmtmps.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/rmtmps.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/rmtmps.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/setp.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/setp.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/setp.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/stats.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/stats.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/stats.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/steensgaard.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/steensgaard.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/steensgaard.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/syntacticsearch.a
>+%%OCAML_SITELIBDIR%%/goblint-cil/syntacticsearch.cma
>+%%OCAML_SITELIBDIR%%/goblint-cil/syntacticsearch.cmxa
>+%%OCAML_SITELIBDIR%%/goblint-cil/syntacticsearch.cmxs
>+%%OCAML_SITELIBDIR%%/goblint-cil/trace.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/trace.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/trace.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/uref.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/uref.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/uref.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/usedef.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/usedef.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/usedef.inferred.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/util.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/util.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/util.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/whitetrack.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/whitetrack.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/whitetrack.mli
>+%%OCAML_SITELIBDIR%%/goblint-cil/zrapp.a
>+%%OCAML_SITELIBDIR%%/goblint-cil/zrapp.cma
>+%%OCAML_SITELIBDIR%%/goblint-cil/zrapp.cmi
>+%%OCAML_SITELIBDIR%%/goblint-cil/zrapp.cmx
>+%%OCAML_SITELIBDIR%%/goblint-cil/zrapp.cmxa
>+%%OCAML_SITELIBDIR%%/goblint-cil/zrapp.cmxs
>+%%OCAML_SITELIBDIR%%/goblint-cil/zrapp.mli
>+lib/perl5/App/Cilly.pm
>+lib/perl5/App/Cilly/CilCompiler.pm
>+lib/perl5/App/Cilly/CilConfig.pm
>+lib/perl5/App/Cilly/KeptFile.pm
>+lib/perl5/App/Cilly/OutputFile.pm
>+lib/perl5/App/Cilly/TempFile.pm
>+lib/perl5/amd64-freebsd-thread-multi/auto/cilly/.packlist
>+%%DATADIR%%/ocamlpath
>-- 
>2.35.1
>

Actions: View | Diff

Attachments on bug 262794: 232703 | 232895 | 232942 | 233070 | 233098 | 233129