summaryrefslogtreecommitdiff
path: root/guix/vkraus/packages/webid-oidc.scm
diff options
context:
space:
mode:
Diffstat (limited to 'guix/vkraus/packages/webid-oidc.scm')
-rw-r--r--guix/vkraus/packages/webid-oidc.scm49
1 files changed, 44 insertions, 5 deletions
diff --git a/guix/vkraus/packages/webid-oidc.scm b/guix/vkraus/packages/webid-oidc.scm
index f5f95c7..0fd3146 100644
--- a/guix/vkraus/packages/webid-oidc.scm
+++ b/guix/vkraus/packages/webid-oidc.scm
@@ -1,3 +1,19 @@
+;; webid-oidc, implementation of the Solid specification
+;; Copyright (C) 2020, 2021 Vivien Kraus
+
+;; This program is free software: you can redistribute it and/or modify
+;; it under the terms of the GNU Affero General Public License as
+;; published by the Free Software Foundation, either version 3 of the
+;; License, or (at your option) any later version.
+
+;; This program 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 Affero General Public License for more details.
+
+;; You should have received a copy of the GNU Affero General Public License
+;; along with this program. If not, see <https://www.gnu.org/licenses/>.
+
(define-module (vkraus packages webid-oidc)
#:use-module (guix packages)
#:use-module (guix gexp)
@@ -106,7 +122,7 @@
(synopsis "")
(description "")
(home-page "https://labo.planete-kraus.eu/webid-oidc.git")
- (license license:gpl3+)
+ (license license:agpl3+)
(native-search-paths
(list (search-path-specification
(variable "LTDL_LIBRARY_PATH")
@@ -135,7 +151,10 @@
(inherit webid-oidc)
(name "webid-oidc-html")
(arguments
- '(#:phases
+ '(#:modules ((guix build utils)
+ (guix build gnu-build-system)
+ (ice-9 textual-ports))
+ #:phases
(modify-phases
%standard-phases
(add-after
@@ -146,17 +165,37 @@
`("-j" ,(number->string (parallel-job-count)))
'())
,@make-flags))))
+ (add-after
+ 'build-html 'complete-corresponding-source
+ (lambda* (#:key make-flags parallel-build? #:allow-other-keys)
+ (apply invoke "make" "dist"
+ `(,@(if parallel-build?
+ `("-j" ,(number->string (parallel-job-count)))
+ '())
+ ,@make-flags))))
(replace
'install
- (lambda* (#:key make-flags parallel-build? #:allow-other-keys)
+ (lambda* (#:key make-flags parallel-build? outputs #:allow-other-keys)
(apply invoke "make" "install-html"
`(,@(if parallel-build?
`("-j" ,(number->string (parallel-job-count)))
'())
- ,@make-flags)))))))
+ ,@make-flags))
+ (let ((version
+ (car
+ (string-split
+ (call-with-input-file ".tarball-version"
+ get-string-all)
+ #\newline))))
+ (copy-file (string-append
+ "webid-oidc-" version ".tar.gz")
+ (string-append
+ (assoc-ref outputs "out")
+ "/share/doc/webid-oidc/webid-oidc.html/complete-corresponding-source.tar.gz"))))))))
(synopsis "HTML documentation for webid-oidc")
(description "The manual for webid-oidc is provided as a texinfo
-file, which is exported to HTML.")))
+file, which is exported to HTML. Also include the complete
+corresponding source, as an AGPL requirement.")))
(define-public (make-website webid-oidc)
(file-append (webid-oidc-htmlize webid-oidc) "/share/doc/webid-oidc/webid-oidc.html"))