From e82b521f0a8897b2a85dfa3c790a45a90008236e Mon Sep 17 00:00:00 2001 From: Hartmut Goebel Date: Mon, 2 Dec 2019 11:59:56 +0100 Subject: [PATCH 10/17] gnu: Add kig. * gnu/packages/education.scm (kig): New variable. diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm index 2339993853..6502be7451 100644 --- a/gnu/packages/education.scm +++ b/gnu/packages/education.scm @@ -35,6 +35,7 @@ (define-module (gnu packages education) #:use-module (gnu packages algebra) #:use-module (gnu packages base) #:use-module (gnu packages bash) + #:use-module (gnu packages boost) #:use-module (gnu packages chemistry) #:use-module (gnu packages compression) #:use-module (gnu packages curl) @@ -955,6 +956,48 @@ (define-public kgeography @item The game shows an empty map and you have to place divisions on it one by one @end itemize +This package is part of the KDE education module.") + (license ;; GPL for programs, FDL for documentation + (list license:gpl2+ license:fdl1.2+)))) + +(define-public kig + (package + (name "kig") + (version "22.04.3") + (source + (origin + (method url-fetch) + (uri (string-append "mirror://kde/stable/release-service/" version + "/src/kig-" version ".tar.xz")) + (sha256 + (base32 "0a8cyn6lx6gm23mmsxp12i4wlj55a9naqscxxpfwrya9k30k33b1")))) + (build-system qt-build-system) + (native-inputs + (list extra-cmake-modules + kdoctools)) + (inputs + (list boost + karchive + kconfigwidgets + kcrash + ki18n + kiconthemes + kparts + ktexteditor + kxmlgui + qtbase-5 + qtsvg-5 + qtxmlpatterns)) + (home-page "https://kde.org/applications/education/org.kde.kig") + (synopsis "Interactive geometry tool") + (description "Kig is an interactive mathematics software for learning and +teaching geometry. It allows to explore mathematical figures and concepts +using the computer and also can serve as a drawing tool for mathematical +figures. Constructions can be made with points, vectors, lines, and polygons +and all elements can be modified directly by using the mouse. Kig helps +teachers and students to make conjectures and to understand how to prove +geometric theorems. + This package is part of the KDE education module.") (license ;; GPL for programs, FDL for documentation (list license:gpl2+ license:fdl1.2+)))) -- 2.38.1