diff options
| author | rillig <rillig@pkgsrc.org> | 2019-11-02 16:16:18 +0000 |
|---|---|---|
| committer | rillig <rillig@pkgsrc.org> | 2019-11-02 16:16:18 +0000 |
| commit | acea7f0682b89f8d0999e81a81341dfe21db49fc (patch) | |
| tree | e25472ccd0b1ab989f1b92436096953570f7b300 /math/yices2 | |
| parent | 025745474c7cdcbfbdda1d3fb4d09a72d8ce32f3 (diff) | |
| download | pkgsrc-acea7f0682b89f8d0999e81a81341dfe21db49fc.tar.gz | |
math: align variable assignments
pkglint -Wall -F --only aligned -r
Manual correction in R/Makefile.extension for the MASTER_SITES
continuation line.
Diffstat (limited to 'math/yices2')
| -rw-r--r-- | math/yices2/Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/math/yices2/Makefile b/math/yices2/Makefile index 8424932d6b2..df0e3a163f4 100644 --- a/math/yices2/Makefile +++ b/math/yices2/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.2 2019/08/26 21:11:28 alnsn Exp $ +# $NetBSD: Makefile,v 1.3 2019/11/02 16:16:22 rillig Exp $ PKGNAME= yices2-2.6.1 DISTNAME= Yices-${PKGVERSION} @@ -11,13 +11,13 @@ HOMEPAGE= https://yices.csl.sri.com/ COMMENT= Yices 2 SMT solver LICENSE= gnu-gpl-v3 -BUILD_DEPENDS+= gperf-[0-9]*:../../devel/gperf +BUILD_DEPENDS+= gperf-[0-9]*:../../devel/gperf -USE_TOOLS+= autoconf bash gmake -USE_LANGUAGES= c -GNU_CONFIGURE= yes +USE_TOOLS+= autoconf bash gmake +USE_LANGUAGES= c +GNU_CONFIGURE= yes USE_GNU_CONFIGURE_HOST= no -TEST_TARGET= check +TEST_TARGET= check REPLACE_BASH+= tests/regress/check.sh |