notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine

Newsfeed changes

The news feed page[s] were not laid out well. Two pages, disjointed information, hard to figure out how to use the optional parameters...

Thankfully, someone told me.

The new page is ready for your review. Please compare these two:

You may also be interested in the Github issue.
Port details
ocaml-psmt2-frontend SMT-LIB 2 parsing library for Objective Caml
0.4.0 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.4.0Version of this port present on the latest quarterly branch.
Maintainer: freebsd@dev.thsi.be search for ports maintained by this maintainer
Port Added: 2024-10-08 13:00:07
Last Update: 2025-01-17 21:45:23
Commit Hash: 255c43f
License: APACHE20
WWW:
https://github.com/ACoquereau/psmt2-frontend
Description:
Psmt2-frontend provides the parser for the SMT-LIB 2 syntax extended with prenex polymoprhisme which is used by the Alt-Ergo Theorem Prover.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (75 items)
Collapse this list.
  1. /usr/local/share/licenses/ocaml-psmt2-frontend-0.4.0/catalog.mk
  2. /usr/local/share/licenses/ocaml-psmt2-frontend-0.4.0/LICENSE
  3. /usr/local/share/licenses/ocaml-psmt2-frontend-0.4.0/APACHE20
  4. bin/psmt2-frontend_bin
  5. lib/ocaml/site-lib/psmt2-frontend/META
  6. lib/ocaml/site-lib/psmt2-frontend/dune-package
  7. lib/ocaml/site-lib/psmt2-frontend/main.ml
  8. lib/ocaml/site-lib/psmt2-frontend/opam
  9. lib/ocaml/site-lib/psmt2-frontend/options.ml
  10. lib/ocaml/site-lib/psmt2-frontend/options.mli
  11. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.a
  12. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cma
  13. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmi
  14. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmt
  15. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmx
  16. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmxa
  17. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.cmxs
  18. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend.ml
  19. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmi
  20. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmt
  21. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Main.cmx
  22. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmi
  23. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmt
  24. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmti
  25. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Options.cmx
  26. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
  27. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
  28. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
  29. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
  30. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
  31. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
  32. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
  33. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
  34. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
  35. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
  36. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
  37. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
  38. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
  39. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
  40. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
  41. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
  42. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
  43. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
  44. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
  45. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
  46. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
  47. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
  48. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
  49. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
  50. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
  51. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
  52. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
  53. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
  54. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmi
  55. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmt
  56. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmti
  57. lib/ocaml/site-lib/psmt2-frontend/psmt2Frontend__Version.cmx
  58. lib/ocaml/site-lib/psmt2-frontend/smtlib_error.ml
  59. lib/ocaml/site-lib/psmt2-frontend/smtlib_lexer.ml
  60. lib/ocaml/site-lib/psmt2-frontend/smtlib_parser.ml
  61. lib/ocaml/site-lib/psmt2-frontend/smtlib_parser.mli
  62. lib/ocaml/site-lib/psmt2-frontend/smtlib_printer.ml
  63. lib/ocaml/site-lib/psmt2-frontend/smtlib_syntax.ml
  64. lib/ocaml/site-lib/psmt2-frontend/smtlib_ty.ml
  65. lib/ocaml/site-lib/psmt2-frontend/smtlib_typed_env.ml
  66. lib/ocaml/site-lib/psmt2-frontend/smtlib_typed_logic.ml
  67. lib/ocaml/site-lib/psmt2-frontend/smtlib_typing.ml
  68. lib/ocaml/site-lib/psmt2-frontend/version.ml
  69. lib/ocaml/site-lib/psmt2-frontend/version.mli
  70. lib/ocaml/site-lib/psmt2-frontend_bin/META
  71. lib/ocaml/site-lib/psmt2-frontend_bin/dune-package
  72. lib/ocaml/site-lib/psmt2-frontend_bin/opam
  73. @owner
  74. @group
  75. @mode
Collapse this list.
Dependency lines:
  • ocaml-psmt2-frontend>0:devel/ocaml-psmt2-frontend
To install the port:
cd /usr/ports/devel/ocaml-psmt2-frontend/ && make install clean
To add the package, run one of these commands:
  • pkg install devel/ocaml-psmt2-frontend
  • pkg install ocaml-psmt2-frontend
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: ocaml-psmt2-frontend
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1723744618 SHA256 (ACoquereau-psmt2-frontend-0.4.0_GH0.tar.gz) = 06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780 SIZE (ACoquereau-psmt2-frontend-0.4.0_GH0.tar.gz) = 70801

Packages (timestamps in pop-ups are UTC):
ocaml-psmt2-frontend
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest0.4.00.4.0-0.4.00.4.0---
FreeBSD:13:quarterly0.4.00.4.0-0.4.00.4.0---
FreeBSD:14:latest0.4.00.4.0-0.4.00.4.0---
FreeBSD:14:quarterly0.4.00.4.0-0.4.00.4.0---
FreeBSD:15:latest0.4.00.4.0n/a0.4.0n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. menhir : devel/menhir
  2. ocaml-dune>=3.7.1_2 : devel/ocaml-dune
  3. ocamlc : lang/ocaml
Runtime dependencies:
  1. ocamlc : lang/ocaml
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
This port is required by:
for Build
  1. math/alt-ergo
for Run
  1. math/alt-ergo

Configuration Options:
===> The following configuration options are available for ocaml-psmt2-frontend-0.4.0: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings
Options name:
devel_ocaml-psmt2-frontend
USES:
ocaml:dune
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/ACoquereau/psmt2-frontend/tar.gz/0.4.0?dummy=/
Collapse this list.

Number of commits found: 3

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
0.4.0
17 Jan 2025 21:45:23
commit hash: 255c43fa198ae9dea70db99a7bfbba56d8f183dbcommit hash: 255c43fa198ae9dea70db99a7bfbba56d8f183dbcommit hash: 255c43fa198ae9dea70db99a7bfbba56d8f183dbcommit hash: 255c43fa198ae9dea70db99a7bfbba56d8f183db files touched by this commit
Piotr Kubaj (pkubaj) search for other commits by this committer
devel/ocaml-psmt2-frontend: fix build on powerpc
0.4.0
31 Dec 2024 07:41:54
commit hash: c79c88017bf5ed4603cd14c2890910f40f53c847commit hash: c79c88017bf5ed4603cd14c2890910f40f53c847commit hash: c79c88017bf5ed4603cd14c2890910f40f53c847commit hash: c79c88017bf5ed4603cd14c2890910f40f53c847 files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
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.4.0
08 Oct 2024 12:56:48
commit hash: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9commit hash: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9commit hash: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9commit hash: d9c44a62acbfe6ed3268bdf1e3f34e089756ada9 files touched by this commit
Zsolt Udvari (uzsolt) search for other commits by this committer
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 View all of this commit message)

Number of commits found: 3