| Port details |
- ocaml-dolmen Library for writing deduction and logic languages in Objective Caml
- 0.9_2 devel
 =0      Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one. - Maintainer: freebsd@dev.thsi.be
- Port Added: 2024-10-08 13:00:07
- Last Update: 2024-12-31 07:41:54
- Commit Hash: c79c880
- License: BSD2CLAUSE
- WWW:
- https://github.com/Gbury/dolmen
- 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- ocaml-dolmen>0:devel/ocaml-dolmen
- To install the port:
- cd /usr/ports/devel/ocaml-dolmen/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/ocaml-dolmen
- pkg install ocaml-dolmen
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: ocaml-dolmen
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1723760391
SHA256 (Gbury-dolmen-v0.9_GH0.tar.gz) = b1d00c0b969ea4e7c8d14ef0854303daebe60e796562d67b510a7783841aa967
SIZE (Gbury-dolmen-v0.9_GH0.tar.gz) = 1150826
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- menhir : devel/menhir
- META : math/ocaml-farith
- META : devel/ocaml-fmt
- META : devel/ocaml-gen
- META : devel/ocaml-linol
- META : devel/ocaml-logs
- META : devel/ocaml-lsp
- META : devel/ocaml-pp_loc
- META : devel/ocaml-ppx_deriving
- META : devel/ocaml-ppx_hash
- META : devel/ocaml-ppx_yojson_conv
- META : textproc/ocaml-spelll
- META : devel/ocaml-uutf
- ocaml-dune>=3.7.1_2 : devel/ocaml-dune
- ocamlc : lang/ocaml
- Runtime dependencies:
-
- META : math/ocaml-farith
- META : devel/ocaml-fmt
- META : devel/ocaml-gen
- META : devel/ocaml-linol
- META : devel/ocaml-logs
- META : devel/ocaml-lsp
- META : devel/menhir
- META : devel/ocaml-pp_loc
- META : devel/ocaml-ppx_deriving
- META : devel/ocaml-ppx_hash
- META : devel/ocaml-ppx_yojson_conv_lib
- META : textproc/ocaml-spelll
- META : devel/ocaml-uutf
- ocamlc : lang/ocaml
- Library dependencies:
-
- libev.so : devel/libev
- libgmp.so : math/gmp
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- This port is required by:
- for Build
-
- math/alt-ergo
- for Run
-
- math/alt-ergo
Configuration Options:- ===> The following configuration options are available for ocaml-dolmen-0.9_2:
DOCS=on: Build and/or install documentation
MANPAGES=off: Build and/or install manual pages
===> Use 'make config' to modify these settings
- Options name:
- devel_ocaml-dolmen
- USES:
- ocaml:dune
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 4
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.9_2
31 Dec 2024 07:41:54
 |
Muhammad Moinur Rahman (bofh) |
Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mk
- Instead of USE_OCAML=yes use USES=ocaml. If empty USES=ocaml implies
build and run
- Instead of USE_OCAMLFIND_PLIST use USES=ocaml:findplist which also
implies USES=ocaml:findlib
- Instead of USE_OCAML_CAMLP4 use USES=ocaml:camlp4
- Instead of USE_OCAML_FINDLIB use USES=ocaml:findlib
- Instead of USE_OCAML_LDCONFIG use USES=ocaml:ldconfig
- Instead of USE_OCAML_WASH use USES=ocaml:wash
- Instead of NO_OCAML_BUILDDEPENDS use USES=ocaml:run
- Instead of NO_OCAML_RUNDDEPENDS use USES=ocaml:build
- Instead of USE_OCAML_TK use USES=ocaml:tk which actually implies
USES=ocaml:tkbuild and USES=ocaml:tkrun
- Instead of NO_OCAMLTK_BUILDDEPENDS use USES=ocaml:tkrun
- Instead of NO_OCAMLTK_RUNDEPENDS use USES=ocaml:tkbuild
- USES=ocaml:dune remains unchanged
- Prepare to add/remove keywords easily
Approved by: mat (portmgr)
Reviewed by: freebsd@dev.thsi.be
Differential Revision: https://reviews.freebsd.org/D48227 |
0.9_2
15 Oct 2024 11:17:56
|
Guido Falsi (madpilot) |
devel/ocaml-sexplib0: Bump revisions after dependency update
PR: 282086 |
0.9_1
10 Oct 2024 06:14:48
|
Zsolt Udvari (uzsolt)
Author: Benjamin Jacobs |
devel/ocaml-seq: Mark DEPRECATED and set EXPIRATION_DATE to 2024-12-10
Seq the ocaml module is part of lang/ocaml since 4.07. This package is a
compatibility shims that is needed for people using 4.06 and earlier.
PR: 280761
Approved by: submitter is maintainer |
0.9
08 Oct 2024 12:56:48
|
Zsolt Udvari (uzsolt)
Author: Benjamin Jacobs |
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 (Only the first 15 lines of the commit message are shown above  ) |
Number of commits found: 4
|
As an Amazon Associate I earn from qualifying purchases.