aboutsummaryrefslogtreecommitdiffstats
path: root/astro
diff options
context:
space:
mode:
authorijliao <ijliao@FreeBSD.org>2002-03-15 14:24:29 +0800
committerijliao <ijliao@FreeBSD.org>2002-03-15 14:24:29 +0800
commit0eb59971f5e3f411580c31dcddfe5e1ec4a6122c (patch)
tree984aa80dd59665db8d4eb685025fd916bfbb9042 /astro
parentd00d6bdb6f3f67c91893d9ff3e460a365777289d (diff)
downloadfreebsd-ports-gnome-0eb59971f5e3f411580c31dcddfe5e1ec4a6122c.tar.gz
freebsd-ports-gnome-0eb59971f5e3f411580c31dcddfe5e1ec4a6122c.tar.zst
freebsd-ports-gnome-0eb59971f5e3f411580c31dcddfe5e1ec4a6122c.zip
add planets 0.1.5
An orbital simulator
Diffstat (limited to 'astro')
-rw-r--r--astro/Makefile1
-rw-r--r--astro/planets/Makefile32
-rw-r--r--astro/planets/distinfo1
-rw-r--r--astro/planets/pkg-comment1
-rw-r--r--astro/planets/pkg-descr4
-rw-r--r--astro/planets/pkg-plist4
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