0e115e0fcc
The list of improvements, additions, bugfixes and so on is quite large; those interested can refer to the CHANGES file in the distribution. The reference manual has been fully ported to Sphinx.
55 lines
2.5 KiB
Makefile
55 lines
2.5 KiB
Makefile
# $NetBSD: options.mk,v 1.4 2018/08/02 12:57:03 jaapb Exp $
|
|
|
|
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)
|
|
BUILD_DEPENDS+= hevea>=1.10:../../textproc/hevea
|
|
CONFIGURE_ARGS+= -with-doc yes
|
|
PLIST.doc= yes
|
|
#BUILD_DEPENDS+= tex-latex-bin-[0-9]*:../../print/tex-latex-bin
|
|
#BUILD_DEPENDS+= makeindexk-[0-9]*:../../textproc/makeindexk
|
|
#BUILD_DEPENDS+= dvipsk-[0-9]*:../../print/dvipsk
|
|
#BUILD_DEPENDS+= tex-babel-[0-9]*:../../print/tex-babel
|
|
#BUILD_DEPENDS+= tex-babel-english-[0-9]*:../../print/tex-babel-english
|
|
#BUILD_DEPENDS+= tex-bibtex-[0-9]*:../../print/tex-bibtex
|
|
#BUILD_DEPENDS+= tex-cm-super-[0-9]*:../../fonts/tex-cm-super
|
|
#BUILD_DEPENDS+= tex-comment-[0-9]*:../../print/tex-comment
|
|
#BUILD_DEPENDS+= tex-ec-[0-9]*:../../fonts/tex-ec
|
|
#BUILD_DEPENDS+= tex-eepic-[0-9]*:../../graphics/tex-eepic
|
|
#BUILD_DEPENDS+= tex-fancyhdr-[0-9]*:../../print/tex-fancyhdr
|
|
#BUILD_DEPENDS+= tex-float-[0-9]*:../../print/tex-float
|
|
#BUILD_DEPENDS+= tex-index-[0-9]*:../../print/tex-index
|
|
#BUILD_DEPENDS+= tex-listings-[0-9]*:../../print/tex-listings
|
|
BUILD_DEPENDS+= tex-moreverb-[0-9]*:../../print/tex-moreverb
|
|
#BUILD_DEPENDS+= tex-multirow-[0-9]*:../../print/tex-multirow
|
|
BUILD_DEPENDS+= tex-preprint-[0-9]*:../../print/tex-preprint
|
|
#BUILD_DEPENDS+= tex-pslatex-[0-9]*:../../print/tex-pslatex
|
|
#BUILD_DEPENDS+= tex-psnfss-[0-9]*:../../fonts/tex-psnfss
|
|
#BUILD_DEPENDS+= tex-stmaryrd-[0-9]*:../../fonts/tex-stmaryrd
|
|
BUILD_DEPENDS+= tex-ucs-[0-9]*:../../print/tex-ucs
|
|
#BUILD_DEPENDS+= tex-xcolor-[0-9]*:../../print/tex-xcolor
|
|
#BUILD_DEPENDS+= fig2dev-[0-9]*:../../print/fig2dev
|
|
#.include "../../graphics/ImageMagick/buildlink3.mk"
|
|
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
|
|
.else
|
|
CONFIGURE_ARGS+= -with-doc no
|
|
.endif
|
|
|
|
.if !empty(PKG_OPTIONS:Mcoqide)
|
|
.include "../../x11/ocaml-lablgtk/buildlink3.mk"
|
|
.include "../../x11/gtk2/buildlink3.mk"
|
|
PLIST.coqide= yes
|
|
.else
|
|
CONFIGURE_ARGS+= -coqide no
|
|
.endif
|