25f0e460f2
some existing COMPILER lines with arch restrictions etc. In the usual case this is now using "COMPILER = base-clang ports-gcc base-gcc" on ports with c++ libraries in WANTLIB. This is basically intended to be a noop on architectures using clang as the system compiler, but help with other architectures where we currently have many ports knocked out due to building with an unsuitable compiler - - some ports require c++11/newer so the GCC version in base that is used on these archirtectures is too old. - some ports have conflicts where an executable is built with one compiler (e.g. gcc from base) but a library dependency is built with a different one (e.g. gcc from ports), resulted in mixing incompatible libraries in the same address space. devel/gmp is intentionally skipped as it's on the path to building gcc - the c++ library there is unused in ports (and not built by default upstream) so intending to disable building gmpcxx in a future commit.
35 lines
793 B
Makefile
35 lines
793 B
Makefile
# $OpenBSD: Makefile,v 1.2 2018/10/24 14:27:58 sthen Exp $
|
|
|
|
COMMENT = system for sequential logic synthesis and verification
|
|
DISTNAME = abc-1.01.20180722
|
|
CATEGORIES = cad
|
|
REVISION = 0
|
|
|
|
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
|
|
|
|
COMPILER = base-clang ports-gcc base-gcc
|
|
|
|
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>
|