From 88760e0fa5d6a3200c386947dd0df658323c2682 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stefan=20E=C3=9Fer?= Date: Tue, 19 Apr 2022 20:05:09 +0200 Subject: [PATCH] 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. --- lang/silq/Makefile | 11 ++++++++--- lang/silq/distinfo | 14 +++++++------- lang/silq/pkg-plist | 5 +++++ 3 files changed, 20 insertions(+), 10 deletions(-) diff --git a/lang/silq/Makefile b/lang/silq/Makefile index 2b493dfb814c5..4fb74f185fbd7 100644 --- a/lang/silq/Makefile +++ b/lang/silq/Makefile @@ -1,6 +1,7 @@ PORTNAME= silq -PORTVERSION= 20211117 +PORTVERSION= 20220224 CATEGORIES= lang math science +DIST_SUBDIR= silq MAINTAINER= se@FreeBSD.org COMMENT= Silq from ETH Zuerich @@ -16,8 +17,8 @@ BUILD_DEPENDS= ldmd2:lang/ldc \ USE_GITHUB= yes -GH_TUPLE= eth-sri:silq:1bc7ece \ - tgehr:ast:7c26e76:ast/ast \ +GH_TUPLE= eth-sri:silq:afaf865 \ + tgehr:ast:d2f25fb:ast/ast \ tgehr:util:7e9f0ce:util/util OPTIONS_DEFINE= EXAMPLES @@ -29,6 +30,10 @@ LLVM_VERSION= 10 do-build: cd ${WRKSRC}; ldmd2 -O -inline -J. -Jlibrary *.d ast/*.d util/*.d -linker=lld${LLVM_VERSION} -of=silq +do-test: + cd ${WRKSRC}/test; ldmd2 -O runtests.d -linker=lld${LLVM_VERSION} -of=runtests + cd ${WRKSRC}/test; ./runtests + do-install: ${INSTALL_PROGRAM} ${WRKSRC}/silq ${STAGEDIR}${PREFIX}/bin/ .if ${PORT_OPTIONS:MEXAMPLES} diff --git a/lang/silq/distinfo b/lang/silq/distinfo index d3344e178e180..dd9943309d4e8 100644 --- a/lang/silq/distinfo +++ b/lang/silq/distinfo @@ -1,7 +1,7 @@ -TIMESTAMP = 1637153546 -SHA256 (eth-sri-silq-20211117-1bc7ece_GH0.tar.gz) = 9c51050b234373bb79762384cbd5556df6962fbb60e08e2e72e4e43556cdb639 -SIZE (eth-sri-silq-20211117-1bc7ece_GH0.tar.gz) = 242312 -SHA256 (tgehr-ast-7c26e76_GH0.tar.gz) = cd67b2e1ce6426ddfab4b0772b7c9812f4d3008293953f4420e06be4db2d2450 -SIZE (tgehr-ast-7c26e76_GH0.tar.gz) = 75083 -SHA256 (tgehr-util-7e9f0ce_GH0.tar.gz) = f73af612a6aa14c966cc46f392394d8c43b90ecf8c0be0c44b509cc07a7e949f -SIZE (tgehr-util-7e9f0ce_GH0.tar.gz) = 9455 +TIMESTAMP = 1650392986 +SHA256 (silq/eth-sri-silq-20220224-afaf865_GH0.tar.gz) = 37e8ad58f4ac0b60f510af188cc167e4e8ef767f949b60f66fd7c4b339d6dc8c +SIZE (silq/eth-sri-silq-20220224-afaf865_GH0.tar.gz) = 167609 +SHA256 (silq/tgehr-ast-d2f25fb_GH0.tar.gz) = bfec0dd622f726fd4a8d0e05967bcbb7578468c33d1295aa4d82bf540f459c83 +SIZE (silq/tgehr-ast-d2f25fb_GH0.tar.gz) = 75363 +SHA256 (silq/tgehr-util-7e9f0ce_GH0.tar.gz) = f73af612a6aa14c966cc46f392394d8c43b90ecf8c0be0c44b509cc07a7e949f +SIZE (silq/tgehr-util-7e9f0ce_GH0.tar.gz) = 9455 diff --git a/lang/silq/pkg-plist b/lang/silq/pkg-plist index f9fddea1b798f..c53355bd5b7b2 100644 --- a/lang/silq/pkg-plist +++ b/lang/silq/pkg-plist @@ -141,6 +141,9 @@ bin/silq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/divbyzero2.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/divmod.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/dlog.slq +%%PORTEXAMPLES%%%%EXAMPLESDIR%%/draper.slq +%%PORTEXAMPLES%%%%EXAMPLESDIR%%/draperFunny.slq +%%PORTEXAMPLES%%%%EXAMPLESDIR%%/draperPretty.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/dump.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/dump2.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/dumpExit.slq @@ -283,6 +286,7 @@ bin/silq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/piToRat.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/print.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/qft.slq +%%PORTEXAMPLES%%%%EXAMPLESDIR%%/qftPretty.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumBitNotMinus.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumControlClassicalAssignment.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/quantumIfClassicalUpdate.slq @@ -371,6 +375,7 @@ bin/silq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/testHadamard.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/testLiftedClassical.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/testParamSameName.slq +%%PORTEXAMPLES%%%%EXAMPLESDIR%%/testPunning.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/testQFT.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/testQFT2.slq %%PORTEXAMPLES%%%%EXAMPLESDIR%%/testQFT3.slq