CVS commit: pkgsrc/devel/verifast

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Tue Mar 13 05:47:25 UTC 2018

Modified Files:
        pkgsrc/devel/verifast: Makefile

Log Message:
Doesn't actually need an explicit depend run before building, with
other build changes already applied.


To generate a diff of this commit:
cvs rdiff -u -r1.11 -r1.12 pkgsrc/devel/verifast/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/verifast/Makefile
diff -u pkgsrc/devel/verifast/Makefile:1.11 pkgsrc/devel/verifast/Makefile:1.12
--- pkgsrc/devel/verifast/Makefile:1.11 Tue Mar 13 05:45:25 2018
+++ pkgsrc/devel/verifast/Makefile      Tue Mar 13 05:47:25 2018
@@ -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 @@ BUILD_DEPENDS+=               camlp4-[0-9]*:../../lan
 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}/