1078 lines
43 KiB
Scheme
1078 lines
43 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2016 Danny Milosavljevic <dannym@scratchpost.org>
|
||
;;; Copyright © 2016, 2017 Ricardo Wurmus <rekado@elephly.net>
|
||
;;; Copyright © 2016 Hartmut Goebel <h.goebel@crazy-compilers.com>
|
||
;;; Copyright © 2017, 2018, 2019, 2020, 2021, 2022 Efraim Flashner <efraim@flashner.co.il>
|
||
;;; Copyright © 2018–2021 Tobias Geerinckx-Rice <me@tobias.gr>
|
||
;;; Copyright © 2018-2022 Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
||
;;; Copyright © 2020 Robert Smith <robertsmith@posteo.net>
|
||
;;; Copyright © 2020 Guy Fleury Iteriteka <gfleury@disroot.org>
|
||
;;; Copyright © 2020 Jakub Kądziołka <kuba@kadziolka.net>
|
||
;;; Copyright © 2020 Prafulla Giri <pratheblackdiamond@gmail.com>
|
||
;;; Copyright © 2021 Nicolò Balzarotti <nicolo@nixo.xyz>
|
||
;;;
|
||
;;; This file is part of GNU Guix.
|
||
;;;
|
||
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||
;;; under the terms of the GNU General Public License as published by
|
||
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||
;;; your option) any later version.
|
||
;;;
|
||
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;;; GNU General Public License for more details.
|
||
;;;
|
||
;;; You should have received a copy of the GNU General Public License
|
||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
(define-module (gnu packages education)
|
||
#:use-module (ice-9 regex)
|
||
#:use-module (gnu packages)
|
||
#:use-module (gnu packages audio)
|
||
#:use-module (gnu packages base)
|
||
#:use-module (gnu packages bash)
|
||
#:use-module (gnu packages compression)
|
||
#:use-module (gnu packages curl)
|
||
#:use-module (gnu packages databases)
|
||
#:use-module (gnu packages flex)
|
||
#:use-module (gnu packages fonts)
|
||
#:use-module (gnu packages fontutils)
|
||
#:use-module (gnu packages freedesktop)
|
||
#:use-module (gnu packages game-development)
|
||
#:use-module (gnu packages gettext)
|
||
#:use-module (gnu packages glib)
|
||
#:use-module (gnu packages gnome)
|
||
#:use-module (gnu packages golang)
|
||
#:use-module (gnu packages gtk)
|
||
#:use-module (gnu packages image)
|
||
#:use-module (gnu packages javascript)
|
||
#:use-module (gnu packages kde)
|
||
#:use-module (gnu packages kde-frameworks) ; extra-cmake-modules
|
||
#:use-module (gnu packages linux)
|
||
#:use-module (gnu packages mp3)
|
||
#:use-module (gnu packages ncurses)
|
||
#:use-module (gnu packages pdf)
|
||
#:use-module (gnu packages perl)
|
||
#:use-module (gnu packages pkg-config)
|
||
#:use-module (gnu packages python)
|
||
#:use-module (gnu packages python-web)
|
||
#:use-module (gnu packages python-xyz)
|
||
#:use-module (gnu packages qt)
|
||
#:use-module (gnu packages readline)
|
||
#:use-module (gnu packages sdl)
|
||
#:use-module (gnu packages sqlite)
|
||
#:use-module (gnu packages texinfo)
|
||
#:use-module (gnu packages tls)
|
||
#:use-module (gnu packages video)
|
||
#:use-module (gnu packages xiph)
|
||
#:use-module (gnu packages xorg)
|
||
#:use-module (gnu packages xml)
|
||
#:use-module (guix gexp)
|
||
#:use-module ((guix licenses) #:prefix license:)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix download)
|
||
#:use-module (guix git-download)
|
||
#:use-module (guix svn-download)
|
||
#:use-module (guix utils)
|
||
#:use-module (guix build-system cmake)
|
||
#:use-module (guix build-system gnu)
|
||
#:use-module (guix build-system go)
|
||
#:use-module (guix build-system python)
|
||
#:use-module (guix build-system qt)
|
||
#:use-module (guix build-system trivial)
|
||
#:use-module (srfi srfi-1))
|
||
|
||
(define-public gcompris
|
||
(package
|
||
(name "gcompris")
|
||
(version "17.05")
|
||
(source (origin
|
||
(method url-fetch)
|
||
(uri (string-append "http://gcompris.net/download/gtk/src/gcompris-"
|
||
version ".tar.bz2"))
|
||
(sha256
|
||
(base32
|
||
"18y483alb4r4vfmh80nnl0pah5gv0b8frcm6l1drb9njn5xlcpgc"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:configure-flags
|
||
;; Use SDL mixer because otherwise GCompris would need an old version
|
||
;; of Gstreamer.
|
||
(list "--enable-sdlmixer"
|
||
"LDFLAGS=-lgmodule-2.0")
|
||
#:make-flags
|
||
(list "CFLAGS=-fcommon")
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'set-paths 'set-sdl-paths
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(setenv "CPATH"
|
||
(string-append
|
||
(search-input-directory inputs "include/SDL")
|
||
":" (or (getenv "CPATH") ""))))))))
|
||
(inputs
|
||
`(("gtk+" ,gtk+-2)
|
||
("librsvg" ,librsvg)
|
||
("libxml2" ,libxml2)
|
||
("sdl-mixer" ,sdl-mixer)
|
||
("sqlite" ,sqlite)
|
||
("glib:bin" ,glib)
|
||
("python" ,python)))
|
||
(native-inputs
|
||
`(("intltool" ,intltool)
|
||
("texinfo" ,texinfo)
|
||
("texi2html" ,texi2html)
|
||
("glib:bin" ,glib "bin")
|
||
("pkg-config" ,pkg-config)))
|
||
(home-page "https://gcompris.net")
|
||
(synopsis "Educational software suite")
|
||
(description "GCompris is an educational software suite comprising of
|
||
numerous activities for children aged 2 to 10. Some of the activities are
|
||
game orientated, but nonetheless still educational. Below you can find a list
|
||
of categories with some of the activities available in that category.
|
||
|
||
@enumerate
|
||
@item computer discovery: keyboard, mouse, different mouse gestures, ...
|
||
@item arithmetic: table memory, enumeration, double entry table, mirror image, ...
|
||
@item science: the canal lock, the water cycle, the submarine, electric simulation ...
|
||
@item geography: place the country on the map
|
||
@item games: chess, memory, connect 4, oware, sudoku ...
|
||
@item reading: reading practice
|
||
@item other: learn to tell time, puzzle of famous paintings, vector drawing, cartoon making, ...
|
||
@end enumerate
|
||
")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public gcompris-qt
|
||
(package
|
||
(name "gcompris-qt")
|
||
(version "2.3")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append
|
||
"mirror://kde/stable/gcompris/qt/src/gcompris-qt-"
|
||
version ".tar.xz"))
|
||
(sha256
|
||
(base32 "0qncknaaf168anh4cjp7dqz6qzgx948kvgr32j2vga8mjakqn1aj"))))
|
||
(build-system qt-build-system)
|
||
(arguments
|
||
`(#:phases
|
||
(modify-phases %standard-phases
|
||
(add-before 'check 'start-xorg-server
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
;; The test suite requires a running X server.
|
||
(system "Xvfb :1 &")
|
||
(setenv "DISPLAY" ":1")
|
||
;; The test suite wants to write to /homeless-shelter
|
||
(setenv "HOME" (getcwd)))))
|
||
#:configure-flags (list "-DQML_BOX2D_MODULE=disabled"
|
||
"-DBUILD_TESTING=TRUE")))
|
||
(native-inputs
|
||
(list extra-cmake-modules
|
||
gettext-minimal
|
||
kdoctools
|
||
perl
|
||
qttools-5
|
||
xorg-server-for-tests))
|
||
(inputs
|
||
(list openssl
|
||
python-wrapper
|
||
qtbase-5
|
||
qtdeclarative-5
|
||
qtgraphicaleffects
|
||
qtmultimedia-5
|
||
qtquickcontrols-5
|
||
qtsensors
|
||
qtsvg-5
|
||
qtxmlpatterns))
|
||
(home-page "https://gcompris.net/index-en.html")
|
||
(synopsis "Educational games for small children")
|
||
(description
|
||
"Gcompris offers a large collection of educational games for small
|
||
children, designed to be a unified interface to integrate more educational
|
||
games. Language-oriented games contain vocabulary, sounds, and voices for
|
||
many different languages.
|
||
Currently available boards include:
|
||
@enumerate
|
||
@item learning how to use a mouse and keyboard
|
||
@item learning simple arithmetic
|
||
@item learning how to read an analog clock
|
||
@item recognize letters after hearing their names
|
||
@item reading practice
|
||
@item small games (memory games, jigsaw puzzles, ...)
|
||
@end enumerate")
|
||
(license (list license:silofl1.1 ; bundled fonts
|
||
license:agpl3+))))
|
||
|
||
(define-public gotypist
|
||
(let ((revision "0")
|
||
(commit "03f8618f8e23acdaa94cda3bcf197da520db8dd4"))
|
||
(package
|
||
(name "gotypist")
|
||
(version (git-version "0.0.0" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/KappaDistributive/gotypist")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0sjndaspqfzffjxz388m384wqz5lzbiw4cwpi688k5aq7n05jh0f"))))
|
||
(build-system go-build-system)
|
||
(arguments
|
||
`(#:unpack-path "github.com/KappaDistributive/gotypist"
|
||
#:import-path "github.com/KappaDistributive/gotypist/v1"
|
||
#:install-source? #f
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-before 'build 'install-data
|
||
(lambda* (#:key import-path unpack-path outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(data (string-append out "/share/gotypist/data")))
|
||
(with-directory-excursion "src"
|
||
(with-directory-excursion import-path
|
||
(substitute* "lesson.go"
|
||
(("\"data/")
|
||
(format #f "\"~a/" data))))
|
||
(with-directory-excursion unpack-path
|
||
(mkdir-p data)
|
||
(copy-recursively "data" data))))))
|
||
(add-after 'install 'rename-executable
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(bin (string-append out "/bin")))
|
||
(with-directory-excursion bin
|
||
(rename-file "v1" "gotypist"))))))))
|
||
(native-inputs
|
||
(list go-github-com-gizak-termui go-github-com-stretchr-testify))
|
||
(home-page "https://github.com/KappaDistributive/gotypist")
|
||
(synopsis "Simple typing trainer for text terminals")
|
||
(description
|
||
"Gotypist is a simple typing tutor for text terminals, similar to
|
||
gtypist but with no instruction. Hence it's best suited for people who already
|
||
know how to touch type and wish to improve their typing accuracy and/or speed.
|
||
|
||
You can provide your own lesson text, choose from the included samples, or ask
|
||
@command{gotypist} to construct a random lesson from a fixed list of the most
|
||
frequently used words in American English.")
|
||
(license license:expat))))
|
||
|
||
(define-public tipp10
|
||
(package
|
||
(name "tipp10")
|
||
(version "2.1.0")
|
||
(source (origin
|
||
(method url-fetch)
|
||
;; guix download is not able to handle the download links on the
|
||
;; home-page, which use '<meta http-equiv="refresh" …>'
|
||
(uri (string-append "mirror://debian/pool/main/"
|
||
"t/tipp10/tipp10_2.1.0.orig.tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"0d387b404j88gsv6kv0rb7wxr23v5g5vl6s5l7602x8pxf7slbbx"))
|
||
;; Apply patches in the order determined by Debian
|
||
(patches (search-patches "tipp10-fix-compiling.patch"
|
||
"tipp10-remove-license-code.patch"
|
||
"tipp10-disable-downloader.patch"
|
||
"tipp10-qt5.patch"))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; packages has no tests
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'disable-new-version-check
|
||
(lambda _
|
||
;; Make new version check to default to false.
|
||
;; TODO: Remove the checkbox from the dialog and the check itself
|
||
(substitute* '("widget/settingspages.cpp" "widget/mainwindow.cpp")
|
||
(("settings.value(\"check_new_version\", true)")
|
||
"settings.value(\"check_new_version\", false)"))
|
||
#t))
|
||
(replace 'configure
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let ((out (assoc-ref outputs "out")))
|
||
;; Make program honor $PREFIX
|
||
(substitute* "tipp10.pro"
|
||
(("\\.path = /usr/") (string-append ".path = " out "/")))
|
||
(substitute* "def/defines.h"
|
||
(("\"/usr/") (string-append "\"" out "/")))
|
||
;; Recreate Makefile
|
||
(invoke "qmake")))))))
|
||
(inputs
|
||
(list qtbase-5 qtmultimedia-5))
|
||
(home-page "https://www.tipp10.com/")
|
||
(synopsis "Touch typing tutor")
|
||
(description "Tipp10 is a touch typing tutor. The ingenious thing about
|
||
the software is its intelligence feature: characters that are mistyped are
|
||
repeated more frequently. Beginners will find their way around right away so
|
||
they can start practicing without a hitch.
|
||
|
||
Useful support functions and an extensive progress tracker, topical lessons
|
||
and the ability to create your own practice lessons make learning to type
|
||
easy.")
|
||
(license license:gpl2)))
|
||
|
||
(define-public snap
|
||
(package
|
||
(name "snap")
|
||
(version "7.0.5")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/jmoenig/Snap")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "13j52r810yijvkj85c356c342drc3947j28z3va7kz75mi26whsf"))))
|
||
(build-system trivial-build-system)
|
||
(arguments
|
||
`(#:modules ((guix build utils))
|
||
#:builder
|
||
(begin
|
||
(use-modules (guix build utils))
|
||
(let* ((source (assoc-ref %build-inputs "source"))
|
||
(out (assoc-ref %outputs "out"))
|
||
(share (string-append out "/share/snap")))
|
||
(copy-recursively source share)
|
||
;; Replace the sole minified file in the package.
|
||
(with-directory-excursion (string-append share "/src")
|
||
(delete-file "FileSaver.min.js")
|
||
(symlink (search-input-file %build-inputs
|
||
"/share/javascript/FileSaver.min.js")
|
||
"FileSaver.min.js"))
|
||
;; Create a "snap" executable.
|
||
(let* ((bin (string-append out "/bin"))
|
||
(script (string-append bin "/snap"))
|
||
(snap (string-append share "/snap.html"))
|
||
(bash (search-input-file %build-inputs "/bin/sh"))
|
||
(xdg-open (search-input-file %build-inputs
|
||
"/bin/xdg-open")))
|
||
(mkdir-p bin)
|
||
(call-with-output-file script
|
||
(lambda (port)
|
||
(format port "#!~a\n~a '~a'" bash xdg-open snap)))
|
||
(chmod script #o555))))))
|
||
(inputs
|
||
(list bash-minimal js-filesaver xdg-utils))
|
||
(home-page "https://snap.berkeley.edu")
|
||
(synopsis "Visual, blocks based programming language")
|
||
(description "Snap! (formerly BYOB) is a visual, drag-and-drop
|
||
programming language. It is an extended reimplementation of Scratch (a
|
||
project of the Lifelong Kindergarten Group at the MIT Media Lab) that
|
||
allows you to Build Your Own Blocks. It also features first class
|
||
lists, first class procedures, and continuations. These added
|
||
capabilities make it suitable for a serious introduction to computer
|
||
science for high school or college students.
|
||
|
||
This package provides a @command{snap} executable calling @command{xdg-open}
|
||
to open the application in a web browser, for offline usage.")
|
||
(license license:agpl3+)))
|
||
|
||
(define-public toutenclic
|
||
(package
|
||
(name "toutenclic")
|
||
(version "7.00")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (list
|
||
;; XXX: Upstream does not exist anymore.
|
||
(string-append "http://www.bipede.fr/downloads/logiciels/"
|
||
"ToutEnClic-" version "-src.zip")
|
||
(string-append "https://archive.org/download/tout-en-clic-" version
|
||
"-src/ToutEnClic-" version "-src.zip")))
|
||
(sha256
|
||
(base32 "0xg24p925rl5bfqsq3jb2lrkidb0f3kbmay5iyxxmjsn3ra0blyh"))))
|
||
(build-system python-build-system)
|
||
(arguments
|
||
`(#:tests? #f ; no tests
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(delete 'build)
|
||
(replace 'install
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(share (string-append out "/share/toutenclic"))
|
||
(pixmaps (string-append out "/share/pixmaps"))
|
||
(doc (string-append out "share/doc/" ,name "-" ,version))
|
||
(bin (string-append out "/bin"))
|
||
(executable "toutenclic"))
|
||
;; Install icon.
|
||
(install-file "toutenclic.png" pixmaps)
|
||
;; Move files into "share/" directory.
|
||
(for-each (lambda (f) (install-file f share))
|
||
(find-files "." "\\.py$"))
|
||
;; Install documentation.
|
||
(install-file "ToutEnClic.pdf" doc)
|
||
;; Create executable in "bin/".
|
||
(mkdir-p bin)
|
||
(with-directory-excursion bin
|
||
(symlink (string-append share "/" executable ".py")
|
||
executable)))))
|
||
(add-after 'install 'create-desktop-file
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(applications (string-append out "/share/applications")))
|
||
(mkdir-p applications)
|
||
(call-with-output-file
|
||
(string-append applications "/toutenclic.desktop")
|
||
(lambda (file)
|
||
(format file
|
||
"[Desktop Entry]~@
|
||
Name=ToutEnClic~@
|
||
Comment=For schooling without difference~@
|
||
Exec=~a/bin/toutenclic~@
|
||
TryExec=~@*~a/bin/toutenclic~@
|
||
Terminal=false~@
|
||
Icon=toutenclic~@
|
||
Type=Application~%"
|
||
out)))))))))
|
||
(native-inputs
|
||
(list unzip))
|
||
(inputs
|
||
(list python-pyqt))
|
||
(synopsis "School tools for physically disabled children")
|
||
(description "ToutEnClic is intended to facilitate the schooling
|
||
of physically disabled children in ordinary schools. It is both
|
||
a multi-page virtual exercise book and a kit including pencil,
|
||
scissors, glue, ruler, compass, protractor and square. A virtual
|
||
keyboard is also available if the child does not have any other
|
||
specialized device.")
|
||
(home-page "https://bipede.fr/contrib/")
|
||
(license license:gpl3)))
|
||
|
||
(define-public openboard
|
||
;; The last release builds from qtwebkit, which is planned for removal in
|
||
;; Guix, so use the latest commit of the 1.7-dev branch, which builds with
|
||
;; qtwebengine-5.
|
||
(let ((commit "39e914f600d26565706f0e5b6ea2482b8b4038c7") ;1.6.2-rc0311
|
||
(revision "1"))
|
||
(package
|
||
(name "openboard")
|
||
(version (git-version "1.6.1" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/OpenBoard-org/OpenBoard")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1763l5dywirzidzc93726dggf9819p47hh6a7p7dwzd1bfq1wb2q"))))
|
||
(build-system qt-build-system)
|
||
(arguments
|
||
(list
|
||
#:tests? #f ;no tests
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'set-initial-values
|
||
;; Remove useless "Check for updates" action from menu.
|
||
;; Also prevent pop-up window about importing Open Sankore
|
||
;; documents since we don't package OpenBoard-Importer.
|
||
(lambda _
|
||
(substitute* "src/core/UBSettings.cpp"
|
||
(("(appHideCheckForSoftwareUpdate = .*?)false(\\);)" _ beg end)
|
||
(string-append beg "true" end))
|
||
(("(appLookForOpenSankoreInstall = .*?)true(\\);)" _ beg end)
|
||
(string-append beg "false" end)))))
|
||
(add-after 'unpack 'fix-build-error
|
||
;; XXX: `errorOpeningVirtualKeyboard' variable is only
|
||
;; defined when building for OSX. Yet,
|
||
;; "UBBoardController.cpp" relies on it unconditionally,
|
||
;; resulting in a build failure. Here, we get rid of
|
||
;; that variable, assuming it is always false (its
|
||
;; default value when building for OSX).
|
||
(lambda _
|
||
(substitute* "src/board/UBBoardController.cpp"
|
||
(("if \\(!UBPlatformUtils::errorOpeningVirtualKeyboard\\)")
|
||
""))))
|
||
(add-after 'unpack 'fix-hard-coded-env
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "src/frameworks/UBPlatformUtils_linux.cpp"
|
||
(("/usr/bin/env") (search-input-file inputs "/bin/env")))))
|
||
(add-after 'unpack 'fix-library-path
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "OpenBoard.pro"
|
||
(("/usr/include/quazip")
|
||
(search-input-directory inputs "/include/quazip5"))
|
||
(("/usr/include/poppler")
|
||
(search-input-directory inputs "/include/poppler")))))
|
||
(replace 'configure
|
||
(lambda _
|
||
(invoke "qmake" "OpenBoard.pro")))
|
||
(replace 'install
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(let* ((share (string-append #$output "/share"))
|
||
(openboard (string-append share "/openboard"))
|
||
(i18n (string-append openboard "/i18n")))
|
||
;; Install data.
|
||
(with-directory-excursion "resources"
|
||
(for-each (lambda (directory)
|
||
(let ((target
|
||
(string-append openboard "/" directory)))
|
||
(mkdir-p target)
|
||
(copy-recursively directory target)))
|
||
'("customizations" "etc" "library"))
|
||
(mkdir-p i18n)
|
||
(for-each (lambda (f)
|
||
(install-file f i18n))
|
||
(find-files "i18n" "\\.qm$")))
|
||
;; Install desktop file an icon.
|
||
(install-file "resources/images/OpenBoard.png"
|
||
(string-append share
|
||
"/icons/hicolor/64x64/apps/"))
|
||
(make-desktop-entry-file
|
||
(string-append share "/applications/" #$name ".desktop")
|
||
#:name "OpenBoard"
|
||
#:comment "Interactive whiteboard application"
|
||
#:exec "openboard %f"
|
||
#:icon "OpenBoard"
|
||
#:mime-type "application/ubz"
|
||
#:categories '("Education"))
|
||
;; Install executable.
|
||
(install-file "build/linux/release/product/OpenBoard" openboard)
|
||
(let ((bin (string-append #$output "/bin")))
|
||
(mkdir-p bin)
|
||
(symlink (string-append openboard "/OpenBoard")
|
||
(string-append bin "/openboard")))))))))
|
||
(native-inputs
|
||
(list qttools-5))
|
||
(inputs
|
||
(list alsa-lib
|
||
coreutils-minimal ;for patched 'env' shebang
|
||
ffmpeg
|
||
freetype
|
||
lame
|
||
libass
|
||
libfdk
|
||
libressl
|
||
libtheora
|
||
libva
|
||
libvorbis
|
||
libvpx
|
||
libx264
|
||
opus
|
||
poppler
|
||
qtbase-5
|
||
qtdeclarative-5
|
||
qtmultimedia-5
|
||
qtsvg-5
|
||
qtwebchannel-5
|
||
qtwebengine-5
|
||
qtxmlpatterns
|
||
quazip-0
|
||
sdl
|
||
zlib))
|
||
(home-page "https://openboard.ch/")
|
||
(synopsis "Interactive whiteboard for schools and universities")
|
||
(description
|
||
"OpenBoard is a teaching software for interactive whiteboard
|
||
designed primarily for use in schools and universities. It can be
|
||
used both with interactive whiteboards or in a dual-screen setup with
|
||
a pen-tablet display and a beamer.")
|
||
(license license:gpl3))))
|
||
|
||
(define-public fet
|
||
(package
|
||
(name "fet")
|
||
(version "6.5.3")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (let ((directory "https://www.lalescu.ro/liviu/fet/download/")
|
||
(base (string-append "fet-" version ".tar.bz2")))
|
||
(list (string-append directory base)
|
||
(string-append directory "old/" base))))
|
||
(sha256
|
||
(base32 "030njv53azzw6fn2d5mkxn7hyvyb45yss2y49wxb8bgj3ayv1rgp"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
(list
|
||
#:phases
|
||
#~(modify-phases %standard-phases
|
||
(add-after 'unpack 'fix-hardcoded-directories
|
||
(lambda _
|
||
(substitute* (list "fet.pro"
|
||
"src/src.pro"
|
||
"src/src-cl.pro"
|
||
"src/interface/fet.cpp")
|
||
(("/usr") #$output))))
|
||
(replace 'configure
|
||
(lambda _ (invoke "qmake" "fet.pro"))))))
|
||
(inputs
|
||
(list qtbase))
|
||
(home-page "https://www.lalescu.ro/liviu/fet/")
|
||
(synopsis "Timetabling software")
|
||
(description
|
||
"FET is a program for automatically scheduling the timetable of a school,
|
||
high-school or university. It uses a fast and efficient timetabling
|
||
algorithm.
|
||
|
||
Usually, FET is able to solve a complicated timetable in maximum 5-20 minutes.
|
||
For extremely difficult timetables, it may take a longer time, a matter of
|
||
hours.")
|
||
(license license:agpl3+)))
|
||
|
||
(define-public klavaro
|
||
(package
|
||
(name "klavaro")
|
||
(version "3.13")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "mirror://sourceforge/klavaro/klavaro-"
|
||
version ".tar.bz2"))
|
||
(sha256
|
||
(base32 "0z6c3lqikk50mkz3ipm93l48qj7b98lxyip8y6ndg9y9k0z0n878"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs
|
||
(list intltool pkg-config))
|
||
(inputs
|
||
(list cairo curl gtk+ gtkdatabox pango))
|
||
(home-page "https://klavaro.sourceforge.io/en/index.html")
|
||
(synopsis "Touch typing tutor")
|
||
(description
|
||
"Klavaro is a simple tutor to teach correct typing, almost independently of
|
||
language and very flexible regarding to new or unknown keyboard layouts.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public ktouch
|
||
(package
|
||
(name "ktouch")
|
||
(version "20.12.1")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "mirror://kde/stable/release-service/"
|
||
version "/src/ktouch-" version ".tar.xz"))
|
||
(sha256
|
||
(base32 "10lm2p8w26c9n6lhvw3301myfss0dq7hl7rawzb3hsy1lqvmvdib"))))
|
||
(build-system qt-build-system)
|
||
(native-inputs
|
||
(list extra-cmake-modules kdoctools pkg-config))
|
||
(inputs
|
||
(list kcmutils
|
||
kcompletion
|
||
kconfig
|
||
kconfigwidgets
|
||
kcoreaddons
|
||
kdeclarative
|
||
ki18n
|
||
kiconthemes
|
||
kitemviews
|
||
kqtquickcharts
|
||
ktextwidgets
|
||
kwidgetsaddons
|
||
kwindowsystem
|
||
kxmlgui
|
||
libxcb
|
||
libxkbfile
|
||
qtbase-5
|
||
qtdeclarative-5
|
||
qtgraphicaleffects
|
||
qtquickcontrols2-5
|
||
qtx11extras
|
||
qtxmlpatterns))
|
||
(home-page "https://edu.kde.org/ktouch/")
|
||
(synopsis "Touch typing tutor")
|
||
(description
|
||
"KTouch is an aid for learning how to type with speed and accuracy. It
|
||
provides a sample text to type and indicates which fingers should be used for
|
||
each key. A collection of lessons are included for a wide range of different
|
||
languages and keyboard layouts, and typing statistics are used to dynamically
|
||
adjust the level of difficulty.")
|
||
(license license:gpl2)))
|
||
|
||
(define-public kanatest
|
||
;; Latest release tarball is 0.4.8, which is really old and does not build
|
||
;; commit on sourceforge are not tagged, we take the latest
|
||
(let ((commit "860e790a35f547cc96669f805d371a5ba3d8daff")
|
||
(revision "0"))
|
||
(package
|
||
(name "kanatest")
|
||
(version (git-version "0.4.10" revision commit))
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://git.code.sf.net/p/kanatest/code")
|
||
(commit commit)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "0dz63m9p4ggzw0yb309qmgnl664qb5q268vaa3i9v0i8qsl66d78"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs
|
||
(list gettext-minimal ; for msgfmt
|
||
pkg-config))
|
||
(inputs
|
||
(list libxml2 gtk+))
|
||
(home-page "https://kanatest.sourceforge.io/")
|
||
(synopsis "Hiragana and Katakana simple flashcard tool")
|
||
(description "Kanatest is a Japanese kana (Hiragana and Katakana) simple
|
||
flashcard tool.
|
||
|
||
During test the Kanatest displays randomly selected kana char (respecting mode
|
||
and lesson) and waits for user answer expected as romaji equivalent. This
|
||
process continues until all questions will be answered or all questions will
|
||
be answered correctly (depends on options). At the end of test a short info
|
||
about drilling time and correctness ratio is displayed. The results are
|
||
stored and user can review his performance in any time.")
|
||
(license license:gpl2+))))
|
||
|
||
(define-public anki
|
||
(package
|
||
(name "anki")
|
||
;; Later versions have dependencies on npm packages not yet in Guix.
|
||
(version "2.1.16")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "https://apps.ankiweb.net/downloads/archive/anki-"
|
||
version "-source.tgz"))
|
||
(sha256
|
||
(base32 "1gfr51rnllkyzli73p4r51h5ypzfa3m7lic3m3rzpywmqwrxs07k"))
|
||
(patches (search-patches "anki-mpv-args.patch"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:make-flags (list (string-append "PREFIX=" %output))
|
||
#:tests? #f ;no check target
|
||
#:modules ((guix build gnu-build-system)
|
||
(guix build utils)
|
||
(ice-9 match))
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'unpack 'disable-update-check
|
||
;; Don't ‘phone home’ unasked to check for updates.
|
||
(lambda _
|
||
(substitute* "aqt/update.py"
|
||
(("requests\\.post")
|
||
"throw.an.exception.instead"))
|
||
#t))
|
||
(delete 'configure) ;no configure script
|
||
(add-after 'install 'wrap
|
||
(lambda* (#:key inputs outputs #:allow-other-keys)
|
||
(let ((bin (string-append (assoc-ref outputs "out") "/bin"))
|
||
;; List of paths to the site-packages directories of Python
|
||
;; library inputs.
|
||
(site-packages
|
||
(map (lambda (pyinput)
|
||
(string-append
|
||
(cdr pyinput)
|
||
"/lib/python"
|
||
;; Calculate the python version to avoid breaking
|
||
;; with future 3.X releases.
|
||
,(version-major+minor
|
||
(package-version python-wrapper))
|
||
"/site-packages"))
|
||
(filter (match-lambda
|
||
((label . _)
|
||
(string-prefix? "python-" label)))
|
||
inputs)))
|
||
(qtwebengineprocess
|
||
(search-input-file inputs
|
||
"lib/qt5/libexec/QtWebEngineProcess")))
|
||
;; The program fails to find the QtWebEngineProcess program, so
|
||
;; we set QTWEBENGINEPROCESS_PATH to help it. PYTHONPATH is
|
||
;; wrapped to avoid declaring Python libraries as propagated
|
||
;; inputs.
|
||
(for-each (lambda (program)
|
||
(wrap-program program
|
||
`("QTWEBENGINEPROCESS_PATH" =
|
||
(,qtwebengineprocess))
|
||
`("PATH" prefix (,(string-append
|
||
(assoc-ref inputs "mpv")
|
||
"/bin")))
|
||
`("GUIX_PYTHONPATH" = ,site-packages)))
|
||
(find-files bin ".")))
|
||
#t)))))
|
||
(native-inputs
|
||
(list xdg-utils))
|
||
(inputs
|
||
`(("lame" ,lame)
|
||
("mpv" ,mpv)
|
||
("python" ,python-wrapper)
|
||
("python-beautifulsoup4" ,python-beautifulsoup4)
|
||
("python-decorator" ,python-decorator)
|
||
("python-distro" ,python-distro)
|
||
("python-jsonschema" ,python-jsonschema)
|
||
("python-markdown" ,python-markdown)
|
||
("python-pyaudio" ,python-pyaudio)
|
||
;; `python-pyqtwebengine' must precede `python-pyqt' in PYTHONPATH.
|
||
("python-pyqtwebengine" ,python-pyqtwebengine)
|
||
("python-pyqt" ,python-pyqt-without-qtwebkit)
|
||
("python-requests" ,python-requests)
|
||
("python-send2trash" ,python-send2trash)
|
||
("python-sip" ,python-sip)
|
||
;; `qtwebengine-5' is included in `pyqtwebengine', included here for easy
|
||
;; wrapping.
|
||
("qtwebengine-5" ,qtwebengine-5)))
|
||
(home-page "https://apps.ankiweb.net/")
|
||
(synopsis "Powerful, intelligent flash cards")
|
||
(description "Anki is a program which makes remembering things
|
||
easy. Because it's a lot more efficient than traditional study
|
||
methods, you can either greatly decrease your time spent studying, or
|
||
greatly increase the amount you learn.
|
||
|
||
Anyone who needs to remember things in their daily life can benefit
|
||
from Anki. Since it is content-agnostic and supports images, audio,
|
||
videos and scientific markup (via LaTeX), the possibilities are
|
||
endless. For example:
|
||
@itemize
|
||
@item Learning a language
|
||
@item Studying for medical and law exams
|
||
@item Memorizing people's names and faces
|
||
@item Brushing up on geography
|
||
@item Mastering long poems
|
||
@item Even practicing guitar chords!
|
||
@end itemize")
|
||
(license license:agpl3+)))
|
||
|
||
(define-public t4k-common
|
||
(package
|
||
(name "t4k-common")
|
||
(version "0.1.1")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/tux4kids/t4kcommon")
|
||
(commit (string-append "upstream/" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "13q02xpmps9qg8zrzzy2gzv4a6afgi28lxk4z242j780v0gphchp"))
|
||
(patches (search-patches "t4k-common-libpng16.patch"))
|
||
(modules '((guix build utils)))
|
||
(snippet
|
||
`(begin
|
||
(substitute* "src/t4k_common.h"
|
||
(("char wrapped_lines") "extern char wrapped_lines"))
|
||
#t))))
|
||
(build-system cmake-build-system)
|
||
(arguments
|
||
`(#:tests? #f ;FIXME: cannot find how to run tests
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'set-paths 'set-sdl-paths
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(setenv "CPATH"
|
||
(string-append
|
||
(search-input-directory inputs "/include/SDL")
|
||
":" (or (getenv "CPATH") "")))))
|
||
(add-after 'unpack 'fix-andika-font-path
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(substitute* "src/t4k_sdl.c"
|
||
(("(/usr/share/.*?)/AndikaDesRevG\\.ttf")
|
||
(string-append (assoc-ref inputs "font-andika")
|
||
"/share/fonts/truetype")))
|
||
#t)))))
|
||
(native-inputs
|
||
(list pkg-config))
|
||
(inputs
|
||
`(("font-andika" ,font-sil-andika)
|
||
("libpng" ,libpng)
|
||
("librsvg" ,librsvg)
|
||
("libxml2" ,libxml2)
|
||
("sdl" ,(sdl-union (list sdl sdl-image sdl-mixer sdl-net sdl-pango)))))
|
||
(home-page "https://github.com/tux4kids/t4kcommon")
|
||
(synopsis "Library of code shared between TuxMath and TuxType")
|
||
(description "Tux4Kids-Common is a library of code shared between
|
||
TuxMath and TuxType.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public tuxmath
|
||
(package
|
||
(name "tuxmath")
|
||
(version "2.0.3")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/tux4kids/tuxmath")
|
||
(commit (string-append "upstream/" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "1f1pz83w6d3mbik2h6xavfxmk5apxlngxbkh80x0m55lhniwkdxv"))
|
||
(modules '((guix build utils)))
|
||
;; Unbundle fonts.
|
||
(snippet
|
||
`(begin
|
||
;; Remove duplicate definition.
|
||
(substitute* "src/menu_lan.c"
|
||
(("lan_player_type.*MAX_CLIENTS\\];") ""))
|
||
(for-each delete-file (find-files "data/fonts" "\\.ttf$"))
|
||
#t))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:tests? #f ;no test
|
||
#:phases
|
||
(modify-phases %standard-phases
|
||
(add-after 'set-paths 'set-sdl-paths
|
||
(lambda* (#:key inputs #:allow-other-keys)
|
||
(setenv "CPATH"
|
||
(string-append
|
||
(search-input-directory inputs "/include/SDL")
|
||
":"
|
||
(or (getenv "CPATH") "")))))
|
||
(add-after 'install 'install-desktop-file
|
||
(lambda* (#:key outputs #:allow-other-keys)
|
||
(let* ((out (assoc-ref outputs "out"))
|
||
(apps (string-append out "/share/applications"))
|
||
(pixmaps (string-append out "/share/pixmaps")))
|
||
(install-file "tuxmath.desktop" apps)
|
||
(for-each (lambda (f) (install-file f pixmaps))
|
||
(find-files "data/images/icons/"
|
||
"tuxmath\\.(png|ico|svg)$"))
|
||
#t))))))
|
||
(native-inputs
|
||
(list pkg-config))
|
||
(inputs
|
||
`(("librsvg" ,librsvg)
|
||
("libxml2" ,libxml2)
|
||
("sdl" ,(sdl-union (list sdl sdl-image sdl-mixer sdl-net sdl-pango)))
|
||
("t4k-common" ,t4k-common)))
|
||
(home-page "https://github.com/tux4kids/tuxmath")
|
||
(synopsis "Educational math tutorial game")
|
||
(description "@emph{Tux, of Math Command} is an educational math
|
||
tutorial game starring Tux, the Linux penguin, in which you play the
|
||
part of Commander Tux, as he defends his friends from an attack of
|
||
math equations. Comets are crashing towards the friendly penguins in
|
||
their igloos, and you must destroy the comets by solving their
|
||
equations.
|
||
|
||
TuxMath also includes Factoroids, a game that gives practice in
|
||
factoring numbers and simplifying fractions, as well as zapping rocks
|
||
floating through space.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public libeb
|
||
(package
|
||
(name "libeb")
|
||
(version "4.4.3")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri
|
||
(string-append "ftp://ftp.sra.co.jp/pub/misc/eb/eb-" version ".tar.bz2"))
|
||
(sha256
|
||
(base32
|
||
"0psbdzirazfnn02hp3gsx7xxss9f1brv4ywp6a15ihvggjki1rxb"))))
|
||
(build-system gnu-build-system)
|
||
(native-inputs ; Required for building docs
|
||
(list perl))
|
||
(inputs
|
||
(list zlib))
|
||
(synopsis "C library for accessing Japanese CD-ROM books")
|
||
(description "The EB library is a library for accessing CD-ROM
|
||
books, which are a common way to distribute electronic dictionaries in
|
||
Japan. It supports the EB, EBG, EBXA, EBXA-C, S-EBXA and EPWING
|
||
formats.")
|
||
;; FIXME: I cannot find a real home page
|
||
(home-page "https://sra.co.jp/")
|
||
(license license:bsd-3)))
|
||
|
||
(define-public qolibri
|
||
(package
|
||
(name "qolibri")
|
||
(version "2.1.4")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url"https://github.com/ludios/qolibri")
|
||
(commit version)))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32 "066y7jcq9vg6hnvn7qxckzhd1qkgfzpzhw69nw5psm43qbaca8lg"))))
|
||
(build-system qt-build-system)
|
||
(arguments
|
||
'(#:tests? #f)) ; no test target
|
||
(native-inputs
|
||
(list qttools-5))
|
||
(inputs
|
||
(list libeb
|
||
qtbase-5
|
||
qtmultimedia-5
|
||
qtquickcontrols2-5
|
||
qtdeclarative-5
|
||
qtwebchannel-5
|
||
qtwebengine-5
|
||
zlib))
|
||
(synopsis "EPWING dictionary reader")
|
||
(description "qolibri is a dictionary viewer for the EPWING dictionary
|
||
format. Most monolingual Japanese dictionaries can only be found in the
|
||
EPWING format.")
|
||
(home-page "https://github.com/ludios/qolibri")
|
||
(license license:gpl2)))
|
||
|
||
(define-public mdk
|
||
(package
|
||
(name "mdk")
|
||
(version "1.3.0")
|
||
(source
|
||
(origin
|
||
(method url-fetch)
|
||
(uri (string-append "mirror://gnu/mdk/v" version "/mdk-"
|
||
version ".tar.gz"))
|
||
(sha256
|
||
(base32
|
||
"0bhk3c82kyp8167h71vdpbcr852h5blpnwggcswqqwvvykbms7lb"))))
|
||
(build-system gnu-build-system)
|
||
(arguments
|
||
`(#:configure-flags (list "--enable-gui=yes" "-with-readline=yes")))
|
||
(native-inputs
|
||
(list flex intltool pkg-config))
|
||
(inputs
|
||
(list glib
|
||
gtk+
|
||
libglade
|
||
ncurses
|
||
pango
|
||
readline))
|
||
(home-page "https://www.gnu.org/software/mdk/manual/")
|
||
(synopsis "Virtual development environment for Knuth's MIX")
|
||
(description
|
||
"GNU MDK is the Mix Development Kit, an emulation of the pedagogical
|
||
computer MIX and its assembly language MIXAL. MIX has a virtual CPU with
|
||
standard features such as registers, memory cells, an overflow toggle,
|
||
comparison flags, input-output devices, and a set of binary instructions.
|
||
The package includes a compiler, a virtual machine, a GUI for the virtual
|
||
machine, and more.")
|
||
(license license:gpl3+)))
|
||
|
||
(define-public exercism
|
||
(package
|
||
(name "exercism")
|
||
(version "3.0.13")
|
||
(source
|
||
(origin
|
||
(method git-fetch)
|
||
(uri (git-reference
|
||
(url "https://github.com/exercism/cli")
|
||
(commit (string-append "v" version))))
|
||
(file-name (git-file-name name version))
|
||
(sha256
|
||
(base32
|
||
"17gvz9a0sn4p36hf4l77bxhhfipf4x998iay31layqwbnzmb4xy7"))
|
||
(patches (search-patches "exercism-disable-self-update.patch"))))
|
||
(build-system go-build-system)
|
||
(arguments
|
||
`(#:import-path "github.com/exercism/cli/exercism"
|
||
#:unpack-path "github.com/exercism/cli"
|
||
#:install-source? #f))
|
||
(inputs
|
||
`(("github.com/blang/semver" ,go-github-com-blang-semver)
|
||
("github.com/spf13/cobra" ,go-github-com-spf13-cobra)
|
||
("github.com/spf13/pflag" ,go-github-com-spf13-pflag)
|
||
("github.com/spf13/viper" ,go-github-com-spf13-viper)
|
||
("golang.org/x/net" ,go-golang-org-x-net)
|
||
("golang.org/x/text" ,go-golang-org-x-text)))
|
||
(home-page "https://exercism.io")
|
||
(synopsis "Mentored learning for programming languages")
|
||
(description "Commandline client for exercism.io, a free service providing
|
||
mentored learning for programming languages.")
|
||
(license license:expat)))
|