notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
FreshPorts needs to find a new hosting provide willing to take a 2U chassis and host it free of charge. This is part of the FreshPorts project. Preferably in the Austin area. This is not a primary server, but it used for development.
Port details
abc System for sequential synthesis and verification
g20200322 cad on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout Version of this port present on the latest quarterly branch.
Maintainer: uddka@student.kit.edu search for ports maintained by this maintainer
Port Added: 2018-04-24 07:53:44
Last Update: 2021-04-07 08:09:01
Commit Hash: cf118cc
License: MIT
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (6 items)
Collapse this list.
  1. bin/abc
  2. lib/libabc.so
  3. @ldconfig
  4. /usr/local/share/licenses/abc-g20200322/catalog.mk
  5. /usr/local/share/licenses/abc-g20200322/LICENSE
  6. /usr/local/share/licenses/abc-g20200322/MIT
Collapse this list.
Dependency lines:
  • abc>0:cad/abc
To install the port:
cd /usr/ports/cad/abc/ && make install clean
To add the package, run one of these commands:
  • pkg install cad/abc
  • pkg install abc
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: abc
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
abc
ABIlatestquarterly
FreeBSD:11:aarch64g20180420g20200322
FreeBSD:11:amd64g20200322g20200322
FreeBSD:11:armv6-g20200322
FreeBSD:11:i386g20200322g20200322
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64g20180420g20200322
FreeBSD:12:amd64g20200322g20200322
FreeBSD:12:armv6g20180420g20200322
FreeBSD:12:armv7g20180420g20200322
FreeBSD:12:i386g20200322g20200322
FreeBSD:12:mips--
FreeBSD:12:mips64g20180420-
FreeBSD:12:powerpc64-g20200322
FreeBSD:13:aarch64g20200322g20200322
FreeBSD:13:amd64g20200322g20200322
FreeBSD:13:armv6g20200322g20200322
FreeBSD:13:armv7g20200322g20200322
FreeBSD:13:i386g20200322g20200322
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64g20200322g20200322
FreeBSD:13:riscv64-g20200322
FreeBSD:14:aarch64g20200322-
FreeBSD:14:amd64g20200322-
FreeBSD:14:armv6g20200322-
FreeBSD:14:armv7g20200322-
FreeBSD:14:i386g20200322-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64g20200322-
FreeBSD:14:riscv64g20200322-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake : devel/gmake
  2. cmake : devel/cmake
  3. ninja : devel/ninja
Library dependencies:
  1. libreadline.so.8 : devel/readline
This port is required by:
for Build
  1. cad/qflow
  2. cad/yosys
  3. devel/lattice-ice40-examples-hx1k
  4. devel/lattice-ice40-examples-hx8k

Deleted ports which required this port:

Expand this list of 1 deleted port
  1. devel/yosys*
  2. Collapse this list of deleted ports.
for Run
  1. cad/qflow
  2. devel/lattice-ice40-tools

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/berkeley-abc/abc/tar.gz/a4518e6f833885c905964f1233d11e5b941ec24c?dummy=/
Collapse this list.

Number of commits found: 5

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  g20200322
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  g20200322
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
22 Mar 2020 08:56:59
Original commit files touched by this commit Revision:528905  g20200322
yuri search for other commits by this committer
cad/abc: Update g20180420 -> g20200322

PR:		241511
Approved by:	uddka@student.kit.edu (maintainer's timeout; 4.5 months)
09 Apr 2019 14:04:50
Original commit files touched by this commit Revision:498476  g20180420_1
sunpoet search for other commits by this committer
Update devel/readline to 8.0

- Bump PORTREVISION of dependent ports for shlib change

Changes:	https://tiswww.case.edu/php/chet/readline/CHANGES
PR:		236156
Exp-run by:	antoine
24 Apr 2018 07:53:29
Original commit files touched by this commit Revision:468187  g20180420
yuri search for other commits by this committer
New port: cad/abc: System for sequential synthesis and verification

PR:		227254
Submitted by:	Christian Kramer <uddka@student.kit.edu>

Number of commits found: 5