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

DPB_PROPERTIES=parallel not needed

Browse Source 
Sneaked in the last OCaml update.  Those ports aren't big nor critical
enough to warrant the use of multiple build slots in regular bulk
builds.
This commit is contained in:
jca 2019-03-23 10:54:59 +00:00
parent a6b19bdd36
commit 83c7e2b107
2 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
devel/frama-c/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.16 2019/03/23 10:31:17 jca Exp $
# $OpenBSD: Makefile,v 1.17 2019/03/23 10:54:59 jca Exp $
BROKEN-i386 = ld: error: undefined symbol: ml_as_z_pred, etc
@ -46,6 +46,4 @@ AUTOCONF_VERSION = 2.69
CONFIGURE_ARGS += MAKE=${MAKE_PROGRAM} \
--docdir=${PREFIX}/share/doc/frama-c/
DPB_PROPERTIES += parallel
.include <bsd.port.mk>

4
math/coq/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.37 2019/03/10 20:16:54 chrisz Exp $
# $OpenBSD: Makefile,v 1.38 2019/03/23 10:54:59 jca Exp $
COMMENT= proof assistant based on a typed lambda calculus
@ -52,8 +52,6 @@ ALL_TARGET= byte coq documentation \
INSTALL_TARGET= install-coq install-byte install-meta
.endif
DPB_PROPERTIES += parallel
# Order is important!
TEST_TARGET= check