devel/ocaml-dolmen 0.9_2 FreeBSD

Library for writing deduction and logic languages in Objective Caml

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: BSD2CLAUSE
Categories: devel
Package size: 34079.5 KiB, 137575.1 KiB installed

Description

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.

In the other systems

System

Port

Version

FreeBSD

devel/ocaml-dolmen

0.9_2

DragonFly

devel/ocaml-dolmen

0.9_2

GhostBSD

devel/ocaml-dolmen

0.9_2

Install

Binary package:

pkg install ocaml-dolmen

From the ports tree:

cd /usr/ports/devel/ocaml-dolmen/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	ocaml-dolmen>0:devel/ocaml-dolmen

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository

aarch64

amd64

armv6

armv7

i386

FreeBSD:14:latest

0.9_2

FreeBSD:14:quarterly

0.9_2

n/a

0.9_2

FreeBSD:15:latest

0.9_2

n/a

0.9_2

FreeBSD:15:quarterly

0.9_2

n/a

FreeBSD:16:latest

0.9_2

n/a

FreeBSD:16:quarterly

n/a

Dependencies

As this port's Makefile names them.

Build 13

${LOCALBASE}/bin/menhir : devel/menhir
${LOCALBASE}/${OCAML_SITELIBDIR}/farith/META : math/ocaml-farith
${LOCALBASE}/${OCAML_SITELIBDIR}/fmt/META : devel/ocaml-fmt
${LOCALBASE}/${OCAML_SITELIBDIR}/gen/META : devel/ocaml-gen
${LOCALBASE}/${OCAML_SITELIBDIR}/linol/META : devel/ocaml-linol
${LOCALBASE}/${OCAML_SITELIBDIR}/logs/META : devel/ocaml-logs
${LOCALBASE}/${OCAML_SITELIBDIR}/lsp/META : devel/ocaml-lsp
${LOCALBASE}/${OCAML_SITELIBDIR}/pp_loc/META : devel/ocaml-pp_loc
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_deriving/META : devel/ocaml-ppx_deriving
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_hash/META : devel/ocaml-ppx_hash
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_yojson_conv/META : devel/ocaml-ppx_yojson_conv
${LOCALBASE}/${OCAML_SITELIBDIR}/spelll/META : textproc/ocaml-spelll
${LOCALBASE}/${OCAML_SITELIBDIR}/uutf/META : devel/ocaml-uutf

Library 2

libev.so : devel/libev
libgmp.so : math/gmp

Runtime 13

${LOCALBASE}/${OCAML_SITELIBDIR}/farith/META : math/ocaml-farith
${LOCALBASE}/${OCAML_SITELIBDIR}/fmt/META : devel/ocaml-fmt
${LOCALBASE}/${OCAML_SITELIBDIR}/gen/META : devel/ocaml-gen
${LOCALBASE}/${OCAML_SITELIBDIR}/linol/META : devel/ocaml-linol
${LOCALBASE}/${OCAML_SITELIBDIR}/logs/META : devel/ocaml-logs
${LOCALBASE}/${OCAML_SITELIBDIR}/lsp/META : devel/ocaml-lsp
${LOCALBASE}/${OCAML_SITELIBDIR}/menhirLib/META : devel/menhir
${LOCALBASE}/${OCAML_SITELIBDIR}/pp_loc/META : devel/ocaml-pp_loc
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_deriving/META : devel/ocaml-ppx_deriving
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_hash/META : devel/ocaml-ppx_hash
${LOCALBASE}/${OCAML_SITELIBDIR}/ppx_yojson_conv_lib/META : devel/ocaml-ppx_yojson_conv_lib
${LOCALBASE}/${OCAML_SITELIBDIR}/spelll/META : textproc/ocaml-spelll
${LOCALBASE}/${OCAML_SITELIBDIR}/uutf/META : devel/ocaml-uutf

The full lists below include those, and their dependencies in turn.

Build dependencies 55

Run dependencies 53

Required by 1

math/alt-ergo

Configuration

Options name: devel_dolmen

Option

Default

Description

DOCS

off

Build and/or install documentation

MANPAGES

off

Build and/or install manual pages

USES: ocaml:dune
Service scripts: none

Files

Manual pages 1

dolmen(1)

pkg-plist 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

The first 100 are listed.

distinfo 1

File

Size

SHA256

Gbury-dolmen-v0.9_GH0.tar.gz

1.150826e+06

b1d00c0b969ea4e7c8d14ef0854303daebe60e796562d67b510a7783841aa967

Commit history 0

No commits in the history this site was built from.