1 ;;; GNU Guix --- Functional package management for GNU
2 ;;; Copyright © 2016 Danny Milosavljevic <dannym@scratchpost.org>
3 ;;; Copyright © 2016 Ricardo Wurmus <rekado@elephly.net>
5 ;;; This file is part of GNU Guix.
7 ;;; GNU Guix is free software; you can redistribute it and/or modify it
8 ;;; under the terms of the GNU General Public License as published by
9 ;;; the Free Software Foundation; either version 3 of the License, or (at
10 ;;; your option) any later version.
12 ;;; GNU Guix is distributed in the hope that it will be useful, but
13 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
14 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 ;;; GNU General Public License for more details.
17 ;;; You should have received a copy of the GNU General Public License
18 ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
20 (define-module (gnu packages education)
21 #:use-module (ice-9 regex)
22 #:use-module (gnu packages)
23 #:use-module (gnu packages qt)
24 #:use-module (gnu packages compression)
25 #:use-module (gnu packages databases)
26 #:use-module (gnu packages gettext)
27 #:use-module (gnu packages glib)
28 #:use-module (gnu packages gnome)
29 #:use-module (gnu packages gtk)
30 #:use-module (gnu packages perl)
31 #:use-module (gnu packages pkg-config)
32 #:use-module (gnu packages python)
33 #:use-module (gnu packages sdl)
34 #:use-module (gnu packages texinfo)
35 #:use-module (gnu packages xml)
36 #:use-module ((guix licenses) #:prefix license:)
37 #:use-module (guix packages)
38 #:use-module (guix download)
39 #:use-module (guix svn-download)
40 #:use-module (guix utils)
41 #:use-module (guix build-system gnu)
42 #:use-module (guix build-system cmake)
43 #:use-module (srfi srfi-1))
45 (define-public stellarium
51 (uri (string-append "mirror://sourceforge/stellarium/"
53 version "/stellarium-" version ".tar.gz"))
55 "1xxil0rv61zc08znfv83cpsc47y1gjl2f3njhz0pn5zd8jpaa15a"))))
56 (build-system cmake-build-system)
60 ("qtserialport" ,qtserialport)
61 ("qtscript" ,qtscript)
62 ("gettext" ,gettext-minimal)))
64 `(("qtbase" ,qtbase) ;Qt MOC is needed at compile time
66 ("perl" ,perl))) ;for 'pod2man'
68 `(#:test-target "tests"
69 #:phases (modify-phases %standard-phases
70 (add-before 'check 'set-offscreen-display
72 (setenv "QT_QPA_PLATFORM" "offscreen")
73 (setenv "HOME" "/tmp")
75 (home-page "http://www.stellarium.org/")
76 (synopsis "3D sky viewer")
77 (description "Stellarium is a planetarium. It shows a realistic sky in
78 3D, just like what you see with the naked eye, binoculars, or a telescope. It
79 can be used to control telescopes over a serial port for tracking celestial
81 (license license:gpl2+)))
83 (define-public gcompris
89 (uri (string-append "http://gcompris.net/download/gtk/src/gcompris-"
93 "0f7wa27vvpn9ansp2aald1pajqlx5d51mvj07ba503yvl7i77fka"))))
94 (build-system gnu-build-system)
97 ;; Use SDL mixer because otherwise GCompris would need an old version
99 (list "--enable-sdlmixer"
100 "LDFLAGS=-lgmodule-2.0")
102 (modify-phases %standard-phases
103 (add-after 'set-paths 'set-sdl-paths
104 (lambda* (#:key inputs #:allow-other-keys)
106 (string-append (assoc-ref inputs "sdl-mixer")
113 ("sdl-mixer" ,sdl-mixer)
118 `(("intltool" ,intltool)
120 ("texi2html" ,texi2html)
121 ("glib:bin" ,glib "bin")
122 ("pkg-config" ,pkg-config)))
123 (home-page "http://gcompris.net")
124 (synopsis "Educational software suite")
125 (description "GCompris is an educational software suite comprising of
126 numerous activities for children aged 2 to 10. Some of the activities are
127 game orientated, but nonetheless still educational. Below you can find a list
128 of categories with some of the activities available in that category.
131 @item computer discovery: keyboard, mouse, different mouse gestures, ...
132 @item arithmetic: table memory, enumeration, double entry table, mirror image, ...
133 @item science: the canal lock, the water cycle, the submarine, electric simulation ...
134 @item geography: place the country on the map
135 @item games: chess, memory, connect 4, oware, sudoku ...
136 @item reading: reading practice
137 @item other: learn to tell time, puzzle of famous paintings, vector drawing, cartoon making, ...
140 (license license:gpl3+)))