Date: Sat, 30 May 2026 08:41:34 +0000 From: Rene Ladan <rene@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 21b0c1708c96 - main - math/hs-syfco: Remove expired port Message-ID: <6a1aa2be.30278.1be80ca0@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by rene: URL: https://cgit.FreeBSD.org/ports/commit/?id=21b0c1708c962a14ef9367a1a978057c1c8495be commit 21b0c1708c962a14ef9367a1a978057c1c8495be Author: Rene Ladan <rene@FreeBSD.org> AuthorDate: 2026-05-30 08:41:10 +0000 Commit: Rene Ladan <rene@FreeBSD.org> CommitDate: 2026-05-30 08:41:10 +0000 math/hs-syfco: Remove expired port 2026-05-30 math/hs-syfco: Depends on a deprecated compiler version --- MOVED | 1 + math/Makefile | 1 - math/hs-syfco/Makefile | 33 -------------------------- math/hs-syfco/distinfo | 13 ----------- math/hs-syfco/files/patch-src_lib_Reader.hs | 11 --------- math/hs-syfco/files/patch-syfco.cabal | 36 ----------------------------- math/hs-syfco/pkg-descr | 8 ------- 7 files changed, 1 insertion(+), 102 deletions(-) diff --git a/MOVED b/MOVED index c99e15e2c5c7..3bac5a82a984 100644 --- a/MOVED +++ b/MOVED @@ -5317,3 +5317,4 @@ multimedia/mediaelch@qt5||2026-05-27|Unflavorize, remove Qt5 flavor multimedia/mediaelch@qt6|multimedia/mediaelch|2026-05-27|Unflavorize www/py-dj52-django-treenode|www/py-django-treenode|2026-05-28|Renamed after all Django consumers were switched from Django 4.2 to Django 5.2 to have a consistent naming scheme devel/devhelp|devel/manuals|2026-05-28|Has expired: Discontinued, use devel/manuals +math/hs-syfco||2026-05-30|Has expired: Depends on a deprecated compiler version diff --git a/math/Makefile b/math/Makefile index 25e7b5efbc2c..b71cdb529c74 100644 --- a/math/Makefile +++ b/math/Makefile @@ -408,7 +408,6 @@ SUBDIR += hpipm SUBDIR += hptt SUBDIR += hs-Agda - SUBDIR += hs-syfco SUBDIR += hsl SUBDIR += hydrogen SUBDIR += hyperdeal diff --git a/math/hs-syfco/Makefile b/math/hs-syfco/Makefile deleted file mode 100644 index c9e587e97ced..000000000000 --- a/math/hs-syfco/Makefile +++ /dev/null @@ -1,33 +0,0 @@ -PORTNAME= syfco -DISTVERSIONPREFIX= v -DISTVERSION= 1.1-34 -DISTVERSIONSUFFIX= -g0f0f6a6 -PORTREVISION= 1 -CATEGORIES= math lang haskell - -MAINTAINER= yuri@FreeBSD.org -COMMENT= Synthesis Format Conversion Tool -WWW= https://github.com/reactive-systems/syfco - -DEPRECATED= Depends on a deprecated compiler version -EXPIRATION_DATE= 2026-05-30 - -LICENSE= MIT -LICENSE_FILE= ${WRKSRC}/LICENSE - -BUILD_DEPENDS= ghc-9.4.8:lang/ghc94 - -USES= cabal - -USE_GITHUB= yes -GH_ACCOUNT= reactive-systems - -USE_CABAL= convertible-1.1.1.1 \ - old-locale-1.0.0.7_2 \ - old-time-1.1.0.3_2 -CABAL_FLAGS= -relocatable - -CABAL_EXECUTABLES= syfco -CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES} - -.include <bsd.port.mk> diff --git a/math/hs-syfco/distinfo b/math/hs-syfco/distinfo deleted file mode 100644 index dd6db4111d1a..000000000000 --- a/math/hs-syfco/distinfo +++ /dev/null @@ -1,13 +0,0 @@ -TIMESTAMP = 1666983297 -SHA256 (cabal/convertible-1.1.1.1/convertible-1.1.1.1.tar.gz) = 991ebd70e413dc7314d3d34fddaa1ad34a837aea48cb8117e1b323f403348cef -SIZE (cabal/convertible-1.1.1.1/convertible-1.1.1.1.tar.gz) = 14071 -SHA256 (cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz) = dbaf8bf6b888fb98845705079296a23c3f40ee2f449df7312f7f7f1de18d7b50 -SIZE (cabal/old-locale-1.0.0.7/old-locale-1.0.0.7.tar.gz) = 3384 -SHA256 (cabal/old-locale-1.0.0.7/revision/2.cabal) = fa998be2c7e00cd26a6e9075bea790caaf3932caa3e9497ad69bc20380dd6911 -SIZE (cabal/old-locale-1.0.0.7/revision/2.cabal) = 1071 -SHA256 (cabal/old-time-1.1.0.3/old-time-1.1.0.3.tar.gz) = 1ccb158b0f7851715d36b757c523b026ca1541e2030d02239802ba39b4112bc1 -SIZE (cabal/old-time-1.1.0.3/old-time-1.1.0.3.tar.gz) = 74219 -SHA256 (cabal/old-time-1.1.0.3/revision/2.cabal) = c91fbb3ee73d20ccd015842b30f1f29a304893ebe0ae3128b7bbc13d5bb0d4c8 -SIZE (cabal/old-time-1.1.0.3/revision/2.cabal) = 1328 -SHA256 (cabal/reactive-systems-syfco-v1.1-34-g0f0f6a6_GH0.tar.gz) = 24786fa3d792187ecfefe5674b675f64faa1172f9dfec348d595507706872a06 -SIZE (cabal/reactive-systems-syfco-v1.1-34-g0f0f6a6_GH0.tar.gz) = 105621 diff --git a/math/hs-syfco/files/patch-src_lib_Reader.hs b/math/hs-syfco/files/patch-src_lib_Reader.hs deleted file mode 100644 index 8f23d4384726..000000000000 --- a/math/hs-syfco/files/patch-src_lib_Reader.hs +++ /dev/null @@ -1,11 +0,0 @@ ---- src/lib/Reader.hs.orig 2022-10-28 19:22:32 UTC -+++ src/lib/Reader.hs -@@ -102,7 +102,7 @@ fromTLSF str = - inferTypes >>= - - -- lift reader specification to global specification -- \(s @ RD.Specification {..}) -> return -+ \(s@RD.Specification {..}) -> return - Specification - { source = str - , title = fst title diff --git a/math/hs-syfco/files/patch-syfco.cabal b/math/hs-syfco/files/patch-syfco.cabal deleted file mode 100644 index b1a57f934ab7..000000000000 --- a/math/hs-syfco/files/patch-syfco.cabal +++ /dev/null @@ -1,36 +0,0 @@ ---- syfco.cabal.orig 2022-10-28 18:55:24 UTC -+++ syfco.cabal -@@ -22,12 +22,12 @@ library - -Wall -Wno-name-shadowing - - build-depends: -- base >=4.7 && <4.13 -- , array >=0.5 && <0.6 -- , containers >=0.5 && <0.7 -- , mtl >=2.2 && <2.3 -- , parsec >=3.1 && <3.2 -- , transformers >= 0.4 && <0.6 -+ base >=4.7 -+ , array >=0.5 -+ , containers >=0.5 -+ , mtl >=2.2 -+ , parsec >=3.1 -+ , transformers >= 0.4 - , convertible >= 1.1 - - exposed-modules: -@@ -106,10 +106,10 @@ executable syfco - - build-depends: - syfco -- , base >=4.7 && <4.13 -- , directory >=1.2 && <1.4 -- , parsec >=3.1 && <3.2 -- , convertible >= 1.1 -+ , base >=4.7 -+ , directory >=1.2 -+ , parsec >=3.1 -+ , convertible >= 1.0.0 - - other-modules: - Arguments diff --git a/math/hs-syfco/pkg-descr b/math/hs-syfco/pkg-descr deleted file mode 100644 index 9b6403a5f2cb..000000000000 --- a/math/hs-syfco/pkg-descr +++ /dev/null @@ -1,8 +0,0 @@ -The tool interprets the high level constructs of TLSF 1.1 (functions, sets, ...) -and supports the transformation of the specification to Linear Temporal Logic -(LTL) in different output formats. The tool has been designed to be modular with -respect to the supported output formats and semantics. Furthermore, the tool -allows to identify and manipulate parameters, targets and semantics of a -specification on the fly. This is especially thought to be useful for -comparative studies, as they are for example needed in the Synthesis -Competition.home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a1aa2be.30278.1be80ca0>