summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorrillig <rillig@pkgsrc.org>2019-11-03 19:03:56 +0000
committerrillig <rillig@pkgsrc.org>2019-11-03 19:03:56 +0000
commitf3e75ceb4c3556df6213bde475948b339e473145 (patch)
treeb3b17a0eba0ed16bdb945808e31f63568deae484 /lang/coq
parentad8095b0a5c5b758e832cddea87cfb29097177bd (diff)
downloadpkgsrc-f3e75ceb4c3556df6213bde475948b339e473145.tar.gz
lang: align variable assignments
pkglint -Wall -F --only aligned --only indent -r No manual corrections.
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile32
-rw-r--r--lang/coq/options.mk86
2 files changed, 59 insertions, 59 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index f28ac819f9a..30dc15d8a7c 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.125 2019/09/01 00:51:46 markd Exp $
+# $NetBSD: Makefile,v 1.126 2019/11/03 19:03:57 rillig Exp $
#
DISTNAME= coq-8.9.1
@@ -28,18 +28,18 @@ BUILDLINK_API_DEPENDS.ocaml+= ocaml>=3.10
.include "../../mk/bsd.prefs.mk"
.include "../../mk/ocaml.mk"
-PLIST_VARS+= native
+PLIST_VARS+= native
.if ${OCAML_USE_OPT_COMPILER} == "yes"
-PLIST_SUBST+= COQIDE_TYPE="opt"
-PLIST.native= yes
+PLIST_SUBST+= COQIDE_TYPE="opt"
+PLIST.native= yes
CONFIGURE_ARGS+= -native-compiler yes
UNLIMIT_RESOURCES+= stacksize # compilation of some files needs this
-BUILD_TARGET= world
+BUILD_TARGET= world
.else
-PLIST_SUBST+= COQIDE_TYPE="byte"
+PLIST_SUBST+= COQIDE_TYPE="byte"
CONFIGURE_ARGS+= -native-compiler no
-BUILD_TARGET= byte
-INSTALL_TARGET= install-byte
+BUILD_TARGET= byte
+INSTALL_TARGET= install-byte
.endif
.if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "x86_64")
@@ -54,14 +54,14 @@ PLIST.natdynlink= yes
.include "../../lang/python/pyversion.mk"
-REPLACE_SH= configure install.sh
+REPLACE_SH= configure install.sh
REPLACE_INTERPRETER= python
REPLACE.python.old= python
REPLACE.python.new= ${PYTHONBIN}
REPLACE_FILES.python= tools/TimeFileMaker.py \
- tools/make-both-single-timing-files.py \
- tools/make-both-time-files.py \
- tools/make-one-time-file.py
+ tools/make-both-single-timing-files.py \
+ tools/make-both-time-files.py \
+ tools/make-one-time-file.py
INSTALL_ENV+= COQINSTALLPREFIX=${DESTDIR}
@@ -72,11 +72,11 @@ PLIST_VARS+= coqide natdynlink doc
EGDIR= ${PREFIX}/share/coq/examples
#CONF_FILES= {EGDIR}/coqide-gtk2rc ${PKG_SYSCONFDIR}/xdg/coq/coqide-gtk2rc
-SUBST_CLASSES+= fix-paths
-SUBST_STAGE.fix-paths= post-configure
+SUBST_CLASSES+= fix-paths
+SUBST_STAGE.fix-paths= post-configure
SUBST_MESSAGE.fix-paths= Remove buildlink references from Coq_config module
-SUBST_FILES.fix-paths= config/coq_config.ml
-SUBST_SED.fix-paths= -e "s,${BUILDLINK_DIR},${PREFIX},g"
+SUBST_FILES.fix-paths= config/coq_config.ml
+SUBST_SED.fix-paths= -e "s,${BUILDLINK_DIR},${PREFIX},g"
.include "../../lang/camlp5/buildlink3.mk"
.include "../../math/ocaml-num/buildlink3.mk"
diff --git a/lang/coq/options.mk b/lang/coq/options.mk
index c6481d24b60..477b0d2276f 100644
--- a/lang/coq/options.mk
+++ b/lang/coq/options.mk
@@ -1,53 +1,53 @@
-# $NetBSD: options.mk,v 1.7 2019/09/02 13:33:23 adam Exp $
+# $NetBSD: options.mk,v 1.8 2019/11/03 19:03:57 rillig Exp $
-PKG_OPTIONS_VAR= PKG_OPTIONS.coq
-PKG_SUPPORTED_OPTIONS= doc coqide
-PKG_SUGGESTED_OPTIONS= coqide
+PKG_OPTIONS_VAR= PKG_OPTIONS.coq
+PKG_SUPPORTED_OPTIONS= doc coqide
+PKG_SUGGESTED_OPTIONS= coqide
.include "../../mk/bsd.options.mk"
.if !empty(PKG_OPTIONS:Mdoc)
PYTHON_VERSIONS_INCOMPATIBLE= 27
-CONFIGURE_ARGS+= -with-doc yes
-PLIST.doc= yes
-BUILD_DEPENDS+= tex-latex-bin-[0-9]*:../../print/tex-latex-bin
-BUILD_DEPENDS+= hevea>=1.10:../../textproc/hevea
-BUILD_DEPENDS+= tex-moreverb-[0-9]*:../../print/tex-moreverb
-BUILD_DEPENDS+= tex-preprint-[0-9]*:../../print/tex-preprint
-BUILD_DEPENDS+= tex-ucs-[0-9]*:../../print/tex-ucs
-BUILD_DEPENDS+= py[0-9]*-sphinx-[0-9]*:../../textproc/py-sphinx
-BUILD_DEPENDS+= py[0-9]*-sphinx-rtd-theme-[0-9]*:../../textproc/py-sphinx-rtd-theme
-BUILD_DEPENDS+= py[0-9]*-sphinxcontrib-bibtex-[0-9]*:../../textproc/py-sphinxcontrib-bibtex
-BUILD_DEPENDS+= py[0-9]*-pybtex-[0-9]*:../../textproc/py-pybtex
-BUILD_DEPENDS+= py[0-9]*-pybtex-docutils-[0-9]*:../../textproc/py-pybtex-docutils
-BUILD_DEPENDS+= py[0-9]*-pexpect-[0-9]*:../../devel/py-pexpect
-BUILD_DEPENDS+= py[0-9]*-antlr4-[0-9]*:../../textproc/py-antlr4
-BUILD_DEPENDS+= py[0-9]*-beautifulsoup4-[0-9]*:../../www/py-beautifulsoup4
-BUILD_DEPENDS+= latexmk-[0-9]*:../../print/latexmk
-BUILD_DEPENDS+= tex-xetex-[0-9]*:../../print/tex-xetex
-BUILD_DEPENDS+= tex-polyglossia-[0-9]*:../../print/tex-polyglossia
-BUILD_DEPENDS+= tex-fncychap-[0-9]*:../../print/tex-fncychap
-BUILD_DEPENDS+= tex-tabulary-[0-9]*:../../print/tex-tabulary
-BUILD_DEPENDS+= tex-varwidth-[0-9]*:../../print/tex-varwidth
-BUILD_DEPENDS+= tex-parskip-[0-9]*:../../print/tex-parskip
-BUILD_DEPENDS+= tex-upquote-[0-9]*:../../print/tex-upquote
-BUILD_DEPENDS+= tex-capt-of-[0-9]*:../../print/tex-capt-of
-BUILD_DEPENDS+= tex-needspace-[0-9]*:../../print/tex-needspace
-BUILD_DEPENDS+= tex-unicode-math-[0-9]*:../../math/tex-unicode-math
-BUILD_DEPENDS+= tex-microtype-[0-9]*:../../print/tex-microtype
-BUILD_DEPENDS+= tex-adjustbox-[0-9]*:../../print/tex-adjustbox
-BUILD_DEPENDS+= tex-xindy-[0-9]*:../../textproc/tex-xindy
-BUILD_DEPENDS+= tex-ec-[0-9]*:../../fonts/tex-ec
-BUILD_DEPENDS+= tex-xcolor-[0-9]*:../../print/tex-xcolor
-BUILD_DEPENDS+= tex-xkeyval-[0-9]*:../../print/tex-xkeyval
-BUILD_DEPENDS+= tex-titlesec-[0-9]*:../../print/tex-titlesec
-BUILD_DEPENDS+= tex-framed-[0-9]*:../../print/tex-framed
-BUILD_DEPENDS+= tex-float-[0-9]*:../../print/tex-float
-BUILD_DEPENDS+= tex-wrapfig-[0-9]*:../../print/tex-wrapfig
-BUILD_DEPENDS+= tex-lm-math-[0-9]*:../../fonts/tex-lm-math
-BUILD_DEPENDS+= dvipsk-[0-9]*:../../print/dvipsk
+CONFIGURE_ARGS+= -with-doc yes
+PLIST.doc= yes
+BUILD_DEPENDS+= tex-latex-bin-[0-9]*:../../print/tex-latex-bin
+BUILD_DEPENDS+= hevea>=1.10:../../textproc/hevea
+BUILD_DEPENDS+= tex-moreverb-[0-9]*:../../print/tex-moreverb
+BUILD_DEPENDS+= tex-preprint-[0-9]*:../../print/tex-preprint
+BUILD_DEPENDS+= tex-ucs-[0-9]*:../../print/tex-ucs
+BUILD_DEPENDS+= py[0-9]*-sphinx-[0-9]*:../../textproc/py-sphinx
+BUILD_DEPENDS+= py[0-9]*-sphinx-rtd-theme-[0-9]*:../../textproc/py-sphinx-rtd-theme
+BUILD_DEPENDS+= py[0-9]*-sphinxcontrib-bibtex-[0-9]*:../../textproc/py-sphinxcontrib-bibtex
+BUILD_DEPENDS+= py[0-9]*-pybtex-[0-9]*:../../textproc/py-pybtex
+BUILD_DEPENDS+= py[0-9]*-pybtex-docutils-[0-9]*:../../textproc/py-pybtex-docutils
+BUILD_DEPENDS+= py[0-9]*-pexpect-[0-9]*:../../devel/py-pexpect
+BUILD_DEPENDS+= py[0-9]*-antlr4-[0-9]*:../../textproc/py-antlr4
+BUILD_DEPENDS+= py[0-9]*-beautifulsoup4-[0-9]*:../../www/py-beautifulsoup4
+BUILD_DEPENDS+= latexmk-[0-9]*:../../print/latexmk
+BUILD_DEPENDS+= tex-xetex-[0-9]*:../../print/tex-xetex
+BUILD_DEPENDS+= tex-polyglossia-[0-9]*:../../print/tex-polyglossia
+BUILD_DEPENDS+= tex-fncychap-[0-9]*:../../print/tex-fncychap
+BUILD_DEPENDS+= tex-tabulary-[0-9]*:../../print/tex-tabulary
+BUILD_DEPENDS+= tex-varwidth-[0-9]*:../../print/tex-varwidth
+BUILD_DEPENDS+= tex-parskip-[0-9]*:../../print/tex-parskip
+BUILD_DEPENDS+= tex-upquote-[0-9]*:../../print/tex-upquote
+BUILD_DEPENDS+= tex-capt-of-[0-9]*:../../print/tex-capt-of
+BUILD_DEPENDS+= tex-needspace-[0-9]*:../../print/tex-needspace
+BUILD_DEPENDS+= tex-unicode-math-[0-9]*:../../math/tex-unicode-math
+BUILD_DEPENDS+= tex-microtype-[0-9]*:../../print/tex-microtype
+BUILD_DEPENDS+= tex-adjustbox-[0-9]*:../../print/tex-adjustbox
+BUILD_DEPENDS+= tex-xindy-[0-9]*:../../textproc/tex-xindy
+BUILD_DEPENDS+= tex-ec-[0-9]*:../../fonts/tex-ec
+BUILD_DEPENDS+= tex-xcolor-[0-9]*:../../print/tex-xcolor
+BUILD_DEPENDS+= tex-xkeyval-[0-9]*:../../print/tex-xkeyval
+BUILD_DEPENDS+= tex-titlesec-[0-9]*:../../print/tex-titlesec
+BUILD_DEPENDS+= tex-framed-[0-9]*:../../print/tex-framed
+BUILD_DEPENDS+= tex-float-[0-9]*:../../print/tex-float
+BUILD_DEPENDS+= tex-wrapfig-[0-9]*:../../print/tex-wrapfig
+BUILD_DEPENDS+= tex-lm-math-[0-9]*:../../fonts/tex-lm-math
+BUILD_DEPENDS+= dvipsk-[0-9]*:../../print/dvipsk
.else
-CONFIGURE_ARGS+= -with-doc no
+CONFIGURE_ARGS+= -with-doc no
.endif
.if !empty(PKG_OPTIONS:Mcoqide)