[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated: gnu: coq: fix coqide not finding coqidetop.opt
From: |
guix-commits |
Subject: |
branch master updated: gnu: coq: fix coqide not finding coqidetop.opt |
Date: |
Mon, 07 Sep 2020 08:02:41 -0400 |
This is an automated email from the git hooks/post-receive script.
roptat pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 1394765 gnu: coq: fix coqide not finding coqidetop.opt
1394765 is described below
commit 1394765238c21030ace4fbb773dc86a9e3c2504c
Author: raingloom <raingloom@riseup.net>
AuthorDate: Sun Sep 6 19:11:32 2020 +0200
gnu: coq: fix coqide not finding coqidetop.opt
* gnu/packages/coq.scm (coq) [arguments]:
Turn duplicates into symlinks instead of deleting them in
remove-duplicate.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
---
gnu/packages/coq.scm | 14 +++++++++++---
1 file changed, 11 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 8f98017..11afdf5 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -4,6 +4,7 @@
;;; Copyright © 2019 Dan Frumin <dfrumin@cs.ru.nl>
;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
;;; Copyright © 2020 Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
+;;; Copyright © 2020 raingloom <raingloom@riseup.net>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -96,11 +97,18 @@
(add-after 'install 'remove-duplicate
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
- (bin (string-append out "/bin")))
+ (bin (string-append out "/bin"))
+ (coqtop (string-append bin "/coqtop"))
+ (coqidetop (string-append bin "/coqidetop"))
+ (coqtop.opt (string-append coqtop ".opt"))
+ (coqidetop.opt (string-append coqidetop ".opt")))
;; These files are exact copies without `.opt` extension.
;; Removing these saves 35 MiB in the resulting package.
- (delete-file (string-append bin "/coqtop.opt"))
- (delete-file (string-append bin "/coqidetop.opt")))
+ ;; Unfortunately, completely deleting them breaks coqide.
+ (delete-file coqtop.opt)
+ (delete-file coqidetop.opt)
+ (symlink coqtop coqtop.opt)
+ (symlink coqidetop coqidetop.opt))
#t))
(add-after 'install 'install-ide
(lambda* (#:key outputs #:allow-other-keys)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- branch master updated: gnu: coq: fix coqide not finding coqidetop.opt,
guix-commits <=