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.
31 lines
598 B
Makefile
31 lines
598 B
Makefile
# $OpenBSD: Makefile,v 1.14 2018/10/24 14:28:07 sthen Exp $
|
|
|
|
COMMENT= minimalistic Boolean satisfiability solver
|
|
|
|
DISTNAME= minisat-2.2.0.20170810
|
|
GH_ACCOUNT= niklasso
|
|
GH_PROJECT= minisat
|
|
GH_COMMIT= 37dc6c67e2af26379d88ce349eb9c4c6160e8543
|
|
REVISION= 0
|
|
|
|
SHARED_LIBS += minisat 0.0 # 2.1
|
|
|
|
CATEGORIES= math
|
|
|
|
HOMEPAGE= http://minisat.se/
|
|
|
|
MAINTAINER= Jasper Lievisse Adriaanse <jasper@openbsd.org>
|
|
|
|
# MIT
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
|
|
WANTLIB += c m ${COMPILER_LIBCXX} z
|
|
|
|
COMPILER = base-clang ports-gcc base-gcc
|
|
|
|
MODULES= devel/cmake
|
|
|
|
NO_TEST= Yes
|
|
|
|
.include <bsd.port.mk>
|