devel/ocaml-dolmen 0.9_2 DragonFly

Library for writing deduction and logic languages in Objective Caml

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
License: BSD2CLAUSE
Categories: devel
Package size: 25467.6 KiB, 133836.2 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

The newest version among them is 0.9, as upstream numbers it.

System

Port

Version

Vulnerabilities

Status

Maintainer

Last update

DragonFly

devel/ocaml-dolmen

0.9_2 newest

none known

[email protected]

FreeBSD

devel/ocaml-dolmen

0.9_2 newest

none known

[email protected]

GhostBSD

devel/ocaml-dolmen

0.9_2 newest

no data

[email protected]

Install

Binary package:

pkg install ocaml-dolmen

From DPorts:

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

Dependency graph

Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.

graph LR
  me["devel/ocaml-dolmen"]
  u0["math/alt-ergo"] --> me
  me --> d0["devel/libev"]
  me --> d1["devel/menhir"]
  me --> d2["devel/ocaml-fmt"]
  me --> d3["devel/ocaml-gen"]
  me --> d4["devel/ocaml-linol"]
  me --> d5["devel/ocaml-logs"]
  me --> d6["devel/ocaml-lsp"]
  me --> d7["devel/ocaml-pp_loc"]
  me -.-> dmore(["8 more"])
  classDef this fill:#ab2b28,color:#ffffff,stroke:#ab2b28
  class me this

Dependencies

Run dependencies 16

Required by 1

math/alt-ergo

Description

In the other systems

Install

Dependency graph

Dependencies

Related ports