pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/verifast Doesn't actually need an explicit depen...
details: https://anonhg.NetBSD.org/pkgsrc/rev/098fa053dc22
branches: trunk
changeset: 377055:098fa053dc22
user: dholland <dholland%pkgsrc.org@localhost>
date: Tue Mar 13 05:47:25 2018 +0000
description:
Doesn't actually need an explicit depend run before building, with
other build changes already applied.
diffstat:
devel/verifast/Makefile | 4 +---
1 files changed, 1 insertions(+), 3 deletions(-)
diffs (18 lines):
diff -r c8cc7a29cecc -r 098fa053dc22 devel/verifast/Makefile
--- a/devel/verifast/Makefile Tue Mar 13 05:45:25 2018 +0000
+++ b/devel/verifast/Makefile Tue Mar 13 05:47:25 2018 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.11 2018/03/13 05:45:25 dholland Exp $
+# $NetBSD: Makefile,v 1.12 2018/03/13 05:47:25 dholland Exp $
DISTNAME= verifast-18.02
CATEGORIES= devel
@@ -21,8 +21,6 @@
VF_DIR= share/verifast
INSTALLATION_DIRS= ${VF_DIR} bin
OCAML_USE_FINDLIB= yes
-BUILD_TARGET= depend all
-MAKE_JOBS_SAFE= no
do-configure:
${CP} ${FILESDIR}/GNUmakefile.settings ${WRKSRC}/
Home |
Main Index |
Thread Index |
Old Index