From nobody Sat Oct 29 07:08:38 2022 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Mzr9g258Zz4gFHY; Sat, 29 Oct 2022 07:08:39 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Mzr9g1g8wz45Xp; Sat, 29 Oct 2022 07:08:39 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1667027319; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=yzGCfJnREV7wr0Ns4F+EqawpwVdNUvpA3xD4Fcmrkpk=; b=SibrjgPWvCWEdNVUquQspGDeFxYPTBelDaI2ukn/YR03fcy43bKbk0ARkEBs+FbDi0Lji8 m5BXNXZja2Z+IObzKFZO8by5uIWD6t57Aj6Go9BZk/jnW8ZftfVhpJbRAfrH9Nh6n5EstY 5uAKxoQIrlafaDikpEmnq6r9b2hzoH+xovG5VByy9km0CKYTHVlSYSs9RoOMBc689lyaIO /A2oICD+ZlMaajQ27+FcEwnKvsFFZD1JA5Bc71zXTgn9ZF8F9E5SP2Xm2FQ7ZscshmQYRk S53Ll3NNxfzdjDspGA2mqz1BdqPOBU41AfHpVVi/ZomHyJqbdLoObKX3lCK8CQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4Mzr9g0T3Jz17kZ; Sat, 29 Oct 2022 07:08:39 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 29T78cCe072534; Sat, 29 Oct 2022 07:08:38 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 29T78cVc072533; Sat, 29 Oct 2022 07:08:38 GMT (envelope-from git) Date: Sat, 29 Oct 2022 07:08:38 GMT Message-Id: <202210290708.29T78cVc072533@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 65be57f92214 - main - math/hs-syfco: New port: Synthesis Format Conversion Tool List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 65be57f92214852ef03b5d1a3eba15f3adc11ee9 Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1667027319; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=yzGCfJnREV7wr0Ns4F+EqawpwVdNUvpA3xD4Fcmrkpk=; b=qAOCIZD7LdsLJv+M+GUiXQvnJc8SGUfB4hOuo+cjcKLegn9r8dvHze0yBc8X8vQwsPD8vl z8rLnnbJkUpM4wz8h+S3HB8p/4FG7zAA2nES8XpSAsEzO/Coy0M//M28wQRUCQIsBlyXHr aAGKmBOZ1niSVuFtXWGvFxyVfF6dEAYajDsJnue8F9+XEBzQZGflV0s3uDOt69OEBoPYGH GwtQCrCtaXrZffoPLslSD0hlmrE5tpW3y/E6A5u3qIpS1OfIkybsAfDHNOmOCQIgUGfHsx PrAdZq9RQkHTPxgRt0uChjoorg5nRGa5BZXpYyhwJ9xqCHIcfGm7ZdXDT5F0sA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1667027319; a=rsa-sha256; cv=none; b=N9WQyJ03AKX8Iy06Orwld4MFQ+czRHCv7eCGahZjs11vK7YPHP/DSdWM0z+FGoFPF18cI0 xzz412ZbTY6GfMMCde+biF74c5tvWVyEit8Bhu8k8pywUSFVb0kF9aFhNomw+S4w+29g3e fwwIrPm4NGTEZkq8YpppfRnV1FsGbQ2D8U8B6ShRWfTNjpOS+heB7SBOE1nitC+EclLljB o4mSRk/BgpLBXlSXKHBNQe2CA+Z7N2gjeObT67SPXEnZbQeVjy9kCLx54H0+Pzoe6F9PMr 53MtsZ2ANcaAaQLUvAMffPZxm1Ntvo/iEVU2U1DpSLgeyljflIJGEJCyEx2W8g== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=65be57f92214852ef03b5d1a3eba15f3adc11ee9 commit 65be57f92214852ef03b5d1a3eba15f3adc11ee9 Author: Yuri Victorovich AuthorDate: 2022-10-29 07:06:21 +0000 Commit: Yuri Victorovich CommitDate: 2022-10-29 07:08:34 +0000 math/hs-syfco: New port: Synthesis Format Conversion Tool --- math/Makefile | 1 + math/hs-syfco/Makefile | 30 ++++++++++++++++++++++++ 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 +++++++ 6 files changed, 99 insertions(+) diff --git a/math/Makefile b/math/Makefile index 4c23a536782c..b6435ae148dd 100644 --- a/math/Makefile +++ b/math/Makefile @@ -386,6 +386,7 @@ SUBDIR += hptt SUBDIR += hs-Agda SUBDIR += hs-penrose + SUBDIR += hs-syfco SUBDIR += hsl SUBDIR += ideep SUBDIR += ignition-math diff --git a/math/hs-syfco/Makefile b/math/hs-syfco/Makefile new file mode 100644 index 000000000000..00f3a2e14f19 --- /dev/null +++ b/math/hs-syfco/Makefile @@ -0,0 +1,30 @@ +PORTNAME= syfco +DISTVERSIONPREFIX= v +DISTVERSION= 1.1-34 +DISTVERSIONSUFFIX= -g0f0f6a6 +CATEGORIES= math lang haskell + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Synthesis Format Conversion Tool +WWW= https://github.com/reactive-systems/syfco + +LICENSE= MIT +LICENSE_FILE= ${WRKSRC}/LICENSE + +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} + +PLIST_FILES= bin/syfco \ + libexec/cabal/syfco + +.include diff --git a/math/hs-syfco/distinfo b/math/hs-syfco/distinfo new file mode 100644 index 000000000000..dd6db4111d1a --- /dev/null +++ b/math/hs-syfco/distinfo @@ -0,0 +1,13 @@ +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 new file mode 100644 index 000000000000..8f23d4384726 --- /dev/null +++ b/math/hs-syfco/files/patch-src_lib_Reader.hs @@ -0,0 +1,11 @@ +--- 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 new file mode 100644 index 000000000000..b1a57f934ab7 --- /dev/null +++ b/math/hs-syfco/files/patch-syfco.cabal @@ -0,0 +1,36 @@ +--- 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 new file mode 100644 index 000000000000..9b6403a5f2cb --- /dev/null +++ b/math/hs-syfco/pkg-descr @@ -0,0 +1,8 @@ +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.