BSD Ports

lang/ott 0.33 FreeBSD

Tool for writing definitions of programming languages and calculi

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
License
BSD3CLAUSE
Categories
lang
Package size
1549.5 KiB, 5230.9 KiB installed

Description

A tool for writing definitions of programming languages and calculi

by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.

In the other systems

SystemPortVersion
FreeBSDlang/ott0.33
DragonFlylang/ott0.33

Install

Binary package:

pkg install ott

From the ports tree:

cd /usr/ports/lang/ott/ && make install clean

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

RUN_DEPENDS=	ott>0:lang/ott

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest0.330.330.280.330.33
FreeBSD:14:quarterly0.330.33n/a0.330.33
FreeBSD:15:latest0.330.33n/a0.330.33
FreeBSD:15:quarterly0.330.33n/an/an/a
FreeBSD:16:latest0.330.33n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Build 1

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

Build dependencies 23
Run dependencies 1

No port depends on this one.

Configuration

No options to configure.

USES
gmake ocaml
Service scripts
none

Files

distinfo 1
FileSizeSHA256
ott-lang-ott-0.33_GH0.tar.gz3.533658e+06d64ec4527f8ace56a407fc67957840d1653980fb0112d7fa8f2b0fc958501f7b

Commit history 0

No commits in the history this site was built from.