[Lunar-commits] <moonbase-other> Merge branch 'master' of github.com:lunar-linux/moonbase-other
Florin Braescu
florin at lunar-linux.org
Sat Oct 13 13:42:50 CEST 2012
commit bf82cd8a3271c8530831525f5acacc0e37edf185
Author: Florin Braescu <florin at lunar-linux.org>
Date: Sat, 13 Oct 2012 04:42:50 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/bf82cd8a3271c8530831525f5acacc0e37edf185
Merge branch 'master' of github.com:lunar-linux/moonbase-other
---
compilers/camlp5/BUILD | +3/-1
compilers/camlp5/DETAILS | +6/-3
compilers/clasp/DETAILS | +3/-3
compilers/coq/BUILD | +3/-1
compilers/coq/DEPENDS | +2/-1
compilers/coq/DETAILS | +7/-3
compilers/ocaml/DETAILS | +5/-5
docs/hevea/BUILD | +8/-0
docs/hevea/DEPENDS | +1/-0
docs/hevea/DETAILS | +15/-0
games/freedroid/BUILD | +27/-0
games/freedroid/DEPENDS | +8/-0
games/freedroid/DETAILS | +24/-0
games/freedroidRPG/BUILD | +8/-0
games/freedroidRPG/DEPENDS | +5/-0
games/freedroidRPG/DETAILS | +23/-0
libs/findlib/BUILD | +10/-0
libs/findlib/DEPENDS | +1/-0
libs/findlib/DETAILS | +19/-0
libs/lablgtk/DEPENDS | +1/-0
libs/lablgtk/DETAILS | +6/-6
utils/remind/DETAILS | +17/-0
utils/wyrd/BUILD | +7/-0
utils/wyrd/DEPENDS | +3/-0
utils/wyrd/DETAILS | +19/-0
25 files changed
--- a/compilers/camlp5/BUILD
+++ b/compilers/camlp5/BUILD
@@ -1,7 +1,9 @@
(
+ patch_it $SOURCE2 0 &&
+
./configure -prefix /usr -mandir /usr/share/man/man1 $OPTS &&
- make world.opt &&
+ make world.opt &&
prepare_install &&
make install
--- a/compilers/camlp5/DETAILS
+++ b/compilers/camlp5/DETAILS
@@ -1,11 +1,14 @@
MODULE=camlp5
- VERSION=6.02.3
+ VERSION=6.07
SOURCE=$MODULE-$VERSION.tgz
+ SOURCE2=patch-$VERSION-1
SOURCE_URL=http://pauillac.inria.fr/~ddr/camlp5/distrib/src/
- SOURCE_VFY=sha1:eb0f4f9ade52c2c1e972d61b334bcf01fea76dfc
+ SOURCE2_URL=$SOURCE_URL
+ SOURCE_VFY=sha1:a6b52e533e7062845a0a45dda097cb2eff52b928
+ SOURCE2_VFY=sha1:e97b65d97c8807e558e2ad8849b57a0fb71e15e2
WEB_SITE=http://pauillac.inria.fr/~ddr/camlp5/
ENTERED=20110829
- UPDATED=20110829
+ UPDATED=20121013
SHORT="Camlp5 is a preprocessor-pretty-printer of OCaml."
cat << EOF
Camlp5 is a preprocessor-pretty-printer of OCaml.
--- a/compilers/clasp/DETAILS
+++ b/compilers/clasp/DETAILS
@@ -1,11 +1,11 @@
MODULE=clasp
- VERSION=2.0.6
+ VERSION=2.1.0
SOURCE=$MODULE-$VERSION-source.tar.gz
SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
- SOURCE_VFY=sha1:901c21c782049337ff5572c88fc36d05b9fb2d31
+ SOURCE_VFY=sha1:32ddd5437c7862aa36eb3ac617adb8050c694243
WEB_SITE=http://potassco.sf.net
ENTERED=20120512
- UPDATED=20120512
+ UPDATED=20121013
SHORT="answer set solver for (extended) normal logic programs"
cat << EOF
--- a/compilers/coq/BUILD
+++ b/compilers/coq/BUILD
@@ -1,6 +1,8 @@
(
- ./configure -prefix /usr $OPTS &&
+ patch_it $SOURCE2 1 &&
+
+ ./configure -prefix /usr -configdir /etc $OPTS &&
make world &&
prepare_install &&
make install
--- a/compilers/coq/DEPENDS
+++ b/compilers/coq/DEPENDS
@@ -1,4 +1,5 @@
depends ocaml
depends camlp5
-optional_depends lablgtk "-coqide opt" "-coqide no" "to build a GTK IDE"
+optional_depends lablgtk "-coqide opt" "-coqide no" "build the GTK IDE"
+optional_depends hevea "-with-doc yes" "-with-doc no" "build documentation"
--- a/compilers/coq/DETAILS
+++ b/compilers/coq/DETAILS
@@ -1,12 +1,16 @@
MODULE=coq
- VERSION=8.3pl2
+ VERSION=8.4
SOURCE=$MODULE-$VERSION.tar.gz
+ SOURCE2=$MODULE-lablgtk216.patch
SOURCE_URL=http://coq.inria.fr/distrib/V${VERSION}/files/
- SOURCE_VFY=sha1:8506761e4755739cc728aff790dd778db8217f3f
+ SOURCE2_URL=$PATCH_URL
+ SOURCE_VFY=sha1:2987aa418dd96a0df7284afe296293cb28814ef5
+ SOURCE2_VFY=sha1:d292e02ee556e7bd4e271c616619b697495015dc
WEB_SITE=http://coq.inria.fr/
ENTERED=20110829
- UPDATED=20110829
+ UPDATED=20121013
SHORT="COQ is an interactive proof assistant"
+
cat << EOF
COQ is a Proof Assistant for a Logical Framework known as the Calculus of
Inductive Constructions. It allows the interactive construction of formal
--- a/compilers/ocaml/DETAILS
+++ b/compilers/ocaml/DETAILS
@@ -1,15 +1,15 @@
MODULE=ocaml
- MAJOR=3.12
- VERSION=$MAJOR.1
+ VERSION=4.00.1
SOURCE=$MODULE-$VERSION.tar.bz2
- SOURCE_URL[0]=http://caml.inria.fr/pub/distrib/$MODULE-$MAJOR
+ SOURCE_URL[0]=http://caml.inria.fr/pub/distrib/$MODULE-${VERSION%.*}
SOURCE_URL[1]=$MIRROR_URL
- SOURCE_VFY=sha1:29b44117b116b1a5bc54a8b4514af483793a769f
+ SOURCE_VFY=sha1:10b8a4d0b88d20b003e3dd719f2ac9434e6a1042
WEB_SITE=http://caml.inria.fr
ENTERED=20020512
- UPDATED=20110722
+ UPDATED=20121013
SHORT="An objective cml compiler"
PSAFE=no
+
cat << EOF
Objective Caml belongs to the ML family of programming languages and has been
implemented at INRIA Rocquencourt within the ``Cristal project'' group. Since
--- /dev/null
+++ b/docs/hevea/BUILD
@@ -0,0 +1,8 @@
+(
+
+ sedit "s:PREFIX=/usr/local:PREFIX=/usr:" Makefile &&
+ make &&
+ prepare_install &&
+ make install
+
+) > $C_FIFO 2>&1
--- /dev/null
+++ b/docs/hevea/DEPENDS
@@ -0,0 +1 @@
+depends ocaml
--- /dev/null
+++ b/docs/hevea/DETAILS
@@ -0,0 +1,15 @@
+ MODULE=hevea
+ VERSION=2.00
+ SOURCE=$MODULE-$VERSION.tar.gz
+ SOURCE_URL=http://hevea.inria.fr/distri/
+ SOURCE_VFY=sha1:3de1c2e32f125c305d902fb1c066facc939405a2
+ WEB_SITE=http://hevea.inria.fr/
+ ENTERED=20121013
+ UPDATED=20121013
+ SHORT="LaTeX to HTML translator"
+cat << EOF
+HeVeA is a LaTeX to html translator.
+The input language is a fairly complete subset
+of LaTeX2e and the output language is HTML that is
+(hopefully) correct with respect to version 5.
+EOF
--- /dev/null
+++ b/games/freedroid/BUILD
@@ -0,0 +1,27 @@
+(
+
+ #libvorbis moved the important function
+ sedit 's:vorbis:vorbisfile:' configure.ac &&
+ sedit 's:HAVE_LIBVORBIS:HAVE_LIBVORBISFILE:' src/sound.c &&
+ autoreconf . &&
+
+ default_game_build &&
+
+ bmptopnm graphics/paraicon.bmp > paraicon.pnm &&
+ pnmtopng paraicon.pnm > $MODULE.png &&
+ install -D -m644 $MODULE.png /usr/share/pixmaps/$MODULE.png &&
+
+ # Desktop menu entry
+ cat > $MODULE.desktop << EOF &&
+[Desktop Entry]
+Type=Application
+Name=Freedroid
+Comment=$SHORT
+Exec=$MODULE
+Icon=$MODULE
+Categories=Game;ArcadeGame;
+EOF
+
+ install -D -m644 $MODULE.desktop /usr/share/applications/$MODULE.desktop
+
+) > $C_FIFO 2>&1
--- /dev/null
+++ b/games/freedroid/DEPENDS
@@ -0,0 +1,8 @@
+depends SDL_image
+depends SDL_net
+
+#for desktop icon
+depends netpbm
+
+optional_depends "SDL_mixer" "" "" "for Audio support"
+optional_depends "libvorbis" "" "" "for the Intro theme"
--- /dev/null
+++ b/games/freedroid/DETAILS
@@ -0,0 +1,24 @@
+ MODULE=freedroid
+ VERSION=1.0.2
+ SOURCE=$MODULE-$VERSION.tar.gz
+ SOURCE_URL=$SFORGE_URL/freedroid/
+ WEB_SITE=http://freedroid.sourceforge.net/
+ SOURCE_VFY=sha1:69593c8e4d204d8e523f6e4b4f1091dd69fdef24
+ ENTERED=20041016
+ UPDATED=20041016
+ SHORT="clone of the Commodore 64 game Paradroid"
+
+cat << EOF
+THE CLASSICAL FREEDROID: Freedroid is a clone of the classic game
+"Paradroid" on Commodore 64 with some improvements and extensions to
+the classic version.
+
+In this game, you control a robot, depicted by a small white ball with
+a few numbers within an interstellar spaceship consisting of several
+decks connected by elevators.
+
+The aim of the game is to destroy all enemy robots, depicted by small
+black balls with a few numbers, by either shooting them or seizing
+control over them by creating connections in a short subgame of
+electric circuits.
+EOF
--- /dev/null
+++ b/games/freedroidRPG/BUILD
@@ -0,0 +1,8 @@
+(
+
+ sedit "s:LUA_LIBS:LUA_LIBS -ldl:" configure.ac &&
+ autoreconf . &&
+
+ default_game_build
+
+) > $C_FIFO 2>&1
--- /dev/null
+++ b/games/freedroidRPG/DEPENDS
@@ -0,0 +1,5 @@
+depends SDL_image
+depends SDL_net
+depends SDL_gfx
+
+optional_depends "SDL_mixer" "" "" "for Audio support"
--- /dev/null
+++ b/games/freedroidRPG/DETAILS
@@ -0,0 +1,23 @@
+ MODULE=freedroidRPG
+ VERSION=0.15.1
+ SOURCE=$MODULE-$VERSION.tar.gz
+ SOURCE_URL=$SFORGE_URL/freedroid/$MODULE/${MODULE}-${VERSION%.*}
+SOURCE_DIRECTORY=$BUILD_DIRECTORY/freedroidrpg-$VERSION
+ SOURCE_VFY=sha1:5d298d160af8332fff4eca71aa091d85e4031767
+ WEB_SITE=http://freedroid.sourceforge.net
+ ENTERED=20040922
+ UPDATED=20120606
+ SHORT="A Diablo-like extension of freedroid into an RPG"
+
+cat << EOF
+FreedroidRPG is derived from the original classic Freedroid
+based on the game paradroid from the commodore 64. In this game you
+are Tux, one of a race sentient penguins. Humanity is in ruins due
+to the evil MegaSoft corporation and their original plans to rule the
+human race. An attempt to use their omnipresent software to take
+over all droids, upon which humanity depended, backfired when the droids
+themselves became self-aware and decided to put forth their own plans
+for total domination. As Tux, it is your job to restore things to
+their rightful place and undue the horrible, evil, and thouroughly
+inhumane things initiated by this MS corporation.
+EOF
--- /dev/null
+++ b/libs/findlib/BUILD
@@ -0,0 +1,10 @@
+(
+
+ ./configure -bindir /usr/bin -mandir /usr/share/man/man1 -config /etc/findlib.conf &&
+
+ make all &&
+ make opt &&
+ prepare_install &&
+ make install
+
+) > $C_FIFO 2>&1
--- /dev/null
+++ b/libs/findlib/DEPENDS
@@ -0,0 +1 @@
+depends ocaml
--- /dev/null
+++ b/libs/findlib/DETAILS
@@ -0,0 +1,19 @@
+ MODULE=findlib
+ VERSION=1.3.3
+ SOURCE=$MODULE-$VERSION.tar.gz
+ SOURCE_URL=http://download.camlcity.org/download/
+ SOURCE_VFY=sha1:5d1a52b77145348ded29fefe13736694aabb1868
+ WEB_SITE=http://projects.camlcity.org/projects/findlib.html
+ ENTERED=20121013
+ UPDATED=20121013
+ SHORT="Objective Caml library manager"
+#PSAFE=no
+
+cat << EOF
+Findlib is a library manager for Objective Caml.
+It provides a convention how to store libraries,
+and a file format ("META") to describe the properties
+of libraries. There is also a tool (ocamlfind) for
+interpreting the META files, so that it is very easy
+to use libraries in programs and scripts.
+EOF
--- a/libs/lablgtk/DEPENDS
+++ b/libs/lablgtk/DEPENDS
@@ -1,3 +1,4 @@
depends ocaml
+depends findlib
depends libglade
depends librsvg
--- a/libs/lablgtk/DETAILS
+++ b/libs/lablgtk/DETAILS
@@ -1,13 +1,13 @@
MODULE=lablgtk
- VERSION=2.14.2
+ VERSION=2.16.0
SOURCE=$MODULE-$VERSION.tar.gz
- SOURCE_URL=http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist
- SOURCE_VFY=sha1:fd184418ccbc542825748ca63fba75138d2ea561
- WEB_SITE=http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
+ SOURCE_URL=https://forge.ocamlcore.org/frs/download.php/979/
+ SOURCE_VFY=sha1:3dec411a410fbb38d6e2e5a43a4ebfb2e407e7e6
+ WEB_SITE=http://lablgtk.forge.ocamlcore.org/
ENTERED=20050109
- UPDATED=20101119
- PSAFE=no
+ UPDATED=20121013
SHORT="Objective Caml interface to gtk+"
+PSAFE=no
cat << EOF
It uses the rich type system of Objective Caml 3 to provide a strongly typed,
--- /dev/null
+++ b/utils/remind/DETAILS
@@ -0,0 +1,17 @@
+ MODULE=remind
+ VERSION=03.01.12
+ SOURCE=$MODULE-$VERSION.tar.gz
+ SOURCE_URL=http://www.roaringpenguin.com/files/download
+ SOURCE_VFY=sha1:0978357014916e0c5259e18b845d291eeb367b6c
+ WEB_SITE=http://www.roaringpenguin.com/products/remind
+ ENTERED=20090223
+ UPDATED=20120513
+ SHORT="sophisticated calendar and alarm program"
+
+cat <<EOF
+Remind is a sophisticated calendar and alarm service for Unix.
+It is a command line application which interacts well with other
+programs. Remind offers a specialized scripting language which
+can be used to express rather complicated scheduling methods in
+just a few lines.
+EOF
--- /dev/null
+++ b/utils/wyrd/BUILD
@@ -0,0 +1,7 @@
+(
+
+ sedit "s:-lt 8:-lt 8 -a \$OCAMLMAJORVERSION -eq 3:" configure &&
+
+ default_build
+
+) > $C_FIFO 2>&1
--- /dev/null
+++ b/utils/wyrd/DEPENDS
@@ -0,0 +1,3 @@
+depends ncurses
+depends ocaml
+depends remind
--- /dev/null
+++ b/utils/wyrd/DETAILS
@@ -0,0 +1,19 @@
+ MODULE=wyrd
+ VERSION=1.4.5
+ SOURCE=${MODULE}-${VERSION}.tar.gz
+ SOURCE_URL=http://pessimization.com/software/wyrd/
+ SOURCE_VFY=sha1:97b6c03ca532e5c209c112f5fb050cafbcecce6d
+ WEB_SITE="http://pessimization.com/software/wyrd/"
+ ENTERED=20090223
+ UPDATED=20121013
+ SHORT="ncurses frontend for remind"
+
+PSAFE=no
+cat <<EOF
+Wyrd is a text-based front-end to Remind, a sophisticated calendar
+and alarm program. Remind's power lies in its programmability, and
+Wyrd does not hide this capability behind flashy GUI dialogs. Rather,
+Wyrd is designed to make you more efficient at editing your reminder
+files directly. It also offers a scrollable timetable suitable for
+visualizing your schedule at a glance.
+EOF
More information about the Lunar-commits
mailing list