cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
openbsd-ports/cad/abc/Makefile

35 lines
793 B
Makefile
Raw Normal View History

Add COMPILER lines to c++ ports which currently use the default. Adjust 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.
2018-10-24 14:27:57 +00:00
# $OpenBSD: Makefile,v 1.2 2018/10/24 14:27:58 sthen Exp $
Import cad/abc, a system for sequential logic synthesis and verification. 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.
2018-08-08 15:24:47 +00:00
COMMENT = system for sequential logic synthesis and verification
DISTNAME = abc-1.01.20180722
CATEGORIES = cad
Add COMPILER lines to c++ ports which currently use the default. Adjust 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.
2018-10-24 14:27:57 +00:00
REVISION = 0
Import cad/abc, a system for sequential logic synthesis and verification. 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.
2018-08-08 15:24:47 +00:00
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
Add COMPILER lines to c++ ports which currently use the default. Adjust 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.
2018-10-24 14:27:57 +00:00
COMPILER = base-clang ports-gcc base-gcc
Import cad/abc, a system for sequential logic synthesis and verification. 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.
2018-08-08 15:24:47 +00:00
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>
Reference in New Issue Copy Permalink