notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
abc System for sequential synthesis and verification
g20180420_1 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 g20180420Version 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: 2019-04-09 15:04:50
SVN Revision: 498476
License: MIT
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (7 items)
  1. bin/abc
  2. lib/libabc.so
  3. /usr/local/share/licenses/abc-g20180420_1/catalog.mk
  4. /usr/local/share/licenses/abc-g20180420_1/LICENSE
  5. /usr/local/share/licenses/abc-g20180420_1/MIT
  6. @postexec /usr/sbin/service ldconfig restart > /dev/null
  7. @postunexec /usr/sbin/service ldconfig restart > /dev/null
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:

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

Configuration Options

USES:

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

Number of commits found: 2

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
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: 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?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
clamavAug 21
clamav-milterAug 21
nodeAug 21
node10Aug 21
node8Aug 21
vlcAug 20
nsdAug 19
libgit2Aug 18
xdmAug 18
apache24Aug 17
userminAug 17
webminAug 17
cupsAug 16
libnghttp2Aug 16
nghttp2Aug 16

17 vulnerabilities affecting 90 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-08-23 07:33:46


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 37336
Broken 455
Deprecated 160
Ignore 713
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 32
Expired 8
Set to expire 130
Interactive 0
new 24 hours 1
new 48 hours3
new 7 days54
new fortnight84
new month145

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