diff options
author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-08-28 13:39:56 +0000 |
---|---|---|
committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-08-28 13:39:56 +0000 |
commit | e638299edcfecb35838ad7fad0b71c4fa5ed7639 (patch) | |
tree | 30df43bd9eff2c4d3d713edce11d9d1da280e753 /math/ocaml-zarith | |
parent | 3c87974395c0f207b0768da251c721e0125b48b7 (diff) | |
download | ports-e638299edcfecb35838ad7fad0b71c4fa5ed7639.tar.gz ports-e638299edcfecb35838ad7fad0b71c4fa5ed7639.zip |
- Switch to options helpers
- While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS
Approved by: portmgr blanket
Notes
Notes:
svn path=/head/; revision=395483
Diffstat (limited to 'math/ocaml-zarith')
-rw-r--r-- | math/ocaml-zarith/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile index aa7d75d5ff7f..ae8292f9e347 100644 --- a/math/ocaml-zarith/Makefile +++ b/math/ocaml-zarith/Makefile @@ -32,14 +32,10 @@ DOCSDIR= ${OCAML_DOCSDIR}/${PORTNAME} OPTIONS_DEFINE= DOCS -.include <bsd.port.options.mk> +DOCS_ALL_TARGET=doc -.if ${PORT_OPTIONS:MDOCS} -ALL_TARGET+= doc - -post-install: +post-install-DOCS-on: ${MKDIR} ${STAGEDIR}${DOCSDIR} ${MV} ${WRKSRC}/html ${STAGEDIR}${DOCSDIR} -.endif .include <bsd.port.mk> |