diff options
Diffstat (limited to 'astro/planets')
-rw-r--r-- | astro/planets/Makefile | 39 | ||||
-rw-r--r-- | astro/planets/distinfo | 2 | ||||
-rw-r--r-- | astro/planets/files/patch-options.ml | 106 | ||||
-rw-r--r-- | astro/planets/pkg-descr | 4 | ||||
-rw-r--r-- | astro/planets/pkg-plist | 4 |
5 files changed, 0 insertions, 155 deletions
diff --git a/astro/planets/Makefile b/astro/planets/Makefile deleted file mode 100644 index 44b55d378c46..000000000000 --- a/astro/planets/Makefile +++ /dev/null @@ -1,39 +0,0 @@ -# Created by: Ying-Chieh Liao <ijliao@FreeBSD.org> -# $FreeBSD$ - -PORTNAME= planets -PORTVERSION= 0.1.13 -PORTREVISION= 1 -CATEGORIES= astro -MASTER_SITES= GENTOO \ - http://planets.homedns.org/dist/ - -MAINTAINER= ports@FreeBSD.org -COMMENT= Orbital simulator - -LICENSE= GPLv2+ -LICENSE_FILE= ${WRKSRC}/COPYING - -BROKEN= unfetchable -DEPRECATED= Unfetchable, unmaintained -EXPIRATION_DATE= 2019-10-16 - -USES= gmake tar:tgz -USE_OCAML= yes -USE_OCAML_CAMLP4=yes -USE_OCAML_TK= yes -USE_XORG= x11 -ALL_TARGET= ${PORTNAME} - -OPTIONS_DEFINE= DOCS - -do-install: - ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin - ${INSTALL_MAN} ${WRKSRC}/planets.1 ${STAGEDIR}${MANPREFIX}/man/man1 - -do-install-DOCS-on: - @${MKDIR} ${STAGEDIR}${DOCSDIR} - ${INSTALL_DATA} ${WRKSRC}/KEYBINDINGS.txt ${STAGEDIR}${DOCSDIR} - ${INSTALL_DATA} ${WRKSRC}/getting_started.html ${STAGEDIR}${DOCSDIR} - -.include <bsd.port.mk> diff --git a/astro/planets/distinfo b/astro/planets/distinfo deleted file mode 100644 index 449d87b3afc7..000000000000 --- a/astro/planets/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (planets-0.1.13.tgz) = cd4be19dc1e16cc3d5bb20fdfa2af025b50cd21dbce5d1e8b3041c4e786c3624 -SIZE (planets-0.1.13.tgz) = 49732 diff --git a/astro/planets/files/patch-options.ml b/astro/planets/files/patch-options.ml deleted file mode 100644 index 51cdf4657bb1..000000000000 --- a/astro/planets/files/patch-options.ml +++ /dev/null @@ -1,106 +0,0 @@ ---- options.ml -+++ options.ml -@@ -93,7 +93,7 @@ end - (*********************************************************************) - (* 'a is the data type, 'b is the widget type *) - --class virtual ['a,'b] option ?name ~text ~set:(set:'a->unit) ~get () = -+class virtual ['a,'b,'c] option ?name ~text ~set:(set:'a->unit) ~get () = - let name = (match name with - None -> random_name 10 - | Some name -> name ) in -@@ -104,7 +104,7 @@ object (self) - val name = name - val text = (text : string) - -- method virtual build_widget : live:bool -> 'b -+ method virtual build_widget : live:bool -> 'b - method display ~live parent = - ignore (self#build_widget ~live parent); - match widget with -@@ -126,9 +126,9 @@ end - - (*********************) - --class ['b] toggle_option ?name ~text ~set ~get () = -+class ['b,'c] toggle_option ?name ~text ~set ~get () = - object (self) -- inherit [bool,'b] option ?name ~text ~set ~get () -+ inherit [bool,'b,'c] option ?name ~text ~set ~get () - - method set_tk bool = - Textvariable.set tk_var (if bool then "true" else "false") -@@ -153,9 +153,9 @@ end - - (*********************) - --class ['b] int_scale_option ?name ~min ~max ~text ~set ~get () = -+class ['b,'c] int_scale_option ?name ~min ~max ~text ~set ~get () = - object (self) -- inherit [int,'b] option ?name ~text ~set ~get () -+ inherit [int,'b,'c] option ?name ~text ~set ~get () - val min = min - val max = max - -@@ -192,10 +192,10 @@ end - - (*******************************************************) - --class ['b] float_scale_option ?name ~min ~max ?(resolution=1.0) -+class ['b, 'c] float_scale_option ?name ~min ~max ?(resolution=1.0) - ~text ~set ~get () = - object (self) -- inherit [float, 'b] option ?name ~text ~set ~get () -+ inherit [float, 'b, 'c] option ?name ~text ~set ~get () - val min = min - val max = max - -@@ -236,10 +236,10 @@ let string_of_float x = - then string ^ "0" - else string - --class ['b] float_entry_option ?name ?(mult=1.1) -+class ['b, 'c] float_entry_option ?name ?(mult=1.1) - ~text ~set ~get () = - object (self) -- inherit [float, 'b] option ?name ~text ~set ~get () -+ inherit [float, 'b, 'c] option ?name ~text ~set ~get () - - val mutable entry = None - -@@ -303,9 +303,9 @@ end - - (*******************************************************) - --class ['b] float_entry_display ?name ~text ~set ~get () = -+class ['b, 'c] float_entry_display ?name ~text ~set ~get () = - object (self) -- inherit [float, 'b] option ?name ~text ~set ~get () -+ inherit [float, 'b, 'c] option ?name ~text ~set ~get () - - val mutable display = None - -@@ -337,9 +337,9 @@ end - - (*******************************************************) - --class ['b] int_entry_display ?name ~text ~set ~get () = -+class ['b, 'c] int_entry_display ?name ~text ~set ~get () = - object (self) -- inherit [int, 'b] option ?name ~text ~set ~get () -+ inherit [int, 'b, 'c] option ?name ~text ~set ~get () - - val mutable display = None - -@@ -371,9 +371,9 @@ end - - (*******************************************************) - --class ['b] void_entry_display ?name ~text () = -+class ['b, 'c] void_entry_display ?name ~text () = - object (self) -- inherit [unit, 'b] option ?name ~text -+ inherit [unit, 'b, 'c] option ?name ~text - ~set:(fun x -> ()) ~get:(fun () -> ()) - () - diff --git a/astro/planets/pkg-descr b/astro/planets/pkg-descr deleted file mode 100644 index 1c4f6a7474e8..000000000000 --- a/astro/planets/pkg-descr +++ /dev/null @@ -1,4 +0,0 @@ -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 4421172c3041..000000000000 --- a/astro/planets/pkg-plist +++ /dev/null @@ -1,4 +0,0 @@ -bin/planets -man/man1/planets.1.gz -%%PORTDOCS%%%%DOCSDIR%%/KEYBINDINGS.txt -%%PORTDOCS%%%%DOCSDIR%%/getting_started.html |