[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
11/15: gnu: Add coq-for-coqtail.
From: |
guix-commits |
Subject: |
11/15: gnu: Add coq-for-coqtail. |
Date: |
Thu, 23 Nov 2023 06:58:16 -0500 (EST) |
civodul pushed a commit to branch master
in repository guix.
commit 33a1ee7f17338dbfa39bd00e449c667f345d41fa
Author: Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com>
AuthorDate: Fri Sep 8 12:34:21 2023 +0200
gnu: Add coq-for-coqtail.
* gnu/packages/coq.scm (coq-for-coqtail): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Change-Id: I0c08a02f7937786b52039307c1019ae3474e625c
---
gnu/packages/coq.scm | 27 +++++++++++++++++++++++++++
1 file changed, 27 insertions(+)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 09ca4030ea..f30f231f3b 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -42,6 +42,7 @@
#:use-module (gnu packages texinfo)
#:use-module (guix build-system dune)
#:use-module (guix build-system gnu)
+ #:use-module (guix build-system trivial)
#:use-module (guix download)
#:use-module (guix gexp)
#:use-module (guix git-download)
@@ -285,6 +286,32 @@ multi-precision arithmetic. It also supports efficient
numerical computations
inside Coq.")
(license license:lgpl3+)))
+;; Union of coq and coq-ide-server as vim-coqtail expects coqc and coqidetop
+;; to be in the same bin folder, when vim-coqtail is installed coqc and
+;; coqidetop will be in the "same" bin folder in the profile, so this is only
+;; required for testing the package.
+;;
+;; This is deeply ingrained in the internals of vim-coqtail so this is why
+;; it's necessary.
+(define-public coq-for-coqtail
+ (hidden-package
+ (package
+ (inherit coq)
+ (name "coq-for-coqtail")
+ (source #f)
+ (build-system trivial-build-system)
+ (arguments
+ '(#:modules ((guix build union))
+ #:builder
+ (begin
+ (use-modules (ice-9 match)
+ (guix build union))
+ (match %build-inputs
+ (((names . directories) ...)
+ (union-build (assoc-ref %outputs "out")
+ directories))))))
+ (inputs (list coq coq-ide-server)))))
+
(define-public coq-gappa
(package
(name "coq-gappa")
- branch master updated (5023424f16 -> 8d596af2c9), guix-commits, 2023/11/23
- 01/15: services: Add oci-container-service-type., guix-commits, 2023/11/23
- 02/15: gnu: scilab: Remove uneeded code., guix-commits, 2023/11/23
- 04/15: gnu: scilab: Use gexp for tcl and tk libraries., guix-commits, 2023/11/23
- 09/15: gnu: scilab: Set default SCIHOME value., guix-commits, 2023/11/23
- 11/15: gnu: Add coq-for-coqtail.,
guix-commits <=
- 15/15: gnu: folly: Update to 2023.11.06.00., guix-commits, 2023/11/23
- 03/15: gnu: scilab: Activate tests and disable failing tests., guix-commits, 2023/11/23
- 05/15: gnu: scilab: Add phase rewrap-scilab-cli., guix-commits, 2023/11/23
- 06/15: gnu: scilab: Reindent., guix-commits, 2023/11/23
- 08/15: gnu: scilab: Add phase set-version., guix-commits, 2023/11/23
- 07/15: gnu: scilab: Update to 2024.0.0., guix-commits, 2023/11/23
- 10/15: gnu: Add vim-vader., guix-commits, 2023/11/23
- 13/15: gnu: guile-ts: Update to 0.2.0., guix-commits, 2023/11/23
- 14/15: gnu: mpd: Update to 0.23.14., guix-commits, 2023/11/23
- 12/15: gnu: Add vim-coqtail., guix-commits, 2023/11/23