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
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
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
gitlabApr 24
redisApr 24
redis62Apr 24
redis72Apr 24
valkeyApr 24
chromiumApr 23
ungoogled-chromiumApr 23
navidromeApr 22
erlangApr 20
erlang-runtime21Apr 20
erlang-runtime22Apr 20
erlang-runtime23Apr 20
erlang-runtime24Apr 20
erlang-runtime25Apr 20
erlang-runtime26Apr 20

14 vulnerabilities affecting 330 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2025-04-24 08:24:59 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33282
Broken 124
Deprecated 359
Ignore 241
Forbidden 1
Restricted 2
No CDROM 1
Vulnerable 37
Expired 32
Set to expire 303
Interactive 0
new 24 hours 1
new 48 hours2
new 7 days24
new fortnight38
new month87
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2025 Dan Langille. All rights reserved.