diff options
author | rillig <rillig@pkgsrc.org> | 2019-11-03 19:03:56 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2019-11-03 19:03:56 +0000 |
commit | f3e75ceb4c3556df6213bde475948b339e473145 (patch) | |
tree | b3b17a0eba0ed16bdb945808e31f63568deae484 /lang/coq | |
parent | ad8095b0a5c5b758e832cddea87cfb29097177bd (diff) | |
download | pkgsrc-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/Makefile | 32 | ||||
-rw-r--r-- | lang/coq/options.mk | 86 |
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) |