BSD Ports

lang/scryer-prolog 0.10.0_10 FreeBSD

Modern ISO Prolog implementation in Rust

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
9c878207a1
License
BSD3CLAUSE
Categories
lang
Package size
13081.6 KiB, 85480.0 KiB installed

Description

Scryer Prolog aims to become to ISO Prolog what GHC is to Haskell: an open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming, which is itself written in a high-level language.

In the other systems

SystemPortVersion
FreeBSDlang/scryer-prolog0.10.0_10
HardenedBSDlang/scryer-prolog0.10.0_8
GhostBSDlang/scryer-prolog0.10.0_8

Install

Binary package:

pkg install scryer-prolog

From the ports tree:

cd /usr/ports/lang/scryer-prolog/ && make install clean

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

RUN_DEPENDS=	scryer-prolog>0:lang/scryer-prolog

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.10.0_90.10.0_10-0.9.4_20.10.0_10
FreeBSD:14:quarterly0.10.0_80.10.0_8n/a0.9.4_10.10.0_8
FreeBSD:15:latest0.10.0_100.10.0_10n/a0.9.4_20.9.4_2
FreeBSD:15:quarterly0.10.0_80.10.0_8n/an/an/a
FreeBSD:16:latest0.10.0_80.10.0_10n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

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

Build dependencies 12

No port depends on this one.

Configuration

No options to configure.

USES
cargo ssl
Service scripts
none

Files

distinfo 432
FileSizeSHA256
rust/crates/addr2line-0.24.2.crate39015dfbe277e56a376000877090da837660b4427aad530e3028d44e0bffe4f89a1c1
rust/crates/adler2-2.0.0.crate13529512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627
rust/crates/ahash-0.8.12.crate434135a15f179cd60c4584b8a8c596927aadc462e27f2ca70c04e0071964a73ba7a75
rust/crates/aho-corasick-1.1.3.crate1833118e60d3430d3a69478ad0993f19238d2df97c507009a52b3c10addcd7f6bcb916
rust/crates/aliasable-0.1.3.crate6169250f629c0161ad8107cf89319e990051fae62832fd343083bea452d93e2205fd
rust/crates/android-tzdata-0.1.1.crate7674e999941b234f3131b00bc13c22d06e8c5ff726d1b6318ac7eb276997bbb4fef0
rust/crates/android_system_properties-0.1.5.crate5243819e7219dbd41043ac279b19830f2efc897156490d7fd6ea916720117ee66311
rust/crates/anes-0.1.6.crate238574b46cbb362ab8752921c97e041f5e366ee6297bd428a31275b9fcf1e380f7299
rust/crates/anstream-0.6.18.crate296818acc5369981196006228e28809f761875c0327210a891e941f4c683b3a99529b
rust/crates/anstyle-1.0.10.crate1572555cc3b69f167a1ef2e161439aa98aed94e6028e5f9a59be9a6ffb47aef1651f9
rust/crates/anstyle-parse-0.2.6.crate223433b2d16507662817a6a20a9ea92df6652ee4f94f914589377d69f3b21bc5798a9
rust/crates/anstyle-query-1.1.2.crate996979947af37f4177cfead1110013d678905c37501914fba0efea834c3fe9a8d60c
rust/crates/anstyle-wincon-3.0.7.crate12400ca3534e77181a9cc07539ad51f2141fe32f6c3ffd4df76db8ad92346b003ae4e
rust/crates/arcu-0.1.2.crate9398e2bb19dd0246dfd956c754184eee75dce27a6dcbf5def6825bda0d7e47b535d4
rust/crates/arrayvec-0.7.6.crate312377c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50
rust/crates/autocfg-1.4.0.crate17712ace50bade8e6234aa140d9a2f552bbee1db4d353f69b8217bc503490fc1a9f26
rust/crates/automod-1.0.15.crate9129ebb4bd301db2e2ca1f5be131c24eb8ebf2d9559bc3744419e93baf8ddea7e670
rust/crates/backtrace-0.3.75.crate926656806a6321ec58106fea15becdad98371e28d92ccbc7c8f1b3b6dd724fe8f1002
rust/crates/base64-0.21.7.crate825769d297deb1925b89f2ccc13d7635fa0714f12c87adce1c75356b39ca9b7178567
rust/crates/base64-0.22.1.crate8159772b3254f16251a8381aa12e40e3c4d2f0199f8c6508fbecb9d91f575e0fbb8c6

Commit history 5

DateCommitCreditsLog message
9c878207a1 Mikael Urankar lang/rust: Bump revisions after 1.99.0
PR: 299016
396c159306 Alan Somers */*: Fix many Rust ports to run without COMPAT11
RISCV does not include COMPAT11 by default. But Rust's libc bound the compat-11 symbols until version 0.2.176. Patch a great many Rust ports to use a newer version of libc, to eliminate the dependency on COMPAT11. Explicitly patching Cargo.lock isn't usually necessarily, since within the build jail cargo is forced to use whichever crates Makefile.crates installs there. Notes on specific ports: * textproc/bookokrat: Rework bookokrat's existing patch to be more robust. Also, report the issue upstream: https://github.com/bugzmanov/bookokrat/issues/182 * security/sequoia-chameleon-gnupg security/sequoia-sq "cargo update -p libc" insisted on updating some other crates, too. * devel/cargo-generate finance/tickrs net-im/gurk-rs net-p2p/oura textproc/mdbook-linkcheck www/lychee …
7316461925 Mikael Urankar lang/rust: Bump revisions after 1.98.1
PR: 298139
b1be741da7 Siva Mahadevan lang/scryer-prolog: use correct @FreeBSD.org maintainer email
9c892d2601 Mikael Urankar lang/rust: Bump revisions after 1.97.1
PR: 296645