diff options
| author | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2002-03-15 06:24:29 +0000 |
|---|---|---|
| committer | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2002-03-15 06:24:29 +0000 |
| commit | c404cc80165f20a004581c7efa1f9d7706475a3c (patch) | |
| tree | 17c2662824dbedee78092ceb4e8d3e0d4fdf77ce | |
| parent | be2c76123ebe028d3a26dabd7c20e280b1e2f13e (diff) | |
| download | ports-c404cc80165f20a004581c7efa1f9d7706475a3c.tar.gz ports-c404cc80165f20a004581c7efa1f9d7706475a3c.zip | |
Notes
| -rw-r--r-- | astro/Makefile | 1 | ||||
| -rw-r--r-- | astro/planets/Makefile | 32 | ||||
| -rw-r--r-- | astro/planets/distinfo | 1 | ||||
| -rw-r--r-- | astro/planets/pkg-comment | 1 | ||||
| -rw-r--r-- | astro/planets/pkg-descr | 4 | ||||
| -rw-r--r-- | astro/planets/pkg-plist | 4 |
6 files changed, 43 insertions, 0 deletions
diff --git a/astro/Makefile b/astro/Makefile index 75debec1b5b1..0ed5b69bfb41 100644 --- a/astro/Makefile +++ b/astro/Makefile @@ -23,6 +23,7 @@ SUBDIR += p5-GPS SUBDIR += p5-Geo-METAR SUBDIR += p5-SETI-Stats + SUBDIR += planets SUBDIR += pyweather SUBDIR += rmap SUBDIR += saoimage diff --git a/astro/planets/Makefile b/astro/planets/Makefile new file mode 100644 index 000000000000..0ba3223fefbb --- /dev/null +++ b/astro/planets/Makefile @@ -0,0 +1,32 @@ +# ex:ts=8 +# Ports collection makefile for: planets +# Date created: Mar 15, 2002 +# Whom: ijliao +# +# $FreeBSD$ +# + +PORTNAME= planets +PORTVERSION= 0.1.5 +CATEGORIES= astro +MASTER_SITES= http://planets.homedns.org/dist/${PORTVERSION}/ +DISTNAME= ${PORTNAME} +EXTRACT_SUFX= .tgz + +MAINTAINER= ports@FreeBSD.org + +BUILD_DEPENDS= ocaml:${PORTSDIR}/lang/ocaml + +USE_GMAKE= yes +ALL_TARGET= ${PORTNAME} + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${PREFIX}/bin +.if !defined(NOPORTDOCS) + @${MKDIR} ${DOCSDIR} +.for file in KEYBINDINGS.txt getting_started.html + ${INSTALL_DATA} ${WRKSRC}/${file} ${DOCSDIR} +.endfor +.endif + +.include <bsd.port.mk> diff --git a/astro/planets/distinfo b/astro/planets/distinfo new file mode 100644 index 000000000000..36205fcbabd6 --- /dev/null +++ b/astro/planets/distinfo @@ -0,0 +1 @@ +MD5 (planets.tgz) = cfa21bc2a8b3e403814c5a4a4118cad3 diff --git a/astro/planets/pkg-comment b/astro/planets/pkg-comment new file mode 100644 index 000000000000..67231ff3138e --- /dev/null +++ b/astro/planets/pkg-comment @@ -0,0 +1 @@ +An orbital simulator diff --git a/astro/planets/pkg-descr b/astro/planets/pkg-descr new file mode 100644 index 000000000000..1c4f6a7474e8 --- /dev/null +++ b/astro/planets/pkg-descr @@ -0,0 +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 new file mode 100644 index 000000000000..91f5ad0cad5f --- /dev/null +++ b/astro/planets/pkg-plist @@ -0,0 +1,4 @@ +bin/planets +%%PORTDOCS%%share/doc/planets/KEYBINDINGS.txt +%%PORTDOCS%%share/doc/planets/getting_started.html +%%PORTDOCS%%@dirrm share/doc/planets |