diff options
| author | dholland <dholland@pkgsrc.org> | 2018-03-13 05:47:25 +0000 |
|---|---|---|
| committer | dholland <dholland@pkgsrc.org> | 2018-03-13 05:47:25 +0000 |
| commit | 5acb53937be5f15165d266f5238b8e79d26c3477 (patch) | |
| tree | e82b1a2904446d25c468e0676747b788f135c27c /devel | |
| parent | fea7ddc92785317eafecb24409c751fd75461b04 (diff) | |
| download | pkgsrc-5acb53937be5f15165d266f5238b8e79d26c3477.tar.gz | |
Doesn't actually need an explicit depend run before building, with
other build changes already applied.
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/verifast/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/devel/verifast/Makefile b/devel/verifast/Makefile index 13aa714442f..ff46f5dbb9f 100644 --- a/devel/verifast/Makefile +++ b/devel/verifast/Makefile @@ -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]*:../../lang/camlp4 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}/ |