BSD Ports

lang/silq 20250624_3 FreeBSD

Silq from ETH Zuerich

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
c85de6d482
License
BSL
Categories
lang, math, science

Description

Silq is a high-level programming language for quantum computing with a strong static type system.

The compiler is accompanied by a large collection of example files, some of them implementing solutions to Microsoft's Q# Summer 2018 and Winter 2019 coding contest on Codeforces.

The project web-site provides detailed information on the language and its concepts and use.

In the other systems

SystemPortVersion
FreeBSDlang/silq20250624_3
GhostBSDlang/silq20250624_3

Install

Binary package:

pkg install silq

From the ports tree:

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

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

RUN_DEPENDS=	silq>0:lang/silq

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:latest-20250624_3---
FreeBSD:14:quarterly-20250624_3n/a--
FreeBSD:15:latest-20250624_3n/a--
FreeBSD:15:quarterly-20250624_3n/an/an/a
FreeBSD:16:latest-20250624_3n/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 6

No port depends on this one.

Configuration

Options name: lang_silq

OptionDefaultDescription
EXAMPLESoffBuild and/or install examples
Service scripts
none

Files

pkg-plist 1189
  • bin/silq
  • share/examples/silq/abort1.slq
  • share/examples/silq/abort2.slq
  • share/examples/silq/adjustConstLookups1.slq
  • share/examples/silq/adjustConstLookups2.slq
  • share/examples/silq/adjustConstLookups3.slq
  • share/examples/silq/adjustConstLookups4.slq
  • share/examples/silq/adjustConstLookups5.slq
  • share/examples/silq/argMatchSubtyping1.slq
  • share/examples/silq/argMatchSubtyping2.slq
  • share/examples/silq/arrayAddAssign.slq
  • share/examples/silq/arrayConcatReassign.slq
  • share/examples/silq/arrayConsumeIndexReplace.slq
  • share/examples/silq/arrayElements.slq
  • share/examples/silq/arrayEntryDup.slq
  • share/examples/silq/arrayIndexConcatAssign.slq
  • share/examples/silq/arraySlice1.slq
  • share/examples/silq/asciiUnit.slq
  • share/examples/silq/asciiZ.slq
  • share/examples/silq/asinQ.slq
  • share/examples/silq/asinQ2.slq
  • share/examples/silq/assertExp.slq
  • share/examples/silq/assertTypeError.slq
  • share/examples/silq/assign1.slq
  • share/examples/silq/assign2.slq
  • share/examples/silq/assignAfterReturn1.slq
  • share/examples/silq/assignAfterReturn2.slq
  • share/examples/silq/assignExp1.slq
  • share/examples/silq/assignExp2.slq
  • share/examples/silq/assignExp3.slq
  • share/examples/silq/assignExp4.slq
  • share/examples/silq/assignExp5.slq
  • share/examples/silq/assignExp6.slq
  • share/examples/silq/assignExp7.slq
  • share/examples/silq/assignFromArray.slq
  • share/examples/silq/assignFromQuantum.slq
  • share/examples/silq/assignQcontrol.slq
  • share/examples/silq/assignQuantumArray.slq
  • share/examples/silq/attributeTrace.slq
  • share/examples/silq/badBoolUpdateAssign.slq
  • share/examples/silq/badCallLhs.slq
  • share/examples/silq/badCoerce.slq
  • share/examples/silq/badControlUncomp.slq
  • share/examples/silq/badForget.slq
  • share/examples/silq/badForget2.slq
  • share/examples/silq/badIndexReplacement.slq
  • share/examples/silq/badIndexReplacement2.slq
  • share/examples/silq/badLhs1.slq
  • share/examples/silq/badLhs2.slq
  • share/examples/silq/badLhs3.slq
  • share/examples/silq/badLhs4.slq
  • share/examples/silq/badLhs5.slq
  • share/examples/silq/badLhs6.slq
  • share/examples/silq/badMeasurement1.slq
  • share/examples/silq/badMeasurement2.slq
  • share/examples/silq/badOpAssign.slq
  • share/examples/silq/badProdType.slq
  • share/examples/silq/badQuantumIndex1.slq
  • share/examples/silq/badReverse.slq
  • share/examples/silq/badSliceReplacement.slq
  • share/examples/silq/badSliceReplacement2.slq
  • share/examples/silq/badTypes.slq
  • share/examples/silq/badVectorSyntax.slq
  • share/examples/silq/bell.slq
  • share/examples/silq/bernsteinVazirani.slq
  • share/examples/silq/bernsteinVazirani2.slq
  • share/examples/silq/bernsteinVaziraniLoopLowered.slq
  • share/examples/silq/binaryOperators1.slq
  • share/examples/silq/binaryOperators2.slq
  • share/examples/silq/binaryOperators3.slq
  • share/examples/silq/binaryOperators4.slq
  • share/examples/silq/bitwise1.slq
  • share/examples/silq/bitwise2.slq
  • share/examples/silq/boolIDiv.slq
  • share/examples/silq/boolLiteral1.slq
  • share/examples/silq/boolLiteral2.slq
  • share/examples/silq/boolNSub.slq
  • share/examples/silq/boolNSubError.slq
  • share/examples/silq/boolVectorLength.slq
  • share/examples/silq/bottomArithmetic.slq
  • share/examples/silq/bottomIndexSlice.slq
  • share/examples/silq/bottomPower.slq
  • share/examples/silq/bottomType.slq
  • share/examples/silq/bottomType2.slq
  • share/examples/silq/bottomType3.slq
  • share/examples/silq/bottomType3_2.slq
  • share/examples/silq/bug.slq
  • share/examples/silq/builtInToPrelude.slq
  • share/examples/silq/callDoubleSquare1.slq
  • share/examples/silq/captureAssign1.slq
  • share/examples/silq/captureAssign2.slq
  • share/examples/silq/captureClassicalAssign1.slq
  • share/examples/silq/captureClassicalAssign2.slq
  • share/examples/silq/captureClassicalOpAssign1.slq
  • share/examples/silq/captureClassicalOpAssign1_2.slq
  • share/examples/silq/captureClassicalOpAssign2.slq
  • share/examples/silq/captureClassicalOpAssign2_2.slq
  • share/examples/silq/captureClassicalOpAssign3.slq
  • share/examples/silq/captureClassicalOpAssignLoop1.slq
  • share/examples/silq/captureClassicalOpAssignLoop2.slq

The first 100 are listed.

distinfo 3
FileSizeSHA256
silq/eth-sri-silq-20250624-92a6f80_GH0.tar.gz2690584b3f2e5a64e7532c3ea40ab80a49a2a50445fb88c6dee6f0d43d644f65b59589
silq/tgehr-ast-3b355c8_GH0.tar.gz139544deb523b088bbae1c2eca89eb4639a9d7495a4a41adf17bba0f95fb387af21617
silq/tgehr-util-68629c1_GH0.tar.gz13323225ed34a98c3fc9ca747c5d99bc97fc6a63f4149d7edd69737acebb597132326

Commit history 2

DateCommitCreditsLog message
c85de6d482 Jose Alonso Cardenas Marquez */*: Bump PORTREVISION. lang/ldc was updated to 1.43.0
9e4b8ab96f Piotr Kubaj lang/silq: enable on powerpc64*