From nobody Tue Oct 08 12:57:06 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4XNGJ23SCqz5ZPS9; Tue, 08 Oct 2024 12:57:06 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4XNGJ236y4z4frP; Tue, 8 Oct 2024 12:57:06 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1728392226; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=1szkkSq2SyGSqf9kNtpb6wwmRuuSmOWipHeCiFi3omE=; b=gh958emVscn7YcQUfup6PzAtbqju2vDJABkQSYCZtt5w1QPty41906SSCr0KUIudRm8Hme 5LgRUwpsRT/9aQLGdTKEofT7QKyA1SApi/paQvTayM6ur5GeC6MyN/UhTVKg1JZWQtAEyH aFXm8+tViPm01LeKQWXZdCNJG6jLpp1YYuFIlcY6mBRHlZP1DyOhYzBOR5AsKh+tyJs+g8 /oEVpt8D+84gbeprRpHaIqopT3HG6ReO72I37RJMZnDJ/5kIneDEVfe+5asXIypRX/m8dW TynQpZfYrralgNdS6LVdELz0+qHzRXwehvJEKJwH2CAKsHNQULSHIbWQpNHjgQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1728392226; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=1szkkSq2SyGSqf9kNtpb6wwmRuuSmOWipHeCiFi3omE=; b=Yok6w08w99xaYj0K8vUgCmBMeXpaFLXBt2teH6U5tCpWQerZ1wZdr6oerYK6ZgLhndAEFW xoUhShqUsDJbZx+H7q3XsDIlZhVA7fNP+pMCWMcQt77nAGpWgr+5dUAdMKGlY30ocLx+XY rsnly33OvjcFovKBuJox1ux7oltqNOAMu3481INk0nemFPRjrIu5c76fEILp93tG1NDM1K TbAIwjN5a6ibmrU9KhxO8p2SaGc1DxWQDol+BuuYHvhgjEKmFtqPaoodVRChtX9LRQZTLE kBuCsISn7yJGgaCe5S6ehjOUE8DXKFynFTxKChbtGvT4YZ1A8ypRdPAeaZjMZQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1728392226; a=rsa-sha256; cv=none; b=TYdTQi9K2Av9VGLNTAvXWKqFi8ol9odyKC+fOrWan16SdVmSAuDVAbslssjLWo9uT5ubSU 2X1kBk3atKsADZOCl/mTM92x6qDNLbTwY7Qd4NBf10aHblvgMJ6qZV77iLhxILTTvdyceB Gfn6ZpKeL0grtH1HIt5OXSvdZswascC1OE1PPLZxv3sIwBG5djjf9Sz8P+/Yqqh3SXrcwF wLvNvB5EyaLZrUu6/tt+C78CBeo8Avv/Op34fPIVSe38v6wn+Q89dCZR8n3IUXH/0/PO1F vgz+gvHNgzL0tODu5NI/Eq+f3kI4mdwP4WW4LAx+nBX1zroLTWza7PUFekhAfQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4XNGJ22WTVzWTt; Tue, 8 Oct 2024 12:57:06 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 498Cv6uI047893; Tue, 8 Oct 2024 12:57:06 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 498Cv63W047890; Tue, 8 Oct 2024 12:57:06 GMT (envelope-from git) Date: Tue, 8 Oct 2024 12:57:06 GMT Message-Id: <202410081257.498Cv63W047890@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Zsolt Udvari Subject: git: d9c44a62acbf - main - math/alt-ergo: Update to 2.5.4, many new ports List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: uzsolt X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9 Auto-Submitted: auto-generated The branch main has been updated by uzsolt: URL: https://cgit.FreeBSD.org/ports/commit/?id=d9c44a62acbfe6ed3268bdf1e3f34e089756ada9 commit d9c44a62acbfe6ed3268bdf1e3f34e089756ada9 Author: Benjamin Jacobs AuthorDate: 2024-10-08 12:44:36 +0000 Commit: Zsolt Udvari CommitDate: 2024-10-08 12:56:48 +0000 math/alt-ergo: Update to 2.5.4, many new ports Replace GNU configure to dune builds system. Add do-test target. Submitter takes maintainership. Update WWW. Switch to DISTVERSION. The last update of alt-ergo in ports tree was about 10 years ago, the newest version requires many new libraries in ports tree. New ports: devel/ocaml-dolmen devel/ocaml-gen devel/ocaml-hmap devel/ocaml-linol devel/ocaml-lsp devel/ocaml-octavius devel/ocaml-pp_loc devel/ocaml-ppx_blob devel/ocaml-ppx_compare devel/ocaml-ppx_deriving devel/ocaml-ppx_hash devel/ocaml-ppx_js_style devel/ocaml-ppx_yojson_conv devel/ocaml-ppx_yojson_conv_lib devel/ocaml-psmt2-frontend devel/ocaml-trace math/ocaml-farith math/ocaml-ocplib-simplex textproc/ocaml-spelll PR: 279337 --- devel/Makefile | 16 + devel/ocaml-dolmen/Makefile | 95 +++ devel/ocaml-dolmen/distinfo | 3 + devel/ocaml-dolmen/files/patch-src_bin_main.ml | 36 + devel/ocaml-dolmen/files/patch-src_lsp_main.ml | 11 + devel/ocaml-dolmen/files/patch-src_lsp_server.ml | 27 + devel/ocaml-dolmen/files/patch-src_lsp_state.ml | 20 + devel/ocaml-dolmen/pkg-descr | 7 + devel/ocaml-dolmen/pkg-plist | 867 +++++++++++++++++++++ devel/ocaml-gen/Makefile | 34 + devel/ocaml-gen/distinfo | 3 + devel/ocaml-gen/pkg-descr | 2 + devel/ocaml-gen/pkg-plist | 53 ++ devel/ocaml-hmap/Makefile | 43 + devel/ocaml-hmap/distinfo | 3 + devel/ocaml-hmap/pkg-descr | 2 + devel/ocaml-hmap/pkg-plist | 10 + devel/ocaml-linol/Makefile | 43 + devel/ocaml-linol/distinfo | 3 + devel/ocaml-linol/files/patch-src_server.ml | 35 + devel/ocaml-linol/pkg-descr | 3 + devel/ocaml-linol/pkg-plist | 54 ++ devel/ocaml-lsp/Makefile | 47 ++ devel/ocaml-lsp/distinfo | 3 + devel/ocaml-lsp/pkg-descr | 5 + devel/ocaml-lsp/pkg-plist | 158 ++++ devel/ocaml-ocplib-endian/Makefile | 2 +- devel/ocaml-octavius/Makefile | 37 + devel/ocaml-octavius/distinfo | 3 + devel/ocaml-octavius/pkg-descr | 3 + devel/ocaml-octavius/pkg-plist | 52 ++ devel/ocaml-pp_loc/Makefile | 28 + devel/ocaml-pp_loc/distinfo | 3 + devel/ocaml-pp_loc/pkg-descr | 5 + devel/ocaml-pp_loc/pkg-plist | 23 + devel/ocaml-ppx_blob/Makefile | 40 + devel/ocaml-ppx_blob/distinfo | 3 + devel/ocaml-ppx_blob/pkg-descr | 2 + devel/ocaml-ppx_blob/pkg-plist | 12 + devel/ocaml-ppx_compare/Makefile | 38 + devel/ocaml-ppx_compare/distinfo | 3 + devel/ocaml-ppx_compare/pkg-descr | 5 + devel/ocaml-ppx_compare/pkg-plist | 39 + devel/ocaml-ppx_deriving/Makefile | 45 ++ devel/ocaml-ppx_deriving/distinfo | 3 + devel/ocaml-ppx_deriving/pkg-descr | 3 + devel/ocaml-ppx_deriving/pkg-plist | 104 +++ devel/ocaml-ppx_hash/Makefile | 42 + devel/ocaml-ppx_hash/distinfo | 3 + devel/ocaml-ppx_hash/pkg-descr | 5 + devel/ocaml-ppx_hash/pkg-plist | 31 + devel/ocaml-ppx_js_style/Makefile | 38 + devel/ocaml-ppx_js_style/distinfo | 3 + devel/ocaml-ppx_js_style/pkg-descr | 3 + devel/ocaml-ppx_js_style/pkg-plist | 14 + devel/ocaml-ppx_yojson_conv/Makefile | 48 ++ devel/ocaml-ppx_yojson_conv/distinfo | 3 + devel/ocaml-ppx_yojson_conv/pkg-descr | 4 + devel/ocaml-ppx_yojson_conv/pkg-plist | 39 + devel/ocaml-ppx_yojson_conv_lib/Makefile | 38 + devel/ocaml-ppx_yojson_conv_lib/distinfo | 3 + devel/ocaml-ppx_yojson_conv_lib/pkg-descr | 2 + devel/ocaml-ppx_yojson_conv_lib/pkg-plist | 29 + devel/ocaml-psmt2-frontend/Makefile | 31 + devel/ocaml-psmt2-frontend/distinfo | 3 + devel/ocaml-psmt2-frontend/pkg-descr | 3 + devel/ocaml-psmt2-frontend/pkg-plist | 69 ++ devel/ocaml-trace/Makefile | 47 ++ devel/ocaml-trace/distinfo | 3 + devel/ocaml-trace/pkg-descr | 13 + devel/ocaml-trace/pkg-plist | 96 +++ math/Makefile | 2 + math/alt-ergo/Makefile | 85 +- math/alt-ergo/distinfo | 5 +- .../files/patch-src_bin_common_parse__command.ml | 190 +++++ math/alt-ergo/pkg-plist | 563 ++++++++++++- math/ocaml-farith/Makefile | 40 + math/ocaml-farith/distinfo | 3 + math/ocaml-farith/pkg-descr | 2 + math/ocaml-farith/pkg-plist | 171 ++++ math/ocaml-ocplib-simplex/Makefile | 43 + math/ocaml-ocplib-simplex/distinfo | 3 + math/ocaml-ocplib-simplex/pkg-descr | 4 + math/ocaml-ocplib-simplex/pkg-plist | 65 ++ textproc/Makefile | 1 + textproc/ocaml-spelll/Makefile | 35 + textproc/ocaml-spelll/distinfo | 3 + textproc/ocaml-spelll/pkg-descr | 8 + textproc/ocaml-spelll/pkg-plist | 13 + 89 files changed, 3807 insertions(+), 35 deletions(-) diff --git a/devel/Makefile b/devel/Makefile index 96bdbd729db7..a5607a0e5ee1 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1747,20 +1747,26 @@ SUBDIR += ocaml-csexp SUBDIR += ocaml-cstruct SUBDIR += ocaml-curses + SUBDIR += ocaml-dolmen SUBDIR += ocaml-domain-name SUBDIR += ocaml-dune SUBDIR += ocaml-extlib SUBDIR += ocaml-findlib SUBDIR += ocaml-fmt SUBDIR += ocaml-fpath + SUBDIR += ocaml-gen + SUBDIR += ocaml-hmap SUBDIR += ocaml-ipaddr SUBDIR += ocaml-lacaml + SUBDIR += ocaml-linol SUBDIR += ocaml-logs + SUBDIR += ocaml-lsp SUBDIR += ocaml-lwt SUBDIR += ocaml-magic SUBDIR += ocaml-mtime SUBDIR += ocaml-ocamlbuild SUBDIR += ocaml-ocplib-endian + SUBDIR += ocaml-octavius SUBDIR += ocaml-opam SUBDIR += ocaml-ounit SUBDIR += ocaml-parmap @@ -1768,10 +1774,19 @@ SUBDIR += ocaml-pcre SUBDIR += ocaml-pcre2 SUBDIR += ocaml-pomap + SUBDIR += ocaml-pp_loc SUBDIR += ocaml-ppx-tools + SUBDIR += ocaml-ppx_blob + SUBDIR += ocaml-ppx_compare SUBDIR += ocaml-ppx_derivers + SUBDIR += ocaml-ppx_deriving + SUBDIR += ocaml-ppx_hash + SUBDIR += ocaml-ppx_js_style SUBDIR += ocaml-ppx_sexp_conv + SUBDIR += ocaml-ppx_yojson_conv + SUBDIR += ocaml-ppx_yojson_conv_lib SUBDIR += ocaml-ppxlib + SUBDIR += ocaml-psmt2-frontend SUBDIR += ocaml-re SUBDIR += ocaml-react SUBDIR += ocaml-res @@ -1784,6 +1799,7 @@ SUBDIR += ocaml-sexplib0 SUBDIR += ocaml-stdio SUBDIR += ocaml-topkg + SUBDIR += ocaml-trace SUBDIR += ocaml-type_conv SUBDIR += ocaml-uchar SUBDIR += ocaml-ulex diff --git a/devel/ocaml-dolmen/Makefile b/devel/ocaml-dolmen/Makefile new file mode 100644 index 000000000000..be0f524d1956 --- /dev/null +++ b/devel/ocaml-dolmen/Makefile @@ -0,0 +1,95 @@ +PORTNAME= dolmen +DISTVERSIONPREFIX= v +DISTVERSION= 0.9 +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}/logs/META:devel/ocaml-logs \ + ${SA_DIR}/lsp/META:devel/ocaml-lsp \ + ${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= libev.so:devel/libev \ + libgmp.so:math/gmp +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}/logs/META:devel/ocaml-logs \ + ${SA_DIR}/lsp/META:devel/ocaml-lsp \ + ${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 diff --git a/devel/ocaml-dolmen/distinfo b/devel/ocaml-dolmen/distinfo new file mode 100644 index 000000000000..44a592c1ff23 --- /dev/null +++ b/devel/ocaml-dolmen/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1723760391 +SHA256 (Gbury-dolmen-v0.9_GH0.tar.gz) = b1d00c0b969ea4e7c8d14ef0854303daebe60e796562d67b510a7783841aa967 +SIZE (Gbury-dolmen-v0.9_GH0.tar.gz) = 1150826 diff --git a/devel/ocaml-dolmen/files/patch-src_bin_main.ml b/devel/ocaml-dolmen/files/patch-src_bin_main.ml new file mode 100644 index 000000000000..7220993b0084 --- /dev/null +++ b/devel/ocaml-dolmen/files/patch-src_bin_main.ml @@ -0,0 +1,36 @@ +--- 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 diff --git a/devel/ocaml-dolmen/files/patch-src_lsp_main.ml b/devel/ocaml-dolmen/files/patch-src_lsp_main.ml new file mode 100644 index 000000000000..8d26baf58bfb --- /dev/null +++ b/devel/ocaml-dolmen/files/patch-src_lsp_main.ml @@ -0,0 +1,11 @@ +--- 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 + | () -> () diff --git a/devel/ocaml-dolmen/files/patch-src_lsp_server.ml b/devel/ocaml-dolmen/files/patch-src_lsp_server.ml new file mode 100644 index 000000000000..76c950e2854a --- /dev/null +++ b/devel/ocaml-dolmen/files/patch-src_lsp_server.ml @@ -0,0 +1,27 @@ +--- 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 diff --git a/devel/ocaml-dolmen/files/patch-src_lsp_state.ml b/devel/ocaml-dolmen/files/patch-src_lsp_state.ml new file mode 100644 index 000000000000..857f64b34d69 --- /dev/null +++ b/devel/ocaml-dolmen/files/patch-src_lsp_state.ml @@ -0,0 +1,20 @@ +--- 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) + diff --git a/devel/ocaml-dolmen/pkg-descr b/devel/ocaml-dolmen/pkg-descr new file mode 100644 index 000000000000..29e71972e925 --- /dev/null +++ b/devel/ocaml-dolmen/pkg-descr @@ -0,0 +1,7 @@ +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. diff --git a/devel/ocaml-dolmen/pkg-plist b/devel/ocaml-dolmen/pkg-plist new file mode 100644 index 000000000000..b68f9abf339a --- /dev/null +++ b/devel/ocaml-dolmen/pkg-plist @@ -0,0 +1,867 @@ +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 *** 3592 LINES SKIPPED ***