f919501846
Original submission from Alessandro De Laurenzis, who takes MAINTAINER -- thanks! Additional work from sthen@ and myself, ok sthen@ ABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification.
32 lines
743 B
Makefile
32 lines
743 B
Makefile
# $OpenBSD: Makefile,v 1.1.1.1 2018/08/08 15:24:47 bcallah Exp $
|
|
|
|
COMMENT = system for sequential logic synthesis and verification
|
|
DISTNAME = abc-1.01.20180722
|
|
CATEGORIES = cad
|
|
|
|
GH_ACCOUNT = berkeley-abc
|
|
GH_PROJECT = abc
|
|
GH_COMMIT = ae6716b064c842f45109a88e84dca71fe4cc311f
|
|
|
|
HOMEPAGE = https://people.eecs.berkeley.edu/~alanmi/abc
|
|
MAINTAINER = Alessandro De Laurenzis <just22@atlantide.t28.net>
|
|
|
|
# MIT (abc, MiniSat, xSAT), BSD (bzlib, CUDD, satoko), zlib
|
|
PERMIT_PACKAGE_CDROM = Yes
|
|
|
|
WANTLIB += ${COMPILER_LIBCXX} c curses m readline
|
|
|
|
MODULES = devel/cmake
|
|
|
|
USE_GMAKE = Yes
|
|
|
|
NO_TEST = Yes
|
|
|
|
pre-configure:
|
|
@ln -s `which ${MAKE_PROGRAM}` ${WRKDIR}/bin/make
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKBUILD}/abc ${PREFIX}/bin
|
|
|
|
.include <bsd.port.mk>
|