diff options
| author | Emanuel Haupt <ehaupt@FreeBSD.org> | 2011-10-18 13:03:34 +0000 |
|---|---|---|
| committer | Emanuel Haupt <ehaupt@FreeBSD.org> | 2011-10-18 13:03:34 +0000 |
| commit | 2ae28e1dd9f907e36b4ad0960b8096b149ed57f7 (patch) | |
| tree | b4f2a8077c1c08a3ec0ef90e33710d6a3825ba73 /astro | |
| parent | 9989180feefad940420001df007d4406b7e8c3b2 (diff) | |
| download | ports-2ae28e1dd9f907e36b4ad0960b8096b149ed57f7.tar.gz ports-2ae28e1dd9f907e36b4ad0960b8096b149ed57f7.zip | |
Notes
Diffstat (limited to 'astro')
| -rw-r--r-- | astro/planets/Makefile | 14 | ||||
| -rw-r--r-- | astro/planets/pkg-descr | 2 | ||||
| -rw-r--r-- | astro/planets/pkg-plist | 4 |
3 files changed, 11 insertions, 9 deletions
diff --git a/astro/planets/Makefile b/astro/planets/Makefile index e7781ddf495d..3a93385b8a97 100644 --- a/astro/planets/Makefile +++ b/astro/planets/Makefile @@ -9,19 +9,23 @@ PORTNAME= planets PORTVERSION= 0.1.13 CATEGORIES= astro -MASTER_SITES= http://planets.homedns.org/dist/ \ - http://sheepkiller.nerim.net/ports/${PORTNAME}/ +MASTER_SITES= GENTOO/distfiles \ + http://planets.homedns.org/dist/ EXTRACT_SUFX= .tgz MAINTAINER= ports@FreeBSD.org COMMENT= An orbital simulator +LICENSE= GPLv2 + BUILD_DEPENDS= ocaml:${PORTSDIR}/lang/ocaml USE_GMAKE= yes ALL_TARGET= ${PORTNAME} -MAN1= planets.1 +MAN1= planets.1 +PORTDOCS= KEYBINDINGS.txt getting_started.html +PLIST_FILES= bin/planets .if defined(WITHOUT_X11) BROKEN= Does not build without X11 support @@ -32,8 +36,8 @@ do-install: ${INSTALL_MAN} ${WRKSRC}/planets.1 ${MANPREFIX}/man/man1 .if !defined(NOPORTDOCS) @${MKDIR} ${DOCSDIR} -.for file in KEYBINDINGS.txt getting_started.html - ${INSTALL_DATA} ${WRKSRC}/${file} ${DOCSDIR} +.for doc in ${PORTDOCS} + ${INSTALL_DATA} ${WRKSRC}/${doc} ${DOCSDIR} .endfor .endif diff --git a/astro/planets/pkg-descr b/astro/planets/pkg-descr index 1285dcbf2002..1c4f6a7474e8 100644 --- a/astro/planets/pkg-descr +++ b/astro/planets/pkg-descr @@ -1,2 +1,4 @@ Planets is a simple interactive program for playing with simulations of planetary systems. + +WWW: http://planets.homedns.org/ diff --git a/astro/planets/pkg-plist b/astro/planets/pkg-plist deleted file mode 100644 index 3f4375e3772c..000000000000 --- a/astro/planets/pkg-plist +++ /dev/null @@ -1,4 +0,0 @@ -bin/planets -%%PORTDOCS%%%%DOCSDIR%%/KEYBINDINGS.txt -%%PORTDOCS%%%%DOCSDIR%%/getting_started.html -%%PORTDOCS%%@dirrm %%DOCSDIR%% |