math/hs-syfco: Remove expired port

2026-05-30 math/hs-syfco: Depends on a deprecated compiler version

7 files changed, 1 insertions, 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.