8d9c1678f2
This is a compatibility release with OCaml 4.06.0. It also contains many bugfixes, documentation improvements and user message improvements.
47 lines
1.9 KiB
Makefile
47 lines
1.9 KiB
Makefile
# $NetBSD: options.mk,v 1.3 2018/01/10 16:26:53 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)
|
|
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"
|
|
.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
|