notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Two new features

Two new features were added on 2020-05-30:
  1. Repology links - each port now has a link to repology.org. See issue 148 for details.
  2. Ports I maintain report - port maintainers can now subscribe to a daily report of commits to the ports they maintain. See Watch ports I maintain at Report Subscriptions. Details at issue 138
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. g20200322Version 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: 2020-03-22 08:56:59
SVN Revision: 528905
License: MIT
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (6 items)
  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: pkg install abc
PKGNAME: abc
Flavors: there is no flavor information for this port.
distinfo:
Packages: (move your mouse over the cells for more information)
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:mipsg20180420-
FreeBSD:12:mips64g20180420-
FreeBSD:12:powerpc64-g20200322
FreeBSD:13:aarch64g20200322-
FreeBSD:13:amd64g20200322-
FreeBSD:13:armv6--
FreeBSD:13:armv7g20200322-
FreeBSD:13:i386g20200322-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64g20200322-
 

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

USES:

Master Sites:
  1. https://codeload.github.com/berkeley-abc/abc/tar.gz/a4518e6f833885c905964f1233d11e5b941ec24c?dummy=/

Number of commits found: 3

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
22 Mar 2020 08:56:59
Original commit files touched by this commit  g20200322
Revision:528905
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  g20180420_1
Revision:498476
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  g20180420
Revision:468187
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: 3

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?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
bftpdAug 10
apache24*Aug 08
gitlab-ceAug 06
goAug 06
sqlite3*Aug 06
typo3-10Aug 04
typo3-9Aug 04
libX11Aug 01
xephyrAug 01
xorg-dmxAug 01
xorg-nestserverAug 01
xorg-serverAug 01
xorg-vfbserverAug 01
xwaylandAug 01
python38Jul 31

15 vulnerabilities affecting 95 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-08-10 14:30:37


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 40288
Broken 88
Deprecated 602
Ignore 323
Forbidden 5
Restricted 147
No CDROM 76
Vulnerable 20
Expired 3
Set to expire 572
Interactive 0
new 24 hours 6
new 48 hours8
new 7 days20
new fortnight64
new month141

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.