devel/ocaml-psmt2-frontend 0.4.0 FreeBSD

SMT-LIB 2 parsing library for Objective Caml

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
License: APACHE20
Categories: devel
Package size: 3081.6 KiB, 13367.4 KiB installed

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.

In the other systems

System

Port

Version

FreeBSD

devel/ocaml-psmt2-frontend

0.4.0

DragonFly

devel/ocaml-psmt2-frontend

0.4.0

GhostBSD

devel/ocaml-psmt2-frontend

0.4.0

Install

Binary package:

pkg install ocaml-psmt2-frontend

From the ports tree:

cd /usr/ports/devel/ocaml-psmt2-frontend/ && make install clean

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

RUN_DEPENDS=	ocaml-psmt2-frontend>0:devel/ocaml-psmt2-frontend

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.4.0	0.4.0	-	0.4.0	0.4.0
FreeBSD:14:quarterly	0.4.0	0.4.0	n/a	0.4.0	0.4.0
FreeBSD:15:latest	0.4.0	0.4.0	n/a	0.4.0	0.4.0
FreeBSD:15:quarterly	0.4.0	0.4.0	n/a	n/a	n/a
FreeBSD:16:latest	0.4.0	0.4.0	n/a	n/a	n/a
FreeBSD:16:quarterly	n/a	n/a	n/a	n/a	n/a

Dependencies

As this port's Makefile names them.

Build 1

${LOCALBASE}/bin/menhir : devel/menhir

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

Build dependencies 3

Run dependencies 1

lang/ocaml

Required by 1

math/alt-ergo

Configuration

Options name: devel_psmt2-frontend

Option

Default

Description

DOCS

off

Build and/or install documentation

USES: ocaml:dune
Service scripts: none

Files

pkg-plist 69

bin/psmt2-frontend_bin
%%OCAML_SITELIBDIR%%/psmt2-frontend/META
%%OCAML_SITELIBDIR%%/psmt2-frontend/dune-package
%%OCAML_SITELIBDIR%%/psmt2-frontend/main.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/opam
%%OCAML_SITELIBDIR%%/psmt2-frontend/options.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/options.mli
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend.a
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend.cma
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend.cmxa
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend.cmxs
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Main.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Main.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Main.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Options.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Options.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Options.cmti
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Options.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Version.cmi
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Version.cmt
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Version.cmti
%%OCAML_SITELIBDIR%%/psmt2-frontend/psmt2Frontend__Version.cmx
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_error.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_lexer.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_parser.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_parser.mli
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_printer.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_syntax.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_ty.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_typed_env.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_typed_logic.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/smtlib_typing.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/version.ml
%%OCAML_SITELIBDIR%%/psmt2-frontend/version.mli
%%OCAML_SITELIBDIR%%/psmt2-frontend_bin/META
%%OCAML_SITELIBDIR%%/psmt2-frontend_bin/dune-package
%%OCAML_SITELIBDIR%%/psmt2-frontend_bin/opam

distinfo 1

File

Size

SHA256

ACoquereau-psmt2-frontend-0.4.0_GH0.tar.gz

70801

06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780

Commit history 0

No commits in the history this site was built from.