aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/check.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/check.scm')
-rw-r--r--gnu/packages/check.scm9
1 files changed, 5 insertions, 4 deletions
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 4915a5ec88..06adf20c36 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -99,9 +99,7 @@
(method git-fetch)
(uri (git-reference
(url "https://github.com/Microsoft/pict")
- ;; The tag name for v3.7.2 is odd ("release"); use the
- ;; corresponding commit for now.
- (commit "b10237099713ef0e45f222042cef01dc3507a611")))
+ (commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
(base32
@@ -115,7 +113,10 @@
(delete 'configure)
(replace 'install
(lambda _
- (install-file "pict" (string-append #$output "/bin")))))))
+ (install-file "pict" (string-append #$output "/bin"))
+ (install-file "doc/pict.md"
+ (string-append #$output
+ "/share/doc/pict-" #$version)))))))
(native-inputs (list perl))
(home-page "https://www.pairwise.org/")
(synopsis "Pairwise Independent Combinatorial Tool")