Commit 21b0c170 authored by Rene Ladan's avatar Rene Ladan
Browse files

math/hs-syfco: Remove expired port 

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

MOVED

+1 −0
Original line number Diff line number Diff line
@@ -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

math/Makefile

+0 −1
Original line number Diff line number Diff line
@@ -408,7 +408,6 @@ 
    SUBDIR += hpipm

    SUBDIR += hptt

    SUBDIR += hs-Agda

    SUBDIR += hs-syfco

    SUBDIR += hsl

    SUBDIR += hydrogen

    SUBDIR += hyperdeal

math/hs-syfco/Makefile

deleted100644 → 0
+0 −33
Original line number Diff line number Diff line 
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>

math/hs-syfco/distinfo

deleted100644 → 0
+0 −13
Original line number Diff line number Diff line 
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

math/hs-syfco/files/patch-src_lib_Reader.hs

deleted100644 → 0
+0 −11
Original line number Diff line number Diff line 
--- 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