diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-03 08:52:17 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-03 08:52:17 +0100 |
| commit | 194451347dc60092132d06b84a83c5205d79299a (patch) | |
| tree | 828475b685c349cdd7b74c09beb7336d38bdf6f0 /gnu/packages/agda.scm | |
| parent | 37c6f11f8dfa1880db86a3510c9e50990304d76c (diff) | |
| parent | 8cddb0d6363d13f74de5409ef29b7913228f49b9 (diff) | |
| download | guix-194451347dc60092132d06b84a83c5205d79299a.tar guix-194451347dc60092132d06b84a83c5205d79299a.tar.gz | |
Merge branch 'core-updates'
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 6bb38aac4d..d2113555eb 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -1,6 +1,7 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2018 Alex ter Weele <alex.ter.weele@gmail.com> ;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net> +;;; Copyright © 2018 Alex Vong <alexvong1995@gmail.com> ;;; ;;; This file is part of GNU Guix. ;;; @@ -85,6 +86,7 @@ (lambda* (#:key outputs inputs tests? (configure-flags '()) #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) + (name-version (strip-store-file-name out)) (input-dirs (match inputs (((_ . dir) ...) dir) @@ -95,8 +97,7 @@ `(,(string-append "--bindir=" out "/bin")) `(,(string-append "--docdir=" out - "/share/doc/" ((@@ (guix build haskell-build-system) - package-name-version) out))) + "/share/doc/" name-version)) '("--libsubdir=$compiler/$pkg-$version") '("--package-db=../package.conf.d") '("--global") |