*/*: Bump PORTREVISION. lang/ldc was updated to 1.43.0c85de6d482
Port details
lang/silq 20250624_3
Silq from ETH Zuerich
Port info
- Maintainer
- se@FreeBSD.org
- Packages
- latest: 20250624_3
- Upstream
- up to date
- Last update
- to 20250624_3 · c85de6d482
- Quarterly
- 2026Q4: 20250624_3
- WWW
- https://silq.ethz.ch/
- Links
- cgit · VuXML
Install
- Package
# pkg install silqinstalls 20250624_3 fromlatest; fromquarterly(2026Q4) 20250624_3- Port
# cd /usr/ports/lang/silq && make install clean# make -C /usr/ports/lang/silq config # change options first
- Size
- 1.1 MiB download · 4.1 MiB installed
- Depends on
- nothing
- License
- BSL
- Options
- 1 of 1 on in the package: EXAMPLES
Packages by version and architecture
latest
| FreeBSD version | amd64 | aarch64 | i386 |
|---|---|---|---|
| FreeBSD 16 | 20250624_3 | ✗ | – |
| FreeBSD 15 | 20250624_3 | ✗ | – |
| FreeBSD 14 | 20250624_3 | ✗ | ✗ |
quarterly (2026Q4)
| FreeBSD version | amd64 | aarch64 | i386 |
|---|---|---|---|
| FreeBSD 15 | 20250624_3 | ✗ | – |
| FreeBSD 14 | 20250624_3 | ✗ | ✗ |
version as in the ports tree (latest) or the most common one (quarterly) · different version · ✗ not built · – no packages for this platform. Package sets that have not been rebuilt for 60 days are left out.
Unaddressed and VuXML only (0)
No unaddressed CVE and nothing reported by
pkg audit for the packaged version 20250624_3.Fixed (0)
No VuXML entries for this package.
Problem reports (0) · open in Bugzilla, most recently changed first
None.
Commits (26)
lang/silq: enable on powerpc64*9e4b8ab96f
*/*: Bump PORTREVISION. lang/ldc was updated to 1.42.090b03409d6
D ports: Bump PORTREVISION after the compiler and build system updates Pull Request: https://github.com/freebsd/freebsd-ports/pull/4143e4ce72588
lang/silq: Fix distinfo I forgot that the synthetic PORTVERSION affects the name of the fetched dist file.06b010677d
lang/silq: update to current development version92d03744b0
lang/silq: remove llvm10 dependency This was added in 4949e8270ef54e5ae32f1ab66585ca0b55fc6235 to work around an issue when linking with LLVM 13's lld when LDC was not also using LLVM 13. LDC now uses LLVM 15 and and silq builds fine without this patch. PR: 273977 Approved by: maintainer timeout009f98a41c
*: Bump PORTREVISIONs for math/mpc update to 1.3.18d3e020ed0
lang/silq: update to latest development versionc1c94249f5
D ports: Bump after lang/ldc update. PR: 2704617554a732e2
lang/ldc: Bump PORTREVISION of d based ports because lang/ldc port has changedd02a771fad
Remove WWW entries moved into port Makefiles Commit b7f05445c00f has added WWW entries to port Makefiles based on WWW: lines in pkg-descr files. This commit removes the WWW: lines of moved-over URLs from these pkg-descr files. Approved by: portmgr (tcberner)fb16dfecae
Add WWW entries to port Makefiles It has been common practice to have one or more URLs at the end of the ports' pkg-descr files, one per line and prefixed with "WWW:". These URLs should point at a project website or other relevant resources. Access to these URLs required processing of the pkg-descr files, and they have often become stale over time. If more than one such URL was present in a pkg-descr file, only the first one was tarnsfered into the port INDEX, but for many ports only the last line did contain the port specific URL to further information. There have been several proposals to make a project URL available as a macro in the ports' Makefiles, over time. This commit implements such a proposal and moves one of the WWW: entries of each pkg-descr file into the respective port's Makefile. A heuristic attempts to identify the most relevant URL in case there is more than one WWW: entry in some pkg-descr file. URLs that are not moved into the Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr files in order to preserve them. There are 1256 ports that had no WWW: entries in pkg-descr files. These ports will not be touched in this commit. The portlint port has been adjusted to expect a WWW entry in each port Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as deprecated. Approved by: portmgr (tcberner)b7f05445c0
lang/silq: update to latest upstream version (afaf865) This update adds unsafe type punning to the Silq language and adds support for the execution of the test cases to the port.88760e0fa5
lang/silq: Fix build failures due to llvm13 changes The visibility rules of some variables have been changed in LLD13, leading to link failures. This is no issue if LDC is built with LLVM13, but the version currently in the ports tree is too old to be build with LLVM13. As a work around and since the currently provided LDC is built with LLVM10, make this port depend on LLVM10, too. Update to the latest development source level on this occasion.4949e8270e
lang/silq: Update to latest upstream version (c0029ff) This update allows quantum operations to replace and access multiple array components simultaneously.3f972f481c
One more small cleanup, forgotten yesterday. Reported by: lwhsucf118ccf87
Remove # $FreeBSD$ from Makefiles.305f148f48
Fix distinfo fileb612a0f94c
Upgrade to latest development version349cbb905c
Bump PORTREVSION for distinfo update9fb070ed89
Fix distinfo Due to the way the distfile is named, the file name changed when I updated the PORTVERSION as the last step before the commit. For this port, a make checksum is required as the final step, after setting the revision ... Reported by: pkg-fallout97f830c0be
Temporarily change COMMENT line to attempt to unbreak web build: --- lang.html --- encoding error : input conversion failed due to input error, bytes 0xFC 0x72 0x69 0x63 encoding error : input conversion failed due to input error, bytes 0xFC 0x72 0x69 0x63 I/O error : encoder error lang.xml:507: parser error : Premature end of data in tag dd line 507 FreeBSD.org/ports/head/lang/silq">silq-20200919</a></b></dt> <dd>Silq from ETH Z This needs to be investigated as a web build problem.9efa694b56
Update to latest github version This update includes an example of Shor's algorithm and otheer new examples.d9a6e32995
Udpate to sources as of today This update attempts to fix a build error on FreeBSD-11 that appears to be caused by the D compiler creating object files that cannot be linked by the linker it invokes by default (GNU ld on FreeBSD-11). Approved by: antoine (implicit)16d15dc28a
Add new port for Silq 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 port version is based on the date of the latest commit to the project repository, aince there have been no regular releases, yet. (Only one tag has been created to mark the state presented on a conference.) Approved by: antoine (mentor)87390b7440