SUBDIR += ocaml-dolmen

    SUBDIR += ocaml-gen

    SUBDIR += ocaml-hmap

    SUBDIR += ocaml-linol

    SUBDIR += ocaml-lsp

    SUBDIR += ocaml-octavius

    SUBDIR += ocaml-pp_loc

    SUBDIR += ocaml-ppx_blob

    SUBDIR += ocaml-ppx_compare

    SUBDIR += ocaml-ppx_deriving

    SUBDIR += ocaml-ppx_hash

    SUBDIR += ocaml-ppx_js_style

    SUBDIR += ocaml-ppx_yojson_conv

    SUBDIR += ocaml-ppx_yojson_conv_lib

    SUBDIR += ocaml-psmt2-frontend

    SUBDIR += ocaml-trace

PORTNAME=	dolmen

PORTVERSION=	0.9

DISTVERSIONPREFIX=	v

CATEGORIES=	devel

PKGNAMEPREFIX=	ocaml-

MAINTAINER=	freebsd@dev.thsi.be

COMMENT=	Library for writing deduction and logic languages in Objective Caml

WWW=		https://github.com/Gbury/dolmen

LICENSE=	BSD2CLAUSE

LICENSE_FILE=	${WRKSRC}/LICENSE

BUILD_DEPENDS=	${LOCALBASE}/bin/menhir:devel/menhir \

		${SA_DIR}/farith/META:math/ocaml-farith \

		${SA_DIR}/fmt/META:devel/ocaml-fmt \

		${SA_DIR}/gen/META:devel/ocaml-gen \

		${SA_DIR}/linol/META:devel/ocaml-linol \

		${SA_DIR}/lsp/META:devel/ocaml-lsp \

		${SA_DIR}/logs/META:devel/ocaml-logs \

		${SA_DIR}/pp_loc/META:devel/ocaml-pp_loc \

		${SA_DIR}/ppx_deriving/META:devel/ocaml-ppx_deriving \

		${SA_DIR}/ppx_hash/META:devel/ocaml-ppx_hash \

		${SA_DIR}/ppx_yojson_conv/META:devel/ocaml-ppx_yojson_conv \

		${SA_DIR}/spelll/META:textproc/ocaml-spelll \

		${SA_DIR}/uutf/META:devel/ocaml-uutf

LIB_DEPENDS=	libgmp.so:math/gmp \

		libev.so:devel/libev

RUN_DEPENDS=	${SA_DIR}/farith/META:math/ocaml-farith \

		${SA_DIR}/fmt/META:devel/ocaml-fmt \

		${SA_DIR}/gen/META:devel/ocaml-gen \

		${SA_DIR}/linol/META:devel/ocaml-linol \

		${SA_DIR}/lsp/META:devel/ocaml-lsp \

		${SA_DIR}/logs/META:devel/ocaml-logs \

		${SA_DIR}/menhirLib/META:devel/menhir \

		${SA_DIR}/pp_loc/META:devel/ocaml-pp_loc \

		${SA_DIR}/ppx_deriving/META:devel/ocaml-ppx_deriving \

		${SA_DIR}/ppx_hash/META:devel/ocaml-ppx_hash \

		${SA_DIR}/ppx_yojson_conv_lib/META:devel/ocaml-ppx_yojson_conv_lib \

		${SA_DIR}/spelll/META:textproc/ocaml-spelll \

		${SA_DIR}/uutf/META:devel/ocaml-uutf

USES=		ocaml:dune

USE_GITHUB=	yes

GH_ACCOUNT=	Gbury

USE_OCAML=	yes

OCAML_PACKAGES=		${PORTNAME} ${PORTNAME}_bin ${PORTNAME}_loop \

			${PORTNAME}_lsp ${PORTNAME}_model ${PORTNAME}_type

DUNE_INSTALL_TARGETS=	${OCAML_PACKAGES}

DOCSDIR=	${OCAML_DOCSDIR}

PORTDOCS=	dolmen/odoc-pages/index.mld \

		${OCAML_PACKAGES:@p@$p/CHANGES.md $p/LICENSE $p/README.md@}

OPTIONS_DEFINE=	DOCS MANPAGES

OPTIONS_SUB=	yes

SA_DIR=		${LOCALBASE}/${OCAML_SITELIBDIR}

post-patch:

	@${REINPLACE_CMD} \

		-e "/^version:/s/dev/${PORTVERSION}/" \

		${WRKSRC}/dolmen.opam \

		${WRKSRC}/dolmen_bin.opam \

		${WRKSRC}/dolmen_loop.opam \

		${WRKSRC}/dolmen_lsp.opam \

		${WRKSRC}/dolmen_model.opam \

		${WRKSRC}/dolmen_type.opam

post-install:

	@${STRIP_CMD} \

		${STAGEDIR}${PREFIX}/bin/dolmen \

		${STAGEDIR}${PREFIX}/bin/dolmenls

	@(cd ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}; \

		${STRIP_CMD} \

			dolmen/ae/dolmen_ae.cmxs \

			dolmen/class/dolmen_class.cmxs \

			dolmen/dimacs/dolmen_dimacs.cmxs dolmen/dolmen.cmxs \

			dolmen/icnf/dolmen_icnf.cmxs \

			dolmen/intf/dolmen_intf.cmxs \

			dolmen/line/dolmen_line.cmxs \

			dolmen/smtlib2/dolmen_smtlib2.cmxs \

			dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmxs \

			dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmxs \

			dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmxs \

			dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmxs \

			dolmen/std/dolmen_std.cmxs \

			dolmen/tptp/dolmen_tptp.cmxs \

			dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmxs \

			dolmen/zf/dolmen_zf.cmxs dolmen_loop/dolmen_loop.cmxs \

			dolmen_model/dolmen_model.cmxs \

			dolmen_type/dolmen_type.cmxs)

.include <bsd.port.mk>

TIMESTAMP = 1723760391

SHA256 (Gbury-dolmen-v0.9_GH0.tar.gz) = b1d00c0b969ea4e7c8d14ef0854303daebe60e796562d67b510a7783841aa967

SIZE (Gbury-dolmen-v0.9_GH0.tar.gz) = 1150826

--- src/bin/main.ml.orig	2024-08-15 00:57:27 UTC

+++ src/bin/main.ml

@@ -127,22 +127,21 @@ let () =

   let exits =

     List.map (fun code ->

         let retcode, doc = Dolmen_loop.Code.descr code in

-        Cmdliner.Cmd.Exit.info ~doc retcode

+        Cmdliner.Term.exit_info ~doc retcode

       ) (Dolmen_loop.Code.errors ())

-    @ Cmdliner.Cmd.Exit.defaults

+    @ Cmdliner.Term.default_exits

   in

-  let cli_term = Cmdliner.Cmd.v

-      (Cmdliner.Cmd.info "dolmen" ~exits ~man:Man.cli ~version)

-      Options.cli

+  let cli_info =

+      (Cmdliner.Term.info "dolmen" ~exits ~man:Man.cli ~version)

   in

-  match Cmdliner.Cmd.eval_value cli_term with

-  | Ok (`Version | `Help) ->

+  match Cmdliner.Term.eval (Options.cli,  cli_info) with

+  | `Version | `Help ->

     exit 0

-  | Error (`Parse | `Term | `Exn) ->

-    exit Cmdliner.Cmd.Exit.cli_error

-  | Ok (`Ok Run { state ; preludes; logic_file }) ->

+  | `Error (`Parse | `Term | `Exn) ->

+    exit Cmdliner.Term.exit_status_cli_error

+  | `Ok (Run { state ; preludes; logic_file }) ->

     run state preludes logic_file

-  | Ok (`Ok Doc { report; conf; }) ->

+  | `Ok (Doc { report; conf; }) ->

     doc conf report

-  | Ok (`Ok List_reports { conf; }) ->

+  | `Ok (List_reports { conf; }) ->

     list conf

--- src/lsp/main.ml.orig	2024-08-15 00:50:43 UTC

+++ src/lsp/main.ml

@@ -3,7 +3,7 @@ let run () =

 let run () =

   let s = new Server.dolmen_lsp_server in

-  let server = Linol_lwt.Jsonrpc2.create_stdio s in

+  let server = Linol_lwt.Jsonrpc2.create_stdio ~env:() s in

   let task = Linol_lwt.Jsonrpc2.run server in

   match Linol_lwt.run task with

   | () -> ()

--- src/lsp/server.ml.orig	2024-08-15 00:37:20 UTC

+++ src/lsp/server.ml

@@ -55,14 +55,14 @@ class dolmen_lsp_server =

       let change = Lsp.Types.TextDocumentSyncKind.Incremental in

       (* Lsp.Types.TextDocumentSyncKind.Full *)

       Lsp.Types.TextDocumentSyncOptions.create ~openClose:true ~change

-        ~save:(Lsp.Types.SaveOptions.create ~includeText:false ())

+        ~save:(`SaveOptions (Lsp.Types.SaveOptions.create ~includeText:false ()))

         ()

     method private _on_doc

         ~(notify_back:Linol_lwt.Jsonrpc2.notify_back)

         (uri:Lsp.Types.DocumentUri.t) (contents:string) =

       (* TODO: unescape uri/translate it to a correct path ? *)

-      match Loop.process prelude (preprocess_uri uri) (Some contents) with

+      match Loop.process prelude (Lsp.Uri.to_path uri) (Some contents) with

       | Ok state ->

         let diags = State.get State.diagnostics state in

         Hashtbl.replace buffers uri state;

@@ -94,5 +94,7 @@ class dolmen_lsp_server =

     method on_notif_doc_did_close ~notify_back d =

       Hashtbl.remove buffers d.uri;

       notify_back#send_diagnostic []

+

+    method spawn_query_handler = Lwt.async

   end

--- src/lsp/state.ml.orig	2024-08-15 00:34:51 UTC

+++ src/lsp/state.ml

@@ -45,7 +45,7 @@ let warn ?file:_ ?loc t warn payload =

   in

   Format.kfprintf (fun _ ->

       let msg = Format.flush_str_formatter () in

-      let d = Diagnostic.warn ~loc msg in

+      let d = Diagnostic.warn ~loc (`String msg) in

       add_diag d t) Format.str_formatter "%a"

     Dolmen_loop.Report.Warning.print (warn, payload)

@@ -67,7 +67,7 @@ let error ?file:_ ?loc t err payload =

   (* Print the error message *)

   Format.kfprintf (fun _ ->

       let msg = Format.flush_str_formatter () in

-      let d = Diagnostic.error ~loc msg in

+      let d = Diagnostic.error ~loc (`String msg) in

       add_diag d t) Format.str_formatter "%a"

     Dolmen_loop.Report.Error.print (err, payload)

The dolmen library for OCaml provides modules for parsing,

type-checking and main loop controling.

The dolmen binary allows to parse and type-check input against a

language specification.

Dolmen comes with a LSP server implementation.

bin/dolmen

bin/dolmenls

%%OCAML_SITELIBDIR%%/dolmen/META

%%OCAML_SITELIBDIR%%/dolmen/ae/ast.ml

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.a

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cma

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmi

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmt

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmti

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmx

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmxa

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.ml

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.mli

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__.cmi

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__.cmt

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__.cmx

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__.ml

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Ast.cmi

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Ast.cmt

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Ast.cmx

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Lexer.cmi

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Lexer.cmt

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Lexer.cmx

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Syntax_messages.cmi

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Syntax_messages.cmt

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Syntax_messages.cmx

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Tokens.cmi

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Tokens.cmt

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Tokens.cmti

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Tokens.cmx

%%OCAML_SITELIBDIR%%/dolmen/ae/lexer.ml

%%OCAML_SITELIBDIR%%/dolmen/ae/parser.ml

%%OCAML_SITELIBDIR%%/dolmen/ae/parser.mli

%%OCAML_SITELIBDIR%%/dolmen/ae/syntax_messages.ml

%%OCAML_SITELIBDIR%%/dolmen/ae/tokens.ml

%%OCAML_SITELIBDIR%%/dolmen/ae/tokens.mli

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.a

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cma

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmi

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmt

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmx

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmxa

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.ml

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Logic.cmi

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Logic.cmt

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Logic.cmti

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Logic.cmx

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Response.cmi

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Response.cmt

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Response.cmti

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Response.cmx

%%OCAML_SITELIBDIR%%/dolmen/class/logic.ml

%%OCAML_SITELIBDIR%%/dolmen/class/logic.mli

%%OCAML_SITELIBDIR%%/dolmen/class/response.ml

%%OCAML_SITELIBDIR%%/dolmen/class/response.mli

%%OCAML_SITELIBDIR%%/dolmen/dimacs/ast.ml

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.a

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cma

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmi

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmt

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmti

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmx

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmxa

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.ml

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.mli

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__.cmi

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__.cmt

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__.cmx

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__.ml

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Ast.cmi

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Ast.cmt

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Ast.cmx

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Lexer.cmi

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Lexer.cmt

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Lexer.cmx

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmi

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmt

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmx

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Tokens.cmi

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Tokens.cmt

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Tokens.cmti

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Tokens.cmx

%%OCAML_SITELIBDIR%%/dolmen/dimacs/lexer.ml

%%OCAML_SITELIBDIR%%/dolmen/dimacs/parser.ml

%%OCAML_SITELIBDIR%%/dolmen/dimacs/parser.mli

%%OCAML_SITELIBDIR%%/dolmen/dimacs/syntax_messages.ml

%%OCAML_SITELIBDIR%%/dolmen/dimacs/tokens.ml

%%OCAML_SITELIBDIR%%/dolmen/dimacs/tokens.mli

%%OCAML_SITELIBDIR%%/dolmen/dolmen.a

%%OCAML_SITELIBDIR%%/dolmen/dolmen.cma

%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmi

%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmt

%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmx

%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmxa

%%OCAML_SITELIBDIR%%/dolmen/dolmen.ml

%%OCAML_SITELIBDIR%%/dolmen/dune-package

%%OCAML_SITELIBDIR%%/dolmen/icnf/ast.ml

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.a

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cma

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmi

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmt

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmti

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmx

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmxa

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.ml

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.mli

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__.cmi

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__.cmt

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__.cmx

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__.ml

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Ast.cmi

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Ast.cmt

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Ast.cmx

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Lexer.cmi

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Lexer.cmt

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Lexer.cmx

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Syntax_messages.cmi

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Syntax_messages.cmt

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Syntax_messages.cmx

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Tokens.cmi

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Tokens.cmt

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Tokens.cmti

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Tokens.cmx

%%OCAML_SITELIBDIR%%/dolmen/icnf/lexer.ml

%%OCAML_SITELIBDIR%%/dolmen/icnf/parser.ml

%%OCAML_SITELIBDIR%%/dolmen/icnf/parser.mli

%%OCAML_SITELIBDIR%%/dolmen/icnf/syntax_messages.ml

%%OCAML_SITELIBDIR%%/dolmen/icnf/tokens.ml

%%OCAML_SITELIBDIR%%/dolmen/icnf/tokens.mli

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.a

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cma

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmxa

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Id.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Id.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Id.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Language.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Language.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Language.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Lex.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Lex.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Lex.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Location.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Location.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Location.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Map.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Map.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Map.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Msg.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Msg.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Msg.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Parse.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Parse.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Parse.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Stmt.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Stmt.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Stmt.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tag.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tag.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tag.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Term.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Term.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Term.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tok.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tok.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tok.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Ty.cmi

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Ty.cmt

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Ty.cmx

%%OCAML_SITELIBDIR%%/dolmen/intf/id.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/language.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/lex.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/location.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/map.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/msg.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/parse.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/stmt.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/tag.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/term.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/tok.ml

%%OCAML_SITELIBDIR%%/dolmen/intf/ty.ml

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.a

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cma

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmi

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmt

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmti

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmx

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmxa

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.ml

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.mli

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__.cmi

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__.cmt

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__.cmx

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__.ml

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__LexLine.cmi

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__LexLine.cmt

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__LexLine.cmx

%%OCAML_SITELIBDIR%%/dolmen/line/lexLine.ml

%%OCAML_SITELIBDIR%%/dolmen/opam

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.a

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cma

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmxa

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/ast.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.a

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cma

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmxa

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.mli

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/lexer.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/parser.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/parser.mli

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/syntax_messages.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/tokens.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/tokens.mli

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.a

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cma

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmxa

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/ast.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.a

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cma

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmxa

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.mli

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/lexer.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/parser.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/parser.mli

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/syntax_messages.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/tokens.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/tokens.mli

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/ast.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.a

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cma

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmxa

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.mli

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmi

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmt

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmti

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmx

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/lexer.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/parser.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/parser.mli

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/syntax_messages.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/tokens.ml

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/tokens.mli

%%OCAML_SITELIBDIR%%/dolmen/std/answer.ml

%%OCAML_SITELIBDIR%%/dolmen/std/answer.mli

%%OCAML_SITELIBDIR%%/dolmen/std/builtin.ml

%%OCAML_SITELIBDIR%%/dolmen/std/builtin.mli

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.a

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cma

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmxa

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.ml

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Answer.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Answer.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Answer.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Answer.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Builtin.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Builtin.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Builtin.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Builtin.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Escape.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Escape.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Escape.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Escape.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Expr.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Expr.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Expr.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Expr.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Hmap.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Hmap.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Hmap.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Hmap.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Id.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Id.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Id.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Id.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Loc.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Loc.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Loc.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Loc.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps_string.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps_string.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps_string.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps_string.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Misc.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Misc.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Misc.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Misc.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Msg.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Msg.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Msg.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Name.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Name.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Name.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Name.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Namespace.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Namespace.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Namespace.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Namespace.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Normalize.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Normalize.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Normalize.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Normalize.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Path.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Path.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Path.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Path.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Pretty.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Pretty.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Pretty.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Statement.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Statement.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Statement.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Statement.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Stats.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Stats.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Stats.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Stats.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tag.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tag.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tag.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tag.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Term.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Term.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Term.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Term.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Timer.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Timer.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Timer.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Timer.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tok.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tok.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tok.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Transformer.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Transformer.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Transformer.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Vec.cmi

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Vec.cmt

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Vec.cmti

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Vec.cmx

%%OCAML_SITELIBDIR%%/dolmen/std/escape.ml

%%OCAML_SITELIBDIR%%/dolmen/std/escape.mli

%%OCAML_SITELIBDIR%%/dolmen/std/expr.ml

%%OCAML_SITELIBDIR%%/dolmen/std/expr.mli

%%OCAML_SITELIBDIR%%/dolmen/std/hmap.ml

%%OCAML_SITELIBDIR%%/dolmen/std/hmap.mli

%%OCAML_SITELIBDIR%%/dolmen/std/id.ml

%%OCAML_SITELIBDIR%%/dolmen/std/id.mli

%%OCAML_SITELIBDIR%%/dolmen/std/loc.ml

%%OCAML_SITELIBDIR%%/dolmen/std/loc.mli

%%OCAML_SITELIBDIR%%/dolmen/std/maps.ml

%%OCAML_SITELIBDIR%%/dolmen/std/maps.mli

%%OCAML_SITELIBDIR%%/dolmen/std/maps_string.ml

%%OCAML_SITELIBDIR%%/dolmen/std/maps_string.mli

%%OCAML_SITELIBDIR%%/dolmen/std/misc.ml

%%OCAML_SITELIBDIR%%/dolmen/std/misc.mli

%%OCAML_SITELIBDIR%%/dolmen/std/msg.ml

%%OCAML_SITELIBDIR%%/dolmen/std/name.ml

%%OCAML_SITELIBDIR%%/dolmen/std/name.mli

%%OCAML_SITELIBDIR%%/dolmen/std/namespace.ml

%%OCAML_SITELIBDIR%%/dolmen/std/namespace.mli

%%OCAML_SITELIBDIR%%/dolmen/std/normalize.ml

%%OCAML_SITELIBDIR%%/dolmen/std/normalize.mli

%%OCAML_SITELIBDIR%%/dolmen/std/path.ml

%%OCAML_SITELIBDIR%%/dolmen/std/path.mli

%%OCAML_SITELIBDIR%%/dolmen/std/pretty.ml

%%OCAML_SITELIBDIR%%/dolmen/std/statement.ml

%%OCAML_SITELIBDIR%%/dolmen/std/statement.mli

%%OCAML_SITELIBDIR%%/dolmen/std/stats.ml

%%OCAML_SITELIBDIR%%/dolmen/std/stats.mli

%%OCAML_SITELIBDIR%%/dolmen/std/tag.ml

%%OCAML_SITELIBDIR%%/dolmen/std/tag.mli

%%OCAML_SITELIBDIR%%/dolmen/std/term.ml

%%OCAML_SITELIBDIR%%/dolmen/std/term.mli

%%OCAML_SITELIBDIR%%/dolmen/std/timer.ml

%%OCAML_SITELIBDIR%%/dolmen/std/timer.mli

%%OCAML_SITELIBDIR%%/dolmen/std/tok.ml

%%OCAML_SITELIBDIR%%/dolmen/std/transformer.ml

%%OCAML_SITELIBDIR%%/dolmen/std/vec.ml

%%OCAML_SITELIBDIR%%/dolmen/std/vec.mli

%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.a

%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cma

%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmi

%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmt

%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmx

%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmxa

%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.ml

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/ast.ml

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.a

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cma

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmi

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmt

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmti

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmx

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmxa

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.ml

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.mli

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmi

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmt

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmx

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.ml

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmi

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmt

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmx

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmi

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmt

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmx

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmi

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmt

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmx

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmi

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmt

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmti

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmx

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/lexer.ml

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/parser.ml

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/parser.mli

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/syntax_messages.ml

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/tokens.ml

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/tokens.mli

%%OCAML_SITELIBDIR%%/dolmen/zf/ast.ml

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.a

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cma

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmi

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmt

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmti

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmx

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmxa

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.ml

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.mli

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__.cmi

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__.cmt

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__.cmx

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__.ml

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Ast.cmi

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Ast.cmt

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Ast.cmx

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Lexer.cmi

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Lexer.cmt

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Lexer.cmx

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Syntax_messages.cmi

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Syntax_messages.cmt

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Syntax_messages.cmx

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Tokens.cmi

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Tokens.cmt

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Tokens.cmti

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Tokens.cmx

%%OCAML_SITELIBDIR%%/dolmen/zf/lexer.ml

%%OCAML_SITELIBDIR%%/dolmen/zf/parser.ml

%%OCAML_SITELIBDIR%%/dolmen/zf/parser.mli

%%OCAML_SITELIBDIR%%/dolmen/zf/syntax_messages.ml

%%OCAML_SITELIBDIR%%/dolmen/zf/tokens.ml

%%OCAML_SITELIBDIR%%/dolmen/zf/tokens.mli

%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmxs

%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmxs

%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmxs

%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmxs

%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmxs

%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmxs

%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmxs

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmxs

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmxs

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmxs

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmxs

%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmxs

%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmxs

%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmxs

%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmxs

%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmxs

%%OCAML_SITELIBDIR%%/dolmen_bin/META

%%OCAML_SITELIBDIR%%/dolmen_bin/dune-package

%%OCAML_SITELIBDIR%%/dolmen_bin/opam

%%OCAML_SITELIBDIR%%/dolmen_loop/META

%%OCAML_SITELIBDIR%%/dolmen_loop/alarm.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/alarm.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/code.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/code.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop.a

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop.cma

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop.cmxa

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Alarm.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Alarm.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Alarm.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Alarm.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Code.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Code.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Code.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Code.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Expr_intf.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Expr_intf.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Expr_intf.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Flow.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Flow.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Flow.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Flow.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Flow_intf.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Flow_intf.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Flow_intf.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Headers.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Headers.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Headers.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Headers.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Headers_intf.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Headers_intf.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Headers_intf.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Logic.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Logic.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Logic.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Logic.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Parser.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Parser.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Parser.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Parser.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Parser_intf.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Parser_intf.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Parser_intf.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Pipeline.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Pipeline.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Pipeline.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Pipeline.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Report.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Report.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Report.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Report.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Response.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Response.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Response.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__State.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__State.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__State.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Typer.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Typer.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Typer.cmti

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Typer.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Typer_intf.cmi

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Typer_intf.cmt

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop__Typer_intf.cmx

%%OCAML_SITELIBDIR%%/dolmen_loop/dune-package

%%OCAML_SITELIBDIR%%/dolmen_loop/expr_intf.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/flow.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/flow.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/flow_intf.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/headers.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/headers.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/headers_intf.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/logic.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/logic.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/opam

%%OCAML_SITELIBDIR%%/dolmen_loop/parser.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/parser.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/parser_intf.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/pipeline.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/pipeline.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/report.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/report.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/response.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/state.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/typer.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/typer.mli

%%OCAML_SITELIBDIR%%/dolmen_loop/typer_intf.ml

%%OCAML_SITELIBDIR%%/dolmen_loop/dolmen_loop.cmxs

%%OCAML_SITELIBDIR%%/dolmen_lsp/META

%%OCAML_SITELIBDIR%%/dolmen_lsp/dune-package

%%OCAML_SITELIBDIR%%/dolmen_lsp/opam

%%OCAML_SITELIBDIR%%/dolmen_model/META

%%OCAML_SITELIBDIR%%/dolmen_model/adt.ml

%%OCAML_SITELIBDIR%%/dolmen_model/array.ml

%%OCAML_SITELIBDIR%%/dolmen_model/bitv.ml

%%OCAML_SITELIBDIR%%/dolmen_model/bitv.mli

%%OCAML_SITELIBDIR%%/dolmen_model/bool.ml

%%OCAML_SITELIBDIR%%/dolmen_model/bool.mli

%%OCAML_SITELIBDIR%%/dolmen_model/coercion.ml

%%OCAML_SITELIBDIR%%/dolmen_model/core.ml

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model.a

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model.cma

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model.cmxa

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model.ml

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Adt.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Adt.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Adt.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Array.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Array.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Array.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Bitv.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Bitv.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Bitv.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Bitv.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Bool.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Bool.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Bool.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Bool.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Coercion.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Coercion.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Coercion.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Core.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Core.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Core.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Env.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Env.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Env.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Env.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Eval.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Eval.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Eval.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Fp.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Fp.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Fp.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Fp.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Fun.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Fun.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Fun.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Int.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Int.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Int.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Int.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Loop.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Loop.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Loop.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Model.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Model.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Model.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Model.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Rat.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Rat.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Rat.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Rat.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Real.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Real.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Real.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Real.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Value.cmi

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Value.cmt

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Value.cmti

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model__Value.cmx

%%OCAML_SITELIBDIR%%/dolmen_model/dune-package

%%OCAML_SITELIBDIR%%/dolmen_model/env.ml

%%OCAML_SITELIBDIR%%/dolmen_model/env.mli

%%OCAML_SITELIBDIR%%/dolmen_model/eval.ml

%%OCAML_SITELIBDIR%%/dolmen_model/fp.ml

%%OCAML_SITELIBDIR%%/dolmen_model/fp.mli

%%OCAML_SITELIBDIR%%/dolmen_model/fun.ml

%%OCAML_SITELIBDIR%%/dolmen_model/int.ml

%%OCAML_SITELIBDIR%%/dolmen_model/int.mli

%%OCAML_SITELIBDIR%%/dolmen_model/loop.ml

%%OCAML_SITELIBDIR%%/dolmen_model/model.ml

%%OCAML_SITELIBDIR%%/dolmen_model/model.mli

%%OCAML_SITELIBDIR%%/dolmen_model/opam

%%OCAML_SITELIBDIR%%/dolmen_model/rat.ml

%%OCAML_SITELIBDIR%%/dolmen_model/rat.mli

%%OCAML_SITELIBDIR%%/dolmen_model/real.ml

%%OCAML_SITELIBDIR%%/dolmen_model/real.mli

%%OCAML_SITELIBDIR%%/dolmen_model/value.ml

%%OCAML_SITELIBDIR%%/dolmen_model/value.mli

%%OCAML_SITELIBDIR%%/dolmen_model/dolmen_model.cmxs

%%OCAML_SITELIBDIR%%/dolmen_type/META

%%OCAML_SITELIBDIR%%/dolmen_type/arith.ml

%%OCAML_SITELIBDIR%%/dolmen_type/arith.mli

%%OCAML_SITELIBDIR%%/dolmen_type/arrays.ml

%%OCAML_SITELIBDIR%%/dolmen_type/arrays.mli

%%OCAML_SITELIBDIR%%/dolmen_type/base.ml

%%OCAML_SITELIBDIR%%/dolmen_type/base.mli

%%OCAML_SITELIBDIR%%/dolmen_type/bitv.ml

%%OCAML_SITELIBDIR%%/dolmen_type/bitv.mli

%%OCAML_SITELIBDIR%%/dolmen_type/core.ml

%%OCAML_SITELIBDIR%%/dolmen_type/core.mli

%%OCAML_SITELIBDIR%%/dolmen_type/def.ml

%%OCAML_SITELIBDIR%%/dolmen_type/def.mli

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type.a

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type.cma

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type.cmxa

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type.ml

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Arith.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Arith.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Arith.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Arith.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Arrays.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Arrays.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Arrays.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Arrays.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Base.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Base.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Base.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Base.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Bitv.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Bitv.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Bitv.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Bitv.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Core.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Core.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Core.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Core.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Def.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Def.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Def.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Def.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Float.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Float.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Float.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Float.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Intf.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Intf.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Intf.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Logic.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Logic.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Logic.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Logic.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Misc.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Misc.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Misc.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Misc.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Strings.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Strings.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Strings.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Strings.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Tff.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Tff.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Tff.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Tff.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Tff_intf.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Tff_intf.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Tff_intf.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Thf.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Thf.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Thf.cmti

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Thf.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Thf_intf.cmi

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Thf_intf.cmt

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type__Thf_intf.cmx

%%OCAML_SITELIBDIR%%/dolmen_type/dune-package

%%OCAML_SITELIBDIR%%/dolmen_type/float.ml

%%OCAML_SITELIBDIR%%/dolmen_type/float.mli

%%OCAML_SITELIBDIR%%/dolmen_type/intf.ml

%%OCAML_SITELIBDIR%%/dolmen_type/logic.ml

%%OCAML_SITELIBDIR%%/dolmen_type/logic.mli

%%OCAML_SITELIBDIR%%/dolmen_type/misc.ml

%%OCAML_SITELIBDIR%%/dolmen_type/misc.mli

%%OCAML_SITELIBDIR%%/dolmen_type/opam

%%OCAML_SITELIBDIR%%/dolmen_type/strings.ml

%%OCAML_SITELIBDIR%%/dolmen_type/strings.mli

%%OCAML_SITELIBDIR%%/dolmen_type/tff.ml

%%OCAML_SITELIBDIR%%/dolmen_type/tff.mli

%%OCAML_SITELIBDIR%%/dolmen_type/tff_intf.ml

%%OCAML_SITELIBDIR%%/dolmen_type/thf.ml

%%OCAML_SITELIBDIR%%/dolmen_type/thf.mli

%%OCAML_SITELIBDIR%%/dolmen_type/thf_intf.ml

%%OCAML_SITELIBDIR%%/dolmen_type/dolmen_type.cmxs

%%MANPAGES%%share/man/man1/dolmen.1.gz

PORTNAME=	gen

PORTVERSION=	1.1

DISTVERSIONPREFIX=	v

CATEGORIES=	devel

PKGNAMEPREFIX=	ocaml-

MAINTAINER=	freebsd@dev.thsi.be

COMMENT=	Iterators library for OCaml

WWW=		https://github.com/c-cube/gen

LICENSE=	BSD2CLAUSE

USES=		ocaml:dune

USE_GITHUB=	yes

GH_ACCOUNT=	c-cube

USE_OCAML=	yes

DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}

PORTDOCS=	CHANGELOG.md LICENSE README.md

OPTIONS_DEFINE=	DOCS

SA_DIR=		${LOCALBASE}/${OCAML_SITELIBDIR}

post-patch:

	@${REINPLACE_CMD} \

		-e "s/(libraries seq)//" \

		${WRKSRC}/src/dune

post-install:

	@${STRIP_CMD} \

		${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/gen/gen.cmxs

.include <bsd.port.mk>

TIMESTAMP = 1710613356

SHA256 (c-cube-gen-v1.1_GH0.tar.gz) = 6893bf156bbaa4254ec5ec2ea5fe539030f2395bc5cd83ccb8fe3930cff89cb0

SIZE (c-cube-gen-v1.1_GH0.tar.gz) = 32152

The Gen library for OCaml includes functions to work with transient

and restartable iterators.

%%OCAML_SITELIBDIR%%/gen/GenShims_.ml

%%OCAML_SITELIBDIR%%/gen/META

%%OCAML_SITELIBDIR%%/gen/dune-package

%%OCAML_SITELIBDIR%%/gen/gen.a

%%OCAML_SITELIBDIR%%/gen/gen.cma

%%OCAML_SITELIBDIR%%/gen/gen.cmi

%%OCAML_SITELIBDIR%%/gen/gen.cmt

%%OCAML_SITELIBDIR%%/gen/gen.cmti

%%OCAML_SITELIBDIR%%/gen/gen.cmx

%%OCAML_SITELIBDIR%%/gen/gen.cmxa

%%OCAML_SITELIBDIR%%/gen/gen.cmxs

%%OCAML_SITELIBDIR%%/gen/gen.ml

%%OCAML_SITELIBDIR%%/gen/gen.mli

%%OCAML_SITELIBDIR%%/gen/genClone.cmi

%%OCAML_SITELIBDIR%%/gen/genClone.cmt

%%OCAML_SITELIBDIR%%/gen/genClone.cmti

%%OCAML_SITELIBDIR%%/gen/genClone.cmx

%%OCAML_SITELIBDIR%%/gen/genClone.ml

%%OCAML_SITELIBDIR%%/gen/genClone.mli

%%OCAML_SITELIBDIR%%/gen/genLabels.cmi

%%OCAML_SITELIBDIR%%/gen/genLabels.cmt

%%OCAML_SITELIBDIR%%/gen/genLabels.cmti

%%OCAML_SITELIBDIR%%/gen/genLabels.cmx

%%OCAML_SITELIBDIR%%/gen/genLabels.ml

%%OCAML_SITELIBDIR%%/gen/genLabels.mli

%%OCAML_SITELIBDIR%%/gen/genLabels_intf.cmi

%%OCAML_SITELIBDIR%%/gen/genLabels_intf.cmt

%%OCAML_SITELIBDIR%%/gen/genLabels_intf.cmx

%%OCAML_SITELIBDIR%%/gen/genLabels_intf.ml

%%OCAML_SITELIBDIR%%/gen/genM.cmi

%%OCAML_SITELIBDIR%%/gen/genM.cmt

%%OCAML_SITELIBDIR%%/gen/genM.cmti

%%OCAML_SITELIBDIR%%/gen/genM.cmx

%%OCAML_SITELIBDIR%%/gen/genM.ml

%%OCAML_SITELIBDIR%%/gen/genM.mli

%%OCAML_SITELIBDIR%%/gen/genMList.cmi

%%OCAML_SITELIBDIR%%/gen/genMList.cmt

%%OCAML_SITELIBDIR%%/gen/genMList.cmti

%%OCAML_SITELIBDIR%%/gen/genMList.cmx

%%OCAML_SITELIBDIR%%/gen/genMList.ml

%%OCAML_SITELIBDIR%%/gen/genMList.mli

%%OCAML_SITELIBDIR%%/gen/genM_intf.cmi

%%OCAML_SITELIBDIR%%/gen/genM_intf.cmt

%%OCAML_SITELIBDIR%%/gen/genM_intf.cmx

%%OCAML_SITELIBDIR%%/gen/genM_intf.ml

%%OCAML_SITELIBDIR%%/gen/genShims_.cmi

%%OCAML_SITELIBDIR%%/gen/genShims_.cmt

%%OCAML_SITELIBDIR%%/gen/genShims_.cmx

%%OCAML_SITELIBDIR%%/gen/gen_intf.cmi

%%OCAML_SITELIBDIR%%/gen/gen_intf.cmt

%%OCAML_SITELIBDIR%%/gen/gen_intf.cmx

%%OCAML_SITELIBDIR%%/gen/gen_intf.ml

%%OCAML_SITELIBDIR%%/gen/opam

PORTNAME=	hmap

PORTVERSION=	0.8.1

CATEGORIES=	devel

MASTER_SITES=	https://erratique.ch/software/hmap/releases/

PKGNAMEPREFIX=	ocaml-

MAINTAINER=	freebsd@dev.thsi.be

COMMENT=	Hashmap with heterogeneous values for Objective Caml

WWW=		https://erratique.ch/software/hmap

LICENSE=	ISCL

LICENSE_FILE=	${WRKSRC}/LICENSE.md

BUILD_DEPENDS=	${SA_DIR}/topkg/META:devel/ocaml-topkg \

		ocamlbuild:devel/ocaml-ocamlbuild \

		opam-installer:devel/ocaml-opam

USES=		tar:tbz

USE_OCAML=	yes

DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}

PORTDOCS=	CHANGES.md LICENSE.md README.md

OPTIONS_DEFINE=		DOCS

SA_DIR=		${LOCALBASE}/${OCAML_SITELIBDIR}

do-build:

	@(cd ${BUILD_WRKSRC} && ${SETENVI} ${WRK_ENV} ${MAKE_ENV} \

		ocaml pkg/pkg.ml build \

		--jobs ${MAKE_JOBS_NUMBER})

do-install:

	@(cd ${INSTALL_WRKSRC} && ${SETENVI} ${WRK_ENV} ${MAKE_ENV} \

		opam-installer -i \

		--prefix=${STAGEDIR}${PREFIX} \

		--docdir=${OCAML_DOCSDIR:S,^${PREFIX}/,,} \

		--libdir=${OCAML_SITELIBDIR} ${PORTNAME}.install)

post-install:

	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME}/${PORTNAME}.cmxs

.include <bsd.port.mk>

TIMESTAMP = 1710454773

SHA256 (hmap-0.8.1.tbz) = 6a00db1b12b6f55e1b2419f206fdfbaa669e14b51c78f8ac3cffa0a58897be83

SIZE (hmap-0.8.1.tbz) = 4801

Hmap provides an hashing table datastructure whose values are typed by

the type parameter of the associated (polymorphic) key.

%%OCAML_SITELIBDIR%%/hmap/META

%%OCAML_SITELIBDIR%%/hmap/hmap.a

%%OCAML_SITELIBDIR%%/hmap/hmap.cma

%%OCAML_SITELIBDIR%%/hmap/hmap.cmi

%%OCAML_SITELIBDIR%%/hmap/hmap.cmti

%%OCAML_SITELIBDIR%%/hmap/hmap.cmx

%%OCAML_SITELIBDIR%%/hmap/hmap.cmxa

%%OCAML_SITELIBDIR%%/hmap/hmap.cmxs

%%OCAML_SITELIBDIR%%/hmap/hmap.mli

%%OCAML_SITELIBDIR%%/hmap/opam

PORTNAME=	linol

PORTVERSION=	0.6

DISTVERSIONPREFIX=	v

CATEGORIES=	devel

PKGNAMEPREFIX=	ocaml-

MAINTAINER=	freebsd@dev.thsi.be

COMMENT=	Wrapper for ocaml-lsp and JSON-RPC implementation for Objective Caml

WWW=		https://github.com/c-cube/linol

LICENSE=	MIT

BUILD_DEPENDS=	${SA_DIR}/logs/META:devel/ocaml-logs \

		${SA_DIR}/lsp/META:devel/ocaml-lsp \

		${SA_DIR}/lwt/META:devel/ocaml-lwt \

		${SA_DIR}/ppx_yojson_conv/META:devel/ocaml-ppx_yojson_conv \

		${SA_DIR}/trace/META:devel/ocaml-trace \

		${SA_DIR}/yojson/META:textproc/ocaml-yojson

RUN_DEPENDS=	${SA_DIR}/logs/META:devel/ocaml-logs \

		${SA_DIR}/lsp/META:devel/ocaml-lsp \

		${SA_DIR}/lwt/META:devel/ocaml-lwt \

		${SA_DIR}/ppx_yojson_conv_lib/META:devel/ocaml-ppx_yojson_conv_lib \

		${SA_DIR}/trace/META:devel/ocaml-trace \

		${SA_DIR}/yojson/META:textproc/ocaml-yojson

USES=		ocaml:dune

USE_GITHUB=	yes

GH_ACCOUNT=	c-cube

USE_OCAML=	yes

OCAML_PACKAGES=	${PORTNAME} ${PORTNAME}-lwt

DUNE_INSTALL_TARGETS=	${OCAML_PACKAGES}

DOCSDIR=	${OCAML_DOCSDIR}

PORTDOCS=	${OCAML_PACKAGES:@p@$p/CHANGES.md $p/README.md@}

OPTIONS_DEFINE=	DOCS

SA_DIR=		${LOCALBASE}/${OCAML_SITELIBDIR}

post-install:

	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME}/${PORTNAME}.cmxs

.include <bsd.port.mk>

TIMESTAMP = 1723667760

SHA256 (c-cube-linol-v0.6_GH0.tar.gz) = 99901e56cca5818078a21700911c9e9a4c3b0b5648a64f597d87b5d031596542

SIZE (c-cube-linol-v0.6_GH0.tar.gz) = 15557

--- src/server.ml.orig	2024-05-29 17:37:32 UTC

+++ src/server.ml

@@ -496,7 +496,18 @@ module Make (IO : IO) = struct

           | Lsp.Client_request.CallHierarchyOutgoingCalls _

           | Lsp.Client_request.WillCreateFiles _

           | Lsp.Client_request.WillDeleteFiles _

-          | Lsp.Client_request.WillRenameFiles _ ->

+          | Lsp.Client_request.WillRenameFiles _

+          | Lsp.Client_request.InlayHintResolve _

+          | Lsp.Client_request.TextDocumentDiagnostic _

+          | Lsp.Client_request.TextDocumentInlineCompletion _

+          | Lsp.Client_request.TextDocumentInlineValue _

+          | Lsp.Client_request.TextDocumentPrepareTypeHierarchy _

+          | Lsp.Client_request.TextDocumentRangesFormatting _

+          | Lsp.Client_request.WorkspaceSymbolResolve _

+          | Lsp.Client_request.WorkspaceDiagnostic _

+          | Lsp.Client_request.TypeHierarchySubtypes _

+          | Lsp.Client_request.TypeHierarchySupertypes _

+ ->

             let notify_back =

               new notify_back

                 ~workDoneToken:None ~partialResultToken:None ~notify_back

@@ -666,7 +677,11 @@ module Make (IO : IO) = struct

         | Lsp.Client_notification.DidCreateFiles _

         | Lsp.Client_notification.DidDeleteFiles _

         | Lsp.Client_notification.WorkDoneProgress _

-        | Lsp.Client_notification.DidRenameFiles _ ->

+        | Lsp.Client_notification.DidRenameFiles _

+        | Lsp.Client_notification.NotebookDocumentDidOpen _

+        | Lsp.Client_notification.NotebookDocumentDidChange _

+        | Lsp.Client_notification.NotebookDocumentDidSave _

+        | Lsp.Client_notification.NotebookDocumentDidClose _ ->

           let notify_back =

             new notify_back

               ~workDoneToken:None ~partialResultToken:None ~notify_back

Linol is an OCaml library that provides an object-oriented abstraction

for writing servers, build as a wrapper on top of the OCaml-LSP

library, and lwt/eio-aware JSONRPC implementation.

%%OCAML_SITELIBDIR%%/linol/.private/linol__Log.cmi

%%OCAML_SITELIBDIR%%/linol/.private/linol__Log.cmt

%%OCAML_SITELIBDIR%%/linol/META

%%OCAML_SITELIBDIR%%/linol/blocking_IO.ml

%%OCAML_SITELIBDIR%%/linol/blocking_IO.mli

%%OCAML_SITELIBDIR%%/linol/common_.ml

%%OCAML_SITELIBDIR%%/linol/dune-package

%%OCAML_SITELIBDIR%%/linol/jsonrpc2.ml

%%OCAML_SITELIBDIR%%/linol/jsonrpc2.mli

%%OCAML_SITELIBDIR%%/linol/linol.a

%%OCAML_SITELIBDIR%%/linol/linol.cma

%%OCAML_SITELIBDIR%%/linol/linol.cmi

%%OCAML_SITELIBDIR%%/linol/linol.cmt

%%OCAML_SITELIBDIR%%/linol/linol.cmx

%%OCAML_SITELIBDIR%%/linol/linol.cmxa

%%OCAML_SITELIBDIR%%/linol/linol.ml

%%OCAML_SITELIBDIR%%/linol/linol__.cmi

%%OCAML_SITELIBDIR%%/linol/linol__.cmt

%%OCAML_SITELIBDIR%%/linol/linol__.cmx

%%OCAML_SITELIBDIR%%/linol/linol__.ml

%%OCAML_SITELIBDIR%%/linol/linol__Blocking_IO.cmi

%%OCAML_SITELIBDIR%%/linol/linol__Blocking_IO.cmt

%%OCAML_SITELIBDIR%%/linol/linol__Blocking_IO.cmti

%%OCAML_SITELIBDIR%%/linol/linol__Blocking_IO.cmx

%%OCAML_SITELIBDIR%%/linol/linol__Common_.cmi

%%OCAML_SITELIBDIR%%/linol/linol__Common_.cmt

%%OCAML_SITELIBDIR%%/linol/linol__Common_.cmx

%%OCAML_SITELIBDIR%%/linol/linol__Jsonrpc2.cmi

%%OCAML_SITELIBDIR%%/linol/linol__Jsonrpc2.cmt

%%OCAML_SITELIBDIR%%/linol/linol__Jsonrpc2.cmti

%%OCAML_SITELIBDIR%%/linol/linol__Jsonrpc2.cmx

%%OCAML_SITELIBDIR%%/linol/linol__Log.cmx

%%OCAML_SITELIBDIR%%/linol/linol__Server.cmi

%%OCAML_SITELIBDIR%%/linol/linol__Server.cmt

%%OCAML_SITELIBDIR%%/linol/linol__Server.cmx

%%OCAML_SITELIBDIR%%/linol/linol__Sigs.cmi

%%OCAML_SITELIBDIR%%/linol/linol__Sigs.cmt

%%OCAML_SITELIBDIR%%/linol/linol__Sigs.cmx

%%OCAML_SITELIBDIR%%/linol/log.ml

%%OCAML_SITELIBDIR%%/linol/opam

%%OCAML_SITELIBDIR%%/linol/server.ml

%%OCAML_SITELIBDIR%%/linol/sigs.ml

%%OCAML_SITELIBDIR%%/linol/linol.cmxs

%%OCAML_SITELIBDIR%%/linol-lwt/META

%%OCAML_SITELIBDIR%%/linol-lwt/dune-package

%%OCAML_SITELIBDIR%%/linol-lwt/linol_lwt.a

%%OCAML_SITELIBDIR%%/linol-lwt/linol_lwt.cma

%%OCAML_SITELIBDIR%%/linol-lwt/linol_lwt.cmi

%%OCAML_SITELIBDIR%%/linol-lwt/linol_lwt.cmt

%%OCAML_SITELIBDIR%%/linol-lwt/linol_lwt.cmx

%%OCAML_SITELIBDIR%%/linol-lwt/linol_lwt.cmxa

%%OCAML_SITELIBDIR%%/linol-lwt/linol_lwt.ml

%%OCAML_SITELIBDIR%%/linol-lwt/opam

%%OCAML_SITELIBDIR%%/linol-lwt/linol_lwt.cmxs

PORTNAME=	ocaml-lsp

DISTVERSION=	1.19.0

CATEGORIES=	devel

MAINTAINER=	freebsd@dev.thsi.be

COMMENT=	Library implementing the LSP and JSONRPC protocols in Objective Caml

WWW=		https://github.com/Gbury/dolmen

LICENSE=	ISCL

LICENSE_FILE=	${WRKSRC}/LICENSE.md

BUILD_DEPENDS=	${SA_DIR}/ppx_yojson_conv/META:devel/ocaml-ppx_yojson_conv \

		${SA_DIR}/uutf/META:devel/ocaml-uutf \

		${SA_DIR}/yojson/META:textproc/ocaml-yojson

RUN_DEPENDS=	${SA_DIR}/ppx_yojson_conv_lib/META:devel/ocaml-ppx_yojson_conv_lib \

		${SA_DIR}/uutf/META:devel/ocaml-uutf \

		${SA_DIR}/yojson/META:textproc/ocaml-yojson

USES=		ocaml:dune

USE_GITHUB=	yes

GH_ACCOUNT=	ocaml

USE_OCAML=	yes

OCAML_PACKAGES=		lsp jsonrpc

DUNE_INSTALL_TARGETS=	${OCAML_PACKAGES}

DOCSDIR=	${OCAML_DOCSDIR}

PORTDOCS=	${OCAML_PACKAGES:@p@$p/CHANGES.md $p/LICENSE.md $p/README.md@}

OPTIONS_DEFINE=	DOCS LSPSERVER

LSPSERVER_DESC=	Include ocaml-lsp-server

LSPSERVER_VARS=	ocaml_packages+=ocaml-lsp-server

LSPSERVER_BROKEN=	needs ocamc-loc

SA_DIR=		${LOCALBASE}/${OCAML_SITELIBDIR}

post-patch:

	@${REINPLACE_CMD} \

		-e "s/(name lsp)/&\n(version ${DISTVERSION})/" \

		${WRKSRC}/dune-project

post-install:

	@${STRIP_CMD} \

		${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/jsonrpc/jsonrpc.cmxs \

		${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/lsp/lsp.cmxs

.include <bsd.port.mk>

TIMESTAMP = 1723594986

SHA256 (ocaml-ocaml-lsp-1.19.0_GH0.tar.gz) = cf6cf37e1f2b79236ee87f47605e9b2141c9ea9e0fa490fe203a8afaf19e7b80

SIZE (ocaml-ocaml-lsp-1.19.0_GH0.tar.gz) = 916311

Ocaml-LSP provides a modern implementation of the Language Server

Protocol for the OCaml language.

This project includes the jsonrpc library for Objective Caml, an

implementation of JSONRPC.

%%OCAML_SITELIBDIR%%/jsonrpc/META

%%OCAML_SITELIBDIR%%/jsonrpc/dune-package

%%OCAML_SITELIBDIR%%/jsonrpc/import.ml

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.a

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.cma

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.cmi

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.cmt

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.cmti

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.cmx

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.cmxa

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.cmxs

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.ml

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc.mli

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc__.cmi

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc__.cmt

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc__.cmx

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc__.ml

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc__Import.cmi

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc__Import.cmt

%%OCAML_SITELIBDIR%%/jsonrpc/jsonrpc__Import.cmx

%%OCAML_SITELIBDIR%%/jsonrpc/opam

%%OCAML_SITELIBDIR%%/lsp/META

%%OCAML_SITELIBDIR%%/lsp/array_view.ml

%%OCAML_SITELIBDIR%%/lsp/array_view.mli

%%OCAML_SITELIBDIR%%/lsp/cancel_request.ml

%%OCAML_SITELIBDIR%%/lsp/cancel_request.mli

%%OCAML_SITELIBDIR%%/lsp/cli.ml

%%OCAML_SITELIBDIR%%/lsp/cli.mli

%%OCAML_SITELIBDIR%%/lsp/client_notification.ml

%%OCAML_SITELIBDIR%%/lsp/client_notification.mli

%%OCAML_SITELIBDIR%%/lsp/client_request.ml

%%OCAML_SITELIBDIR%%/lsp/client_request.mli

%%OCAML_SITELIBDIR%%/lsp/diff.ml

%%OCAML_SITELIBDIR%%/lsp/diff.mli

%%OCAML_SITELIBDIR%%/lsp/dune-package

%%OCAML_SITELIBDIR%%/lsp/extension.ml

%%OCAML_SITELIBDIR%%/lsp/extension.mli

%%OCAML_SITELIBDIR%%/lsp/header.ml

%%OCAML_SITELIBDIR%%/lsp/header.mli

%%OCAML_SITELIBDIR%%/lsp/import.ml

%%OCAML_SITELIBDIR%%/lsp/io.ml

%%OCAML_SITELIBDIR%%/lsp/io.mli

%%OCAML_SITELIBDIR%%/lsp/lsp.a

%%OCAML_SITELIBDIR%%/lsp/lsp.cma

%%OCAML_SITELIBDIR%%/lsp/lsp.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp.cmxa

%%OCAML_SITELIBDIR%%/lsp/lsp.cmxs

%%OCAML_SITELIBDIR%%/lsp/lsp.ml

%%OCAML_SITELIBDIR%%/lsp/lsp__.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__.ml

%%OCAML_SITELIBDIR%%/lsp/lsp__Array_view.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Array_view.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Array_view.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Array_view.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Cancel_request.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Cancel_request.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Cancel_request.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Cancel_request.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Cli.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Cli.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Cli.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Cli.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Client_notification.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Client_notification.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Client_notification.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Client_notification.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Client_request.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Client_request.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Client_request.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Client_request.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Diff.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Diff.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Diff.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Diff.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Extension.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Extension.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Extension.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Extension.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Header.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Header.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Header.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Header.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Import.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Import.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Import.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Io.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Io.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Io.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Io.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Position.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Position.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Position.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Progress.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Progress.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Progress.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Progress.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Server_notification.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Server_notification.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Server_notification.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Server_notification.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Server_request.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Server_request.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Server_request.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Server_request.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Snippet.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Snippet.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Snippet.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Snippet.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__String_zipper.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__String_zipper.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__String_zipper.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__String_zipper.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Substring.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Substring.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Substring.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Substring.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Text_document.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Text_document.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Text_document.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Text_document.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Types.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Types.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Types.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Types.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Uri0.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Uri0.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Uri0.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Uri0.cmx

%%OCAML_SITELIBDIR%%/lsp/lsp__Uri_lexer.cmi

%%OCAML_SITELIBDIR%%/lsp/lsp__Uri_lexer.cmt

%%OCAML_SITELIBDIR%%/lsp/lsp__Uri_lexer.cmti

%%OCAML_SITELIBDIR%%/lsp/lsp__Uri_lexer.cmx

%%OCAML_SITELIBDIR%%/lsp/opam

%%OCAML_SITELIBDIR%%/lsp/position.ml

%%OCAML_SITELIBDIR%%/lsp/progress.ml

%%OCAML_SITELIBDIR%%/lsp/progress.mli

%%OCAML_SITELIBDIR%%/lsp/server_notification.ml

%%OCAML_SITELIBDIR%%/lsp/server_notification.mli

%%OCAML_SITELIBDIR%%/lsp/server_request.ml

%%OCAML_SITELIBDIR%%/lsp/server_request.mli

%%OCAML_SITELIBDIR%%/lsp/snippet.ml

%%OCAML_SITELIBDIR%%/lsp/snippet.mli

%%OCAML_SITELIBDIR%%/lsp/string_zipper.ml

%%OCAML_SITELIBDIR%%/lsp/string_zipper.mli

%%OCAML_SITELIBDIR%%/lsp/substring.ml

%%OCAML_SITELIBDIR%%/lsp/substring.mli

%%OCAML_SITELIBDIR%%/lsp/text_document.ml

%%OCAML_SITELIBDIR%%/lsp/text_document.mli

%%OCAML_SITELIBDIR%%/lsp/types.ml

%%OCAML_SITELIBDIR%%/lsp/types.mli

%%OCAML_SITELIBDIR%%/lsp/uri0.ml

%%OCAML_SITELIBDIR%%/lsp/uri0.mli

%%OCAML_SITELIBDIR%%/lsp/uri_lexer.ml

%%OCAML_SITELIBDIR%%/lsp/uri_lexer.mli

PORTNAME=	octavius

DISTVERSIONPREFIX=	v

DISTVERSION=	1.2.2

CATEGORIES=	devel

PKGNAMEPREFIX=	ocaml-

MAINTAINER=	freebsd@dev.thsi.be

COMMENT=	Library to parse ocamldoc comment for OCaml

WWW=		https://ocaml-doc.github.io/octavius/

LICENSE=	ISCL

LICENSE_FILE=	${WRKSRC}/LICENSE.md

USES=		ocaml:dune

USE_GITHUB=	yes

GH_ACCOUNT=	ocaml-doc

USE_OCAML=	yes

OPTIONS_DEFINE=	DOCS

DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}

PORTDOCS=	CHANGES.md LICENSE.md README.md

OPTIONS_DEFINE=	DOCS

SA_DIR=		${LOCALBASE}/${OCAML_SITELIBDIR}

post-patch:

	@${REINPLACE_CMD} \

		-e "s/(lang dune 1.11)/(lang dune 2.5)/" \

		-e "/(lang dune/,/(package/s/(name ${PORTNAME})/&\n(version ${DISTVERSION})/" \

		${WRKSRC}/dune-project

post-install:

	@${STRIP_CMD} \

		${STAGEDIR}${PREFIX}/bin/octavius \

		${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME}/${PORTNAME}.cmxs

.include <bsd.port.mk>

TIMESTAMP = 1723639904

SHA256 (ocaml-doc-octavius-v1.2.2_GH0.tar.gz) = eac9104ce0316b69da9c44b9c477700fe0b52a888c89ce4bdf1d2b782a73e0ad

SIZE (ocaml-doc-octavius-v1.2.2_GH0.tar.gz) = 14910

Octavius provides a library and a binary to parse OCaml code comments

following the syntax used by the OCaml documentation generator,

also known as ocamldoc.

bin/octavius

%%OCAML_SITELIBDIR%%/octavius/META

%%OCAML_SITELIBDIR%%/octavius/common.ml

%%OCAML_SITELIBDIR%%/octavius/common.mli

%%OCAML_SITELIBDIR%%/octavius/dune-package

%%OCAML_SITELIBDIR%%/octavius/errors.ml

%%OCAML_SITELIBDIR%%/octavius/errors.mli

%%OCAML_SITELIBDIR%%/octavius/octLexer.ml

%%OCAML_SITELIBDIR%%/octavius/octLexer.mli

%%OCAML_SITELIBDIR%%/octavius/octParser.ml

%%OCAML_SITELIBDIR%%/octavius/octParser.mli

%%OCAML_SITELIBDIR%%/octavius/octavius.a

%%OCAML_SITELIBDIR%%/octavius/octavius.cma

%%OCAML_SITELIBDIR%%/octavius/octavius.cmi

%%OCAML_SITELIBDIR%%/octavius/octavius.cmt

%%OCAML_SITELIBDIR%%/octavius/octavius.cmti

%%OCAML_SITELIBDIR%%/octavius/octavius.cmx

%%OCAML_SITELIBDIR%%/octavius/octavius.cmxa

%%OCAML_SITELIBDIR%%/octavius/octavius.ml

%%OCAML_SITELIBDIR%%/octavius/octavius.mli

%%OCAML_SITELIBDIR%%/octavius/octavius__.cmi

%%OCAML_SITELIBDIR%%/octavius/octavius__.cmt

%%OCAML_SITELIBDIR%%/octavius/octavius__.cmx

%%OCAML_SITELIBDIR%%/octavius/octavius__.ml

%%OCAML_SITELIBDIR%%/octavius/octavius__Common.cmi

%%OCAML_SITELIBDIR%%/octavius/octavius__Common.cmt

%%OCAML_SITELIBDIR%%/octavius/octavius__Common.cmti

%%OCAML_SITELIBDIR%%/octavius/octavius__Common.cmx

%%OCAML_SITELIBDIR%%/octavius/octavius__Errors.cmi

%%OCAML_SITELIBDIR%%/octavius/octavius__Errors.cmt

%%OCAML_SITELIBDIR%%/octavius/octavius__Errors.cmti

%%OCAML_SITELIBDIR%%/octavius/octavius__Errors.cmx

%%OCAML_SITELIBDIR%%/octavius/octavius__OctLexer.cmi

%%OCAML_SITELIBDIR%%/octavius/octavius__OctLexer.cmt

%%OCAML_SITELIBDIR%%/octavius/octavius__OctLexer.cmti

%%OCAML_SITELIBDIR%%/octavius/octavius__OctLexer.cmx

%%OCAML_SITELIBDIR%%/octavius/octavius__OctParser.cmi

%%OCAML_SITELIBDIR%%/octavius/octavius__OctParser.cmt

%%OCAML_SITELIBDIR%%/octavius/octavius__OctParser.cmti

%%OCAML_SITELIBDIR%%/octavius/octavius__OctParser.cmx

%%OCAML_SITELIBDIR%%/octavius/octavius__Print.cmi

%%OCAML_SITELIBDIR%%/octavius/octavius__Print.cmt

%%OCAML_SITELIBDIR%%/octavius/octavius__Print.cmti

%%OCAML_SITELIBDIR%%/octavius/octavius__Print.cmx

%%OCAML_SITELIBDIR%%/octavius/octavius__Types.cmi

%%OCAML_SITELIBDIR%%/octavius/octavius__Types.cmt

%%OCAML_SITELIBDIR%%/octavius/octavius__Types.cmx

%%OCAML_SITELIBDIR%%/octavius/opam

%%OCAML_SITELIBDIR%%/octavius/print.ml

%%OCAML_SITELIBDIR%%/octavius/print.mli

%%OCAML_SITELIBDIR%%/octavius/types.ml

%%OCAML_SITELIBDIR%%/octavius/octavius.cmxs

PORTNAME=	pp_loc

DISTVERSIONPREFIX=	v

DISTVERSION=	2.1.0

CATEGORIES=	devel

PKGNAMEPREFIX=	ocaml-

MAINTAINER=	freebsd@dev.thsi.be

COMMENT=	Library for pretty-printing an error in Objective Caml

WWW=		https://armael.github.io/pp_loc/pp_loc/

LICENSE=	MIT

LICENSE_FILE=	${WRKSRC}/LICENSE

USES=		ocaml:dune

USE_GITHUB=	yes

GH_ACCOUNT=	Armael

USE_OCAML=	yes

OPTIONS_DEFINE=	DOCS

DOCSDIR=	${OCAML_DOCSDIR}/${PORTNAME}

PORTDOCS=	CHANGES LICENSE README.md

OPTIONS_DEFINE=	DOCS

post-install:

	@${STRIP_CMD} \

		${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/${PORTNAME}/${PORTNAME}.cmxs

.include <bsd.port.mk>

TIMESTAMP = 1723665410

SHA256 (Armael-pp_loc-v2.1.0_GH0.tar.gz) = b6c3d9f3009b4d2566899a14acef24811ee9d81341c67cccf83d354dc5879350

SIZE (Armael-pp_loc-v2.1.0_GH0.tar.gz) = 11000

This OCaml library allows to format the location, of an error e.g., in

a source file. The source of the error will be highlighted,

differently if the location, or set there-of, spans multiple

lines. This library was originally extracted from the sources of the

OCaml compiler version 4.08.

%%OCAML_SITELIBDIR%%/pp_loc/.private/pp_loc__Line_offsets.cmi

%%OCAML_SITELIBDIR%%/pp_loc/.private/pp_loc__Line_offsets.cmt

%%OCAML_SITELIBDIR%%/pp_loc/.private/pp_loc__Line_offsets.cmti

%%OCAML_SITELIBDIR%%/pp_loc/META

%%OCAML_SITELIBDIR%%/pp_loc/dune-package

%%OCAML_SITELIBDIR%%/pp_loc/line_offsets.ml

%%OCAML_SITELIBDIR%%/pp_loc/line_offsets.mli

%%OCAML_SITELIBDIR%%/pp_loc/opam

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.a

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.cma

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.cmi

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.cmt

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.cmti

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.cmx

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.cmxa

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.cmxs

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.ml

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc.mli

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc__.cmi

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc__.cmt

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc__.cmx

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc__.ml

%%OCAML_SITELIBDIR%%/pp_loc/pp_loc__Line_offsets.cmx

PORTNAME=	ppx_blob

DISTVERSION=	0.9.0

CATEGORIES=	devel

PKGNAMEPREFIX=	ocaml-