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/why3 | |
| parent | a9dcad2fffcc27906b85c5a15fdb3e50fdc1e2e2 (diff) | |
| download | ports-8d6597e0bb9591c40fc6d0c6e2159fca51178d56.tar.gz ports-8d6597e0bb9591c40fc6d0c6e2159fca51178d56.zip | |
Notes
Diffstat (limited to 'math/why3')
| -rw-r--r-- | math/why3/Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/math/why3/Makefile b/math/why3/Makefile index 453515dbb17e..b3df4aada4cb 100644 --- a/math/why3/Makefile +++ b/math/why3/Makefile @@ -16,11 +16,11 @@ LICENSE_FILE= ${WRKSRC}/LICENSE CONFLICTS_INSTALL= why3-gpl-* -BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \ - lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 \ - ocaml-sqlite3>2:${PORTSDIR}/databases/ocaml-sqlite3 \ - ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph \ - camlp5o:${PORTSDIR}/devel/ocaml-camlp5 +BUILD_DEPENDS= ocaml-zarith>1.2:math/ocaml-zarith \ + lablgtk2:x11-toolkits/ocaml-lablgtk2 \ + ocaml-sqlite3>2:databases/ocaml-sqlite3 \ + ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \ + camlp5o:devel/ocaml-camlp5 GNU_CONFIGURE= yes INSTALL_TARGET= install-all @@ -48,8 +48,8 @@ OPTIONS_DEFINE= DOCS # also removed from ALL_TARGET # #DOCS_CONFIGURE_ENABLE= doc -#DOCS_BUILD_DEPENDS= rubber:${PORTSDIR}/textproc/rubber \ -# hevea:${PORTSDIR}/textproc/hevea +#DOCS_BUILD_DEPENDS= rubber:textproc/rubber \ +# hevea:textproc/hevea MAKE_JOBS_UNSAFE= yes |