diff options
author | Mathieu Arnold <mat@FreeBSD.org> | 2016-04-01 14:16:16 +0000 |
---|---|---|
committer | Mathieu Arnold <mat@FreeBSD.org> | 2016-04-01 14:16:16 +0000 |
commit | 8d6597e0bb9591c40fc6d0c6e2159fca51178d56 (patch) | |
tree | d3548a0f08ca434f11cb4415a93d98037409413b /math/coq | |
parent | a9dcad2fffcc27906b85c5a15fdb3e50fdc1e2e2 (diff) | |
download | ports-8d6597e0bb9591c40fc6d0c6e2159fca51178d56.tar.gz ports-8d6597e0bb9591c40fc6d0c6e2159fca51178d56.zip |
Notes
Diffstat (limited to 'math/coq')
-rw-r--r-- | math/coq/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index d09ab0820774..2beb5c86fad9 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -12,8 +12,8 @@ DISTNAME= ${PORTNAME}-${COQVERSION} MAINTAINER= johans@FreeBSD.org COMMENT= Theorem prover based on lambda-C -BUILD_DEPENDS= camlp5:${PORTSDIR}/devel/ocaml-camlp5 \ - ocamlfind:${PORTSDIR}/devel/ocaml-findlib +BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ + ocamlfind:devel/ocaml-findlib COQVERSION= ${PORTVERSION:R}pl${PORTVERSION:E} USES= gmake @@ -31,11 +31,11 @@ OPTIONS_DEFINE= DOCS IDE OPTIONS_DEFAULT= DOCS IDE OPTIONS_SUB= yes IDE_DESC= Include desktop environment (coqide) -IDE_BUILD_DEPENDS= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 -IDE_RUN_DEPENDS:= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 +IDE_BUILD_DEPENDS= lablgtk2:x11-toolkits/ocaml-lablgtk2 +IDE_RUN_DEPENDS:= lablgtk2:x11-toolkits/ocaml-lablgtk2 IDE_CONFIGURE_OFF= --coqide no DOCS_USE= TEX=latex:build,dvipsk:build,texmf:build -DOCS_BUILD_DEPENDS= hevea:${PORTSDIR}/textproc/hevea +DOCS_BUILD_DEPENDS= hevea:textproc/hevea DOCS_CONFIGURE_OFF= --with-doc none PORTDOCS= * |