diff options
| author | antoine <antoine@FreeBSD.org> | 2014-09-03 15:03:04 +0000 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-09-03 15:03:04 +0000 |
| commit | d8752f503cebad6b8f477ebe9063cf7e7626220a (patch) | |
| tree | f001bbbc26654110b97c76846e0cdad3e5c927a3 | |
| parent | 8a1c1ec91c647753ef77df1eb9982dfae72b08ae (diff) | |
| download | FreeBSD-ports-d8752f503cebad6b8f477ebe9063cf7e7626220a.zip FreeBSD-ports-d8752f503cebad6b8f477ebe9063cf7e7626220a.tar.gz | |
Fix packaging
| -rw-r--r-- | math/why3/Makefile.common | 1 | ||||
| -rw-r--r-- | math/why3/pkg-plist | 2 | ||||
| -rw-r--r-- | sysutils/ledit/Makefile | 7 | ||||
| -rw-r--r-- | sysutils/ledit/pkg-plist | 5 |
4 files changed, 9 insertions, 6 deletions
diff --git a/math/why3/Makefile.common b/math/why3/Makefile.common index 2cb742d..8c76d9e 100644 --- a/math/why3/Makefile.common +++ b/math/why3/Makefile.common @@ -30,7 +30,6 @@ CONFIGURE_ARGS= --enable-relocation \ --disable-isabelle-libs .if defined(HAS_MANUAL) -PORTDOCS= manual.pdf OPTIONS_DEFINE= DOCS #ISABELLE COQ FRAMA_C .endif diff --git a/math/why3/pkg-plist b/math/why3/pkg-plist index f59dd69..af99926 100644 --- a/math/why3/pkg-plist +++ b/math/why3/pkg-plist @@ -30,6 +30,7 @@ lib/why3/plugins/tptp.cmo lib/why3/plugins/tptp.cmxs lib/why3/why3-call-pvs lib/why3/why3-cpulimit +%%PORTDOCS%%%%DOCSDIR%%/manual.pdf %%DATADIR%%/drivers/alt_ergo.drv %%DATADIR%%/drivers/alt_ergo_0.92.drv %%DATADIR%%/drivers/alt_ergo_0.93.drv @@ -188,6 +189,7 @@ lib/why3/why3-cpulimit @dirrm %%OCAML_SITELIBDIR%%/why3 @dirrm lib/why3/plugins @dirrm lib/why3 +%%PORTDOCS%%@dirrm %%DOCSDIR%% @dirrm %%DATADIR%%/drivers @dirrm %%DATADIR%%/emacs @dirrm %%DATADIR%%/images/boomy diff --git a/sysutils/ledit/Makefile b/sysutils/ledit/Makefile index 65914bd..1a40aeb 100644 --- a/sysutils/ledit/Makefile +++ b/sysutils/ledit/Makefile @@ -22,10 +22,6 @@ USE_OCAML= yes ALL_TARGET= all ledit.opt MAKE_JOBS_UNSAFE= yes -PLIST_FILES= bin/ledit \ - man/man1/ledit.1.gz -PORTDOCS= CHANGES README - OPTIONS_DEFINE= DOCS do-configure: @@ -37,6 +33,7 @@ do-configure: post-install: ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/ledit @${MKDIR} ${STAGEDIR}${DOCSDIR} - ${INSTALL_DATA} ${PORTDOCS:S|^|${WRKSRC}/|} ${STAGEDIR}${DOCSDIR} + ${INSTALL_DATA} ${WRKSRC}/CHANGES ${STAGEDIR}${DOCSDIR} + ${INSTALL_DATA} ${WRKSRC}/README ${STAGEDIR}${DOCSDIR} .include <bsd.port.mk> diff --git a/sysutils/ledit/pkg-plist b/sysutils/ledit/pkg-plist new file mode 100644 index 0000000..468d926 --- /dev/null +++ b/sysutils/ledit/pkg-plist @@ -0,0 +1,5 @@ +bin/ledit +man/man1/ledit.1.gz +%%PORTDOCS%%%%DOCSDIR%%/CHANGES +%%PORTDOCS%%%%DOCSDIR%%/README +%%PORTDOCS%%@dirrm %%DOCSDIR%% |
