2015-07-24 17:33:14 +02:00
|
|
|
|
;;; guix-devel.el --- Development tools -*- lexical-binding: t -*-
|
|
|
|
|
|
|
|
|
|
;; Copyright © 2015 Alex Kost <alezost@gmail.com>
|
|
|
|
|
|
|
|
|
|
;; This file is part of GNU Guix.
|
|
|
|
|
|
|
|
|
|
;; GNU Guix is free software; you can redistribute it and/or modify
|
|
|
|
|
;; it under the terms of the GNU General Public License as published by
|
|
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
;; (at your option) any later version.
|
|
|
|
|
|
|
|
|
|
;; GNU Guix 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 General Public License for more details.
|
|
|
|
|
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;; along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
|
|
;; This file provides commands useful for developing Guix (or even
|
|
|
|
|
;; arbitrary Guile code) with Geiser.
|
|
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
2015-10-12 11:06:32 +02:00
|
|
|
|
(require 'lisp-mode)
|
2015-07-24 17:33:14 +02:00
|
|
|
|
(require 'guix-guile)
|
|
|
|
|
(require 'guix-geiser)
|
|
|
|
|
(require 'guix-utils)
|
2015-07-24 19:31:11 +02:00
|
|
|
|
(require 'guix-base)
|
2015-07-24 17:33:14 +02:00
|
|
|
|
|
|
|
|
|
(defgroup guix-devel nil
|
|
|
|
|
"Settings for Guix development utils."
|
|
|
|
|
:group 'guix)
|
|
|
|
|
|
2015-09-24 19:10:29 +02:00
|
|
|
|
(defgroup guix-devel-faces nil
|
|
|
|
|
"Faces for `guix-devel-mode'."
|
|
|
|
|
:group 'guix-devel
|
|
|
|
|
:group 'guix-faces)
|
|
|
|
|
|
|
|
|
|
(defface guix-devel-modify-phases-keyword
|
|
|
|
|
'((t :inherit font-lock-preprocessor-face))
|
|
|
|
|
"Face for a `modify-phases' keyword ('delete', 'replace', etc.)."
|
|
|
|
|
:group 'guix-devel-faces)
|
|
|
|
|
|
2015-09-26 21:42:07 +02:00
|
|
|
|
(defface guix-devel-gexp-symbol
|
|
|
|
|
'((t :inherit font-lock-keyword-face))
|
|
|
|
|
"Face for gexp symbols ('#~', '#$', etc.).
|
|
|
|
|
See Info node `(guix) G-Expressions'."
|
|
|
|
|
:group 'guix-devel-faces)
|
|
|
|
|
|
2015-07-24 17:33:14 +02:00
|
|
|
|
(defcustom guix-devel-activate-mode t
|
|
|
|
|
"If non-nil, then `guix-devel-mode' is automatically activated
|
|
|
|
|
in Scheme buffers."
|
|
|
|
|
:type 'boolean
|
|
|
|
|
:group 'guix-devel)
|
|
|
|
|
|
|
|
|
|
(defun guix-devel-use-modules (&rest modules)
|
|
|
|
|
"Use guile MODULES."
|
|
|
|
|
(apply #'guix-geiser-call "use-modules" modules))
|
|
|
|
|
|
|
|
|
|
(defun guix-devel-use-module (&optional module)
|
|
|
|
|
"Use guile MODULE in the current Geiser REPL.
|
|
|
|
|
MODULE is a string with the module name - e.g., \"(ice-9 match)\".
|
|
|
|
|
Interactively, use the module defined by the current scheme file."
|
|
|
|
|
(interactive (list (guix-guile-current-module)))
|
|
|
|
|
(guix-devel-use-modules module)
|
|
|
|
|
(message "Using %s module." module))
|
|
|
|
|
|
|
|
|
|
(defun guix-devel-copy-module-as-kill ()
|
|
|
|
|
"Put the name of the current guile module into `kill-ring'."
|
|
|
|
|
(interactive)
|
|
|
|
|
(guix-copy-as-kill (guix-guile-current-module)))
|
|
|
|
|
|
2015-07-24 19:31:11 +02:00
|
|
|
|
(defun guix-devel-setup-repl (&optional repl)
|
|
|
|
|
"Setup REPL for using `guix-devel-...' commands."
|
|
|
|
|
(guix-devel-use-modules "(guix monad-repl)"
|
|
|
|
|
"(guix scripts)"
|
2015-10-01 20:16:18 +02:00
|
|
|
|
"(guix store)"
|
|
|
|
|
"(guix ui)")
|
|
|
|
|
;; Without this workaround, the warning/build output disappears. See
|
2015-07-24 19:31:11 +02:00
|
|
|
|
;; <https://github.com/jaor/geiser/issues/83> for details.
|
2015-10-06 19:30:16 +02:00
|
|
|
|
(guix-geiser-eval-in-repl-synchronously
|
2015-10-01 20:16:18 +02:00
|
|
|
|
"(begin
|
|
|
|
|
(guix-warning-port (current-warning-port))
|
|
|
|
|
(current-build-output-port (current-error-port)))"
|
2015-07-24 19:31:11 +02:00
|
|
|
|
repl 'no-history 'no-display))
|
|
|
|
|
|
|
|
|
|
(defvar guix-devel-repl-processes nil
|
|
|
|
|
"List of REPL processes configured by `guix-devel-setup-repl'.")
|
|
|
|
|
|
|
|
|
|
(defun guix-devel-setup-repl-maybe (&optional repl)
|
|
|
|
|
"Setup (if needed) REPL for using `guix-devel-...' commands."
|
|
|
|
|
(let ((process (get-buffer-process (or repl (guix-geiser-repl)))))
|
|
|
|
|
(when (and process
|
|
|
|
|
(not (memq process guix-devel-repl-processes)))
|
|
|
|
|
(guix-devel-setup-repl repl)
|
|
|
|
|
(push process guix-devel-repl-processes))))
|
|
|
|
|
|
2015-10-01 20:06:42 +02:00
|
|
|
|
(defmacro guix-devel-with-definition (def-var &rest body)
|
|
|
|
|
"Run BODY with the current guile definition bound to DEF-VAR.
|
|
|
|
|
Bind DEF-VAR variable to the name of the current top-level
|
|
|
|
|
definition, setup the current REPL, use the current module, and
|
|
|
|
|
run BODY."
|
|
|
|
|
(declare (indent 1) (debug (symbolp body)))
|
|
|
|
|
`(let ((,def-var (guix-guile-current-definition)))
|
|
|
|
|
(guix-devel-setup-repl-maybe)
|
|
|
|
|
(guix-devel-use-modules (guix-guile-current-module))
|
|
|
|
|
,@body))
|
|
|
|
|
|
2015-07-24 19:31:11 +02:00
|
|
|
|
(defun guix-devel-build-package-definition ()
|
|
|
|
|
"Build a package defined by the current top-level variable definition."
|
|
|
|
|
(interactive)
|
2015-10-01 20:06:42 +02:00
|
|
|
|
(guix-devel-with-definition def
|
2015-07-24 19:31:11 +02:00
|
|
|
|
(when (or (not guix-operation-confirm)
|
|
|
|
|
(guix-operation-prompt (format "Build '%s'?" def)))
|
|
|
|
|
(guix-geiser-eval-in-repl
|
|
|
|
|
(concat ",run-in-store "
|
|
|
|
|
(guix-guile-make-call-expression
|
|
|
|
|
"build-package" def
|
|
|
|
|
"#:use-substitutes?" (guix-guile-boolean
|
|
|
|
|
guix-use-substitutes)
|
|
|
|
|
"#:dry-run?" (guix-guile-boolean guix-dry-run)))))))
|
|
|
|
|
|
2015-10-09 15:45:24 +02:00
|
|
|
|
(defun guix-devel-build-package-source ()
|
|
|
|
|
"Build the source of the current package definition."
|
|
|
|
|
(interactive)
|
|
|
|
|
(guix-devel-with-definition def
|
|
|
|
|
(when (or (not guix-operation-confirm)
|
|
|
|
|
(guix-operation-prompt
|
|
|
|
|
(format "Build '%s' package source?" def)))
|
|
|
|
|
(guix-geiser-eval-in-repl
|
|
|
|
|
(concat ",run-in-store "
|
|
|
|
|
(guix-guile-make-call-expression
|
|
|
|
|
"build-package-source" def
|
|
|
|
|
"#:use-substitutes?" (guix-guile-boolean
|
|
|
|
|
guix-use-substitutes)
|
|
|
|
|
"#:dry-run?" (guix-guile-boolean guix-dry-run)))))))
|
|
|
|
|
|
2015-10-01 20:16:18 +02:00
|
|
|
|
(defun guix-devel-lint-package ()
|
|
|
|
|
"Check the current package.
|
|
|
|
|
See Info node `(guix) Invoking guix lint' for details."
|
|
|
|
|
(interactive)
|
|
|
|
|
(guix-devel-with-definition def
|
|
|
|
|
(guix-devel-use-modules "(guix scripts lint)")
|
|
|
|
|
(when (or (not guix-operation-confirm)
|
|
|
|
|
(y-or-n-p (format "Lint '%s' package?" def)))
|
|
|
|
|
(guix-geiser-eval-in-repl
|
|
|
|
|
(format "(run-checkers %s)" def)))))
|
|
|
|
|
|
2015-09-24 19:10:29 +02:00
|
|
|
|
|
|
|
|
|
;;; Font-lock
|
|
|
|
|
|
|
|
|
|
(defvar guix-devel-modify-phases-keyword-regexp
|
|
|
|
|
(rx (+ word))
|
|
|
|
|
"Regexp for a 'modify-phases' keyword ('delete', 'replace', etc.).")
|
|
|
|
|
|
|
|
|
|
(defun guix-devel-modify-phases-font-lock-matcher (limit)
|
|
|
|
|
"Find a 'modify-phases' keyword.
|
|
|
|
|
This function is used as a MATCHER for `font-lock-keywords'."
|
|
|
|
|
(ignore-errors
|
|
|
|
|
(down-list)
|
|
|
|
|
(or (re-search-forward guix-devel-modify-phases-keyword-regexp
|
|
|
|
|
limit t)
|
|
|
|
|
(set-match-data nil))
|
|
|
|
|
(up-list)
|
|
|
|
|
t))
|
|
|
|
|
|
|
|
|
|
(defun guix-devel-modify-phases-font-lock-pre ()
|
|
|
|
|
"Skip the next sexp, and return the end point of the current list.
|
|
|
|
|
This function is used as a PRE-MATCH-FORM for `font-lock-keywords'
|
|
|
|
|
to find 'modify-phases' keywords."
|
2015-10-02 16:25:40 +02:00
|
|
|
|
(let ((in-comment? (nth 4 (syntax-ppss))))
|
|
|
|
|
;; If 'modify-phases' is commented, do not try to search for its
|
|
|
|
|
;; keywords.
|
|
|
|
|
(unless in-comment?
|
|
|
|
|
(ignore-errors (forward-sexp))
|
|
|
|
|
(save-excursion (up-list) (point)))))
|
2015-09-24 19:10:29 +02:00
|
|
|
|
|
2015-10-16 22:38:38 +02:00
|
|
|
|
(defconst guix-devel-keywords
|
|
|
|
|
'("call-with-compressed-output-port"
|
|
|
|
|
"call-with-container"
|
|
|
|
|
"call-with-decompressed-port"
|
|
|
|
|
"call-with-derivation-narinfo"
|
|
|
|
|
"call-with-derivation-substitute"
|
|
|
|
|
"call-with-error-handling"
|
|
|
|
|
"call-with-temporary-directory"
|
|
|
|
|
"call-with-temporary-output-file"
|
|
|
|
|
"define-enumerate-type"
|
|
|
|
|
"define-gexp-compiler"
|
|
|
|
|
"define-lift"
|
|
|
|
|
"define-monad"
|
|
|
|
|
"define-operation"
|
|
|
|
|
"define-record-type*"
|
|
|
|
|
"emacs-substitute-sexps"
|
|
|
|
|
"emacs-substitute-variables"
|
|
|
|
|
"mbegin"
|
|
|
|
|
"mlet"
|
|
|
|
|
"mlet*"
|
|
|
|
|
"munless"
|
|
|
|
|
"mwhen"
|
|
|
|
|
"run-with-state"
|
|
|
|
|
"run-with-store"
|
|
|
|
|
"signature-case"
|
|
|
|
|
"substitute*"
|
|
|
|
|
"substitute-keyword-arguments"
|
|
|
|
|
"test-assertm"
|
|
|
|
|
"use-package-modules"
|
|
|
|
|
"use-service-modules"
|
|
|
|
|
"use-system-modules"
|
|
|
|
|
"with-atomic-file-output"
|
|
|
|
|
"with-atomic-file-replacement"
|
|
|
|
|
"with-derivation-narinfo"
|
|
|
|
|
"with-derivation-substitute"
|
|
|
|
|
"with-directory-excursion"
|
|
|
|
|
"with-error-handling"
|
|
|
|
|
"with-monad"
|
|
|
|
|
"with-mutex"
|
|
|
|
|
"with-store"))
|
|
|
|
|
|
2015-09-24 19:10:29 +02:00
|
|
|
|
(defvar guix-devel-font-lock-keywords
|
2015-09-26 21:42:07 +02:00
|
|
|
|
`((,(rx (or "#~" "#$" "#$@" "#+" "#+@")) .
|
|
|
|
|
'guix-devel-gexp-symbol)
|
2015-10-16 22:38:38 +02:00
|
|
|
|
(,(guix-guile-keyword-regexp (regexp-opt guix-devel-keywords))
|
|
|
|
|
(1 'font-lock-keyword-face))
|
2015-09-26 21:42:07 +02:00
|
|
|
|
(,(guix-guile-keyword-regexp "modify-phases")
|
2015-09-24 19:10:29 +02:00
|
|
|
|
(1 'font-lock-keyword-face)
|
|
|
|
|
(guix-devel-modify-phases-font-lock-matcher
|
|
|
|
|
(guix-devel-modify-phases-font-lock-pre)
|
|
|
|
|
nil
|
|
|
|
|
(0 'guix-devel-modify-phases-keyword nil t))))
|
|
|
|
|
"A list of `font-lock-keywords' for `guix-devel-mode'.")
|
|
|
|
|
|
2015-10-12 11:06:32 +02:00
|
|
|
|
|
|
|
|
|
;;; Indentation
|
|
|
|
|
|
|
|
|
|
(defmacro guix-devel-scheme-indent (&rest rules)
|
|
|
|
|
"Set `scheme-indent-function' according to RULES.
|
|
|
|
|
Each rule should have a form (SYMBOL VALUE). See `put' for details."
|
|
|
|
|
(declare (indent 0))
|
|
|
|
|
`(progn
|
|
|
|
|
,@(mapcar (lambda (rule)
|
|
|
|
|
`(put ',(car rule) 'scheme-indent-function ,(cadr rule)))
|
|
|
|
|
rules)))
|
|
|
|
|
|
|
|
|
|
(defun guix-devel-indent-package (state indent-point normal-indent)
|
|
|
|
|
"Indentation rule for 'package' form."
|
|
|
|
|
(let* ((package-eol (line-end-position))
|
|
|
|
|
(count (if (and (ignore-errors (down-list) t)
|
|
|
|
|
(< (point) package-eol)
|
|
|
|
|
(looking-at "inherit\\>"))
|
|
|
|
|
1
|
|
|
|
|
0)))
|
|
|
|
|
(lisp-indent-specform count state indent-point normal-indent)))
|
|
|
|
|
|
|
|
|
|
(guix-devel-scheme-indent
|
|
|
|
|
(bag 0)
|
|
|
|
|
(build-system 0)
|
|
|
|
|
(call-with-compressed-output-port 2)
|
|
|
|
|
(call-with-container 1)
|
|
|
|
|
(call-with-decompressed-port 2)
|
|
|
|
|
(call-with-error-handling 0)
|
|
|
|
|
(container-excursion 1)
|
|
|
|
|
(emacs-batch-edit-file 1)
|
|
|
|
|
(emacs-batch-eval 0)
|
|
|
|
|
(emacs-substitute-sexps 1)
|
|
|
|
|
(emacs-substitute-variables 1)
|
|
|
|
|
(file-system 0)
|
|
|
|
|
(graft 0)
|
|
|
|
|
(manifest-entry 0)
|
|
|
|
|
(manifest-pattern 0)
|
|
|
|
|
(mbegin 1)
|
|
|
|
|
(mlet 2)
|
|
|
|
|
(mlet* 2)
|
|
|
|
|
(modify-phases 1)
|
|
|
|
|
(munless 1)
|
|
|
|
|
(mwhen 1)
|
|
|
|
|
(operating-system 0)
|
|
|
|
|
(origin 0)
|
|
|
|
|
(package 'guix-devel-indent-package)
|
|
|
|
|
(run-with-state 1)
|
|
|
|
|
(run-with-store 1)
|
|
|
|
|
(signature-case 1)
|
|
|
|
|
(substitute* 1)
|
|
|
|
|
(substitute-keyword-arguments 1)
|
|
|
|
|
(test-assertm 1)
|
|
|
|
|
(with-atomic-file-output 1)
|
|
|
|
|
(with-derivation-narinfo 1)
|
|
|
|
|
(with-derivation-substitute 2)
|
|
|
|
|
(with-directory-excursion 1)
|
|
|
|
|
(with-error-handling 0)
|
|
|
|
|
(with-monad 1)
|
|
|
|
|
(with-mutex 1)
|
|
|
|
|
(with-store 1)
|
|
|
|
|
(wrap-program 1))
|
|
|
|
|
|
2015-09-24 19:10:29 +02:00
|
|
|
|
|
2015-07-24 17:33:14 +02:00
|
|
|
|
(defvar guix-devel-keys-map
|
|
|
|
|
(let ((map (make-sparse-keymap)))
|
2015-07-24 19:31:11 +02:00
|
|
|
|
(define-key map (kbd "b") 'guix-devel-build-package-definition)
|
2015-10-09 15:45:24 +02:00
|
|
|
|
(define-key map (kbd "s") 'guix-devel-build-package-source)
|
2015-10-01 20:16:18 +02:00
|
|
|
|
(define-key map (kbd "l") 'guix-devel-lint-package)
|
2015-07-24 17:33:14 +02:00
|
|
|
|
(define-key map (kbd "k") 'guix-devel-copy-module-as-kill)
|
|
|
|
|
(define-key map (kbd "u") 'guix-devel-use-module)
|
|
|
|
|
map)
|
|
|
|
|
"Keymap with subkeys for `guix-devel-mode-map'.")
|
|
|
|
|
|
|
|
|
|
(defvar guix-devel-mode-map
|
|
|
|
|
(let ((map (make-sparse-keymap)))
|
|
|
|
|
(define-key map (kbd "C-c .") guix-devel-keys-map)
|
|
|
|
|
map)
|
|
|
|
|
"Keymap for `guix-devel-mode'.")
|
|
|
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
|
(define-minor-mode guix-devel-mode
|
|
|
|
|
"Minor mode for `scheme-mode' buffers.
|
|
|
|
|
|
|
|
|
|
With a prefix argument ARG, enable the mode if ARG is positive,
|
|
|
|
|
and disable it otherwise. If called from Lisp, enable the mode
|
|
|
|
|
if ARG is omitted or nil.
|
|
|
|
|
|
|
|
|
|
When Guix Devel mode is enabled, it provides the following key
|
|
|
|
|
bindings:
|
|
|
|
|
|
|
|
|
|
\\{guix-devel-mode-map}"
|
|
|
|
|
:init-value nil
|
|
|
|
|
:lighter " Guix"
|
2015-09-24 19:10:29 +02:00
|
|
|
|
:keymap guix-devel-mode-map
|
|
|
|
|
(if guix-devel-mode
|
|
|
|
|
(progn
|
|
|
|
|
(setq-local font-lock-multiline t)
|
|
|
|
|
(font-lock-add-keywords nil guix-devel-font-lock-keywords))
|
|
|
|
|
(setq-local font-lock-multiline nil)
|
|
|
|
|
(font-lock-remove-keywords nil guix-devel-font-lock-keywords))
|
|
|
|
|
(when font-lock-mode
|
|
|
|
|
(font-lock-fontify-buffer)))
|
2015-07-24 17:33:14 +02:00
|
|
|
|
|
|
|
|
|
;;;###autoload
|
|
|
|
|
(defun guix-devel-activate-mode-maybe ()
|
|
|
|
|
"Activate `guix-devel-mode' depending on
|
|
|
|
|
`guix-devel-activate-mode' variable."
|
|
|
|
|
(when guix-devel-activate-mode
|
|
|
|
|
(guix-devel-mode)))
|
|
|
|
|
|
2015-10-01 20:06:42 +02:00
|
|
|
|
|
|
|
|
|
(defvar guix-devel-emacs-font-lock-keywords
|
|
|
|
|
(eval-when-compile
|
|
|
|
|
`((,(rx "(" (group "guix-devel-with-definition") symbol-end) . 1))))
|
|
|
|
|
|
|
|
|
|
(font-lock-add-keywords 'emacs-lisp-mode
|
|
|
|
|
guix-devel-emacs-font-lock-keywords)
|
|
|
|
|
|
2015-07-24 17:33:14 +02:00
|
|
|
|
(provide 'guix-devel)
|
|
|
|
|
|
|
|
|
|
;;; guix-devel.el ends here
|