FreshPorts -- math/hs-syfco: Synthesis Format Conversion Tool

Port details

hs-syfco Synthesis Format Conversion Tool

1.1.34 math =0 Version of this port present on the latest quarterly branch.

Maintainer: yuri@FreeBSD.org

Port Added: 2022-10-29 07:09:18

Last Update: 2022-10-29 07:25:39

Commit Hash: 47c6f71

Also Listed In: haskell lang

License: MIT

Description:

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.

¦ ¦ ¦ ¦

pkg-plist: as obtained via: make generate-plist

Expand this list (3 items)

Collapse this list.

/usr/local/share/licenses/hs-syfco-1.1.34/catalog.mk
/usr/local/share/licenses/hs-syfco-1.1.34/LICENSE
/usr/local/share/licenses/hs-syfco-1.1.34/MIT

Collapse this list.

Dependency lines:

hs-syfco>0:math/hs-syfco

To install the port:

cd /usr/ports/math/hs-syfco/ && make install clean

To add the package, run one of these commands:

pkg install math/hs-syfco
pkg install hs-syfco

NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.

PKGNAME: hs-syfco

Flavors: there is no flavor information for this port.

distinfo:

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

Expand this list (10 items)

Collapse this list.

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

Collapse this list.

Packages (timestamps in pop-ups are UTC):

hs-syfco
ABI	latest	quarterly
FreeBSD:11:aarch64
FreeBSD:11:amd64
FreeBSD:11:armv6
FreeBSD:11:i386
FreeBSD:11:mips
FreeBSD:11:mips64
FreeBSD:12:aarch64		1.1.34
FreeBSD:12:amd64	1.1.34	1.1.34
FreeBSD:12:armv6
FreeBSD:12:armv7
FreeBSD:12:i386	1.1.34	1.1.34
FreeBSD:12:mips
FreeBSD:12:mips64
FreeBSD:12:powerpc64
FreeBSD:13:aarch64	1.1.34	1.1.34
FreeBSD:13:amd64	1.1.34	1.1.34
FreeBSD:13:armv6
FreeBSD:13:armv7
FreeBSD:13:i386	1.1.34	1.1.34
FreeBSD:13:mips
FreeBSD:13:mips64
FreeBSD:13:powerpc64
FreeBSD:13:riscv64
FreeBSD:14:aarch64	1.1.34
FreeBSD:14:amd64	1.1.34
FreeBSD:14:armv6
FreeBSD:14:armv7
FreeBSD:14:i386	1.1.34
FreeBSD:14:mips
FreeBSD:14:mips64
FreeBSD:14:powerpc64
FreeBSD:14:riscv64

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

ghc : lang/ghc
cabal : devel/hs-cabal-install

Library dependencies:

libgmp.so : math/gmp
libffi.so : devel/libffi

There are no ports dependent upon this port

Configuration Options:

No options to configure

Options name:

math_hs-syfco

USES:

cabal

FreshPorts was unable to extract/find any pkg message

Master Sites:

Expand this list (1 items)

Collapse this list.

https://codeload.github.com/reactive-systems/syfco/tar.gz/v1.1-34-g0f0f6a6?dummy=/

Collapse this list.

Notes from UPDATING

These upgrade notes are taken from /usr/ports/UPDATING

2017-08-08

Affects: users of lang/ghc and */hs-*

Author: haskell@FreeBSD.org

Reason: 
  The Glorious Glasgow Haskell Compiler has been updated to version
  8.0.2.  Hence it is recommended to rebuild or reinstall all the
  dependent ports and the lang/ghc port itself in one of the following
  ways:

  # portmaster -w -r ghc
    or
  # portupgrade -fr lang/ghc

  In case of pkg(8), it is probably safer to remove all the GHC-dependent
  packages along with GHC and reinstall everything from scratch.  For
  example:

  # pkg query "%ro" ghc > ghc-pkgs.txt
  # pkg delete -y lang/ghc

  In ghc-pkgs.txt, check and remove all the packages that have been moved
  on the update, then use this command:

  # pkg install -y `cat ghc-pkgs.txt`

Expand this list (9 items)

2015-08-20

Affects: users of lang/ghc and */hs-*

Author: haskell@FreeBSD.org

Reason: 
  The Glorious Glasgow Haskell Compiler has been updated to version
  7.10.2 and Haskell Platform has been removed.  As a result, it is
  recommended to rebuild or reinstall all the dependent ports and the
  lang/ghc port itself in one of the following ways:

  # portmaster -w -r ghc
    or
  # portupgrade -fr lang/ghc

  In case of pkg(8), it is probably safer to remove all the GHC-dependent
  packages along with GHC and reinstall everything from scratch.  For
  example:

  # pkg query "%ro" ghc > ghc-pkgs.txt
  # pkg delete -y lang/ghc

  In ghc-pkgs.txt, check and remove all the packages that have been moved,
  then:

  # pkg install -y `cat ghc-pkgs.txt`

2014-08-10

Affects: users of lang/ghc and */hs-*

Author: haskell@FreeBSD.org

Reason: 
  The Glorious Glasgow Haskell Compiler has been updated to version
  7.8.3 and Haskell Platform to 2014.2.0.0.  Hence it is recommended to
  rebuild or reinstall all the dependent ports and the lang/ghc port
  itself by one of the following commands:

  # portmaster -w -r ghc
    or
  # portupgrade -fr lang/ghc

  If you use pkg(8) then it is just safer to remove all the GHC-dependent
  packages along with GHC and reinstall everything from scratch.
  Something alone these lines may work:

  # pkg query "%ro" > ghc-pkgs.txt
  # pkg delete -y lang/ghc
  # pkg install -y `cat ghc-pkgs.txt | grep -Ev "/hs-(haskeline|terminfo|transformers|xhtml)"

2013-06-04

Affects: users of lang/ghc and */hs-*

Author: haskell@FreeBSD.org

Reason: 
  The Glorious Glasgow Haskell Compiler has been updated to version
  7.6.3 and Haskell Platform to 2013.2.0.0.  Hence it is recommended to
  rebuild or reinstall all the dependent ports by one of the following
  commands:

  # portmaster -w -r ghc
    or
  # portupgrade -fr lang/ghc
    or
  # pkg install -fR lang/ghc

  Note that prefixes used for hs- ports (Cabal packages) have been
  changed to PREFIX/{lib,share,share/doc}/cabal/ghc-GHC_VERSION to
  enable more seamless upgrades in the future.

2013-03-31

Affects: users of */hs-*

Author: haskell@FreeBSD.org

Reason: 
  Due to some unexpected dynamic linking problems, Haskell Cabal ports with
  binaries that link to their own libraries may not work.  With default
  configuration, the following ports are known to have this problem:
  Agda, BNFC, pandoc, and uuagc.  (Their port revision are now bumped.)

  In general, it is recommended to rebuild the port if you are
  experiencing that the corresponding binary will not start, e.g.:

  % agda
  Shared object "libHSAgda-2.3.2-ghc7.4.2.so" not found, required by "agda"

2013-02-05

Affects: users of lang/ghc and */hs-*

Author: haskell@FreeBSD.org

Reason: 
  Note that the recent devel/libffi update caused some breakage in the Haskell
  ports with the DYNAMIC option enabled.  The problem has been identified and
  fixed since then.  All Haskell ports have been updated to their latest stable
  versions or bumped as DYNAMIC is enabled by default.

  Hence it is recommended to rebuild or reinstall all ports depending on GHC
  by one of the following commands:

  # portmaster -w -r ghc
    or
  # portupgrade -fr lang/ghc
    or
  # pkg install -fR lang/ghc

2012-12-20

Affects: users of lang/ghc and */hs-*

Author: haskell@FreeBSD.org

Reason: 
  Note that the Glorious Glasgow Haskell Compiler has been updated to
  version 7.4.2.

  Please rebuild or reinstall all dependent ports by issuing one of the
  following commands, depending on the tool used:

  # portmaster -w -r ghc
    or
  # portupgrade -fr lang/ghc
    or
  # pkg install -fR lang/ghc

2012-06-03

Affects: users of lang/ghc and */hs-*

Author: haskell@FreeBSD.org

Reason: 
  Note that The Glorious Glasgow Haskell Compiler and the Haskell Platform
  have been updated to versions 7.4.1 and 2012.2.0.0, respectively.  At the
  same time, all Haskell ports have been updated to their latest working
  versions.

  To follow the changes, please issue one of the following commands
  (depending on the tool used):

  # portmaster -r ghc
    or
  # portupgrade -fr lang/ghc

2012-02-13

Affects: users of lang/ghc and */hs-*

Author: pgj@FreeBSD.org

Reason: 
  GHC has been updated to version 7.0.4, and Haskell Platform to version
  2011.4.0.0, and other Haskell ports are also updated to their Haskell
  Platform versions or latest versions.

  To update all affected ports:

  # portmaster -r lang/ghc
    or
  # portupgrade -r lang/ghc

2011-05-09

Affects: users of lang/ghc and */hs-*

Author: ashish@FreeBSD.org

Reason: 
  GHC has been updated to version 7.0.3 and other Haskell ports are also
  updated to their Haskell Platform versions or latest versions.

  To update all affected ports:

  # portmaster -r lang/ghc
    or
  # portupgrade -r lang/ghc

Collapse this list.

Number of commits found: 2

Commit	Credits	Log message
Commit History - (may be incomplete: for full details, see links to repositories near top of page)
1.1.34 29 Oct 2022 07:25:39	Yuri Victorovich (yuri)	math/hs-syfco: Fix plist
1.1.34 29 Oct 2022 07:08:34	Yuri Victorovich (yuri)	math/hs-syfco: New port: Synthesis Format Conversion Tool

Number of commits found: 2

Login
User Login Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

chromium	Mar 22
ungoogled-chromium	Mar 22
redis	Mar 21
redis-devel	Mar 21
curl	Mar 20
phpmyadmin	Mar 16
phpmyadmin5	Mar 16
apache24	Mar 11
chromium	Mar 09
jenkins	Mar 09
jenkins-lts	Mar 09
ungoogled-chromium	Mar 09
go119	Mar 08
go120	Mar 08
mantis	Mar 08

10 vulnerabilities affecting 209 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2023-03-22 09:15:53 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	59498
Broken	137
Deprecated	184
Ignore	315
Forbidden	10
Restricted	2
No CDROM	0
Vulnerable	33
Expired	7
Set to expire	150
Interactive	0
new 24 hours	38
new 48 hours	39
new 7 days	50
new fortnight	69
new month	130