35 lines
840 B
Makefile
35 lines
840 B
Makefile
# $OpenBSD: Makefile,v 1.5 2020/01/16 22:33:54 sthen Exp $
|
|
|
|
COMMENT = system for sequential logic synthesis and verification
|
|
DISTNAME = abc-1.01.20200108
|
|
CATEGORIES = cad
|
|
|
|
GH_ACCOUNT = berkeley-abc
|
|
GH_PROJECT = abc
|
|
GH_COMMIT = 144c5be8246800d5bd36dc3e177364063e8d2e40
|
|
|
|
HOMEPAGE = https://people.eecs.berkeley.edu/~alanmi/abc
|
|
MAINTAINER = Alessandro De Laurenzis <just22@atlantide.mooo.com>
|
|
|
|
# MIT (abc, MiniSat, xSAT, glucose), BSD (bzlib, CUDD, satoko), zlib
|
|
PERMIT_PACKAGE = Yes
|
|
|
|
WANTLIB += ${COMPILER_LIBCXX} c curses m readline
|
|
|
|
COMPILER = base-clang ports-gcc base-gcc
|
|
|
|
MODULES = devel/cmake
|
|
|
|
USE_GMAKE = Yes
|
|
|
|
NO_TEST = Yes
|
|
|
|
# make is called from cmakefile, and needs to be gmake:
|
|
pre-configure:
|
|
@ln -s `which ${MAKE_PROGRAM}` ${WRKDIR}/bin/make
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKBUILD}/abc ${PREFIX}/bin
|
|
|
|
.include <bsd.port.mk>
|