cd6f6c22fb
* gnu/services.scm (%modify-service, modify-services): New macros. * gnu/services/base.scm (mingetty-service-type, guix-service-type): Export. * emacs/guix-devel.el (guix-devel-keywords): Add 'modify-services'. Ditto in 'guix-devel-scheme-indent' call. * doc/guix.texi (Using the Configuration System): Give an example of 'modify-services'. (Service Reference): Document it.
377 lines
12 KiB
EmacsLisp
377 lines
12 KiB
EmacsLisp
;;; 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:
|
||
|
||
(require 'lisp-mode)
|
||
(require 'guix-guile)
|
||
(require 'guix-geiser)
|
||
(require 'guix-utils)
|
||
(require 'guix-base)
|
||
|
||
(defgroup guix-devel nil
|
||
"Settings for Guix development utils."
|
||
:group 'guix)
|
||
|
||
(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)
|
||
|
||
(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)
|
||
|
||
(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)))
|
||
|
||
(defun guix-devel-setup-repl (&optional repl)
|
||
"Setup REPL for using `guix-devel-...' commands."
|
||
(guix-devel-use-modules "(guix monad-repl)"
|
||
"(guix scripts)"
|
||
"(guix store)"
|
||
"(guix ui)")
|
||
;; Without this workaround, the warning/build output disappears. See
|
||
;; <https://github.com/jaor/geiser/issues/83> for details.
|
||
(guix-geiser-eval-in-repl-synchronously
|
||
"(begin
|
||
(guix-warning-port (current-warning-port))
|
||
(current-build-output-port (current-error-port)))"
|
||
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))))
|
||
|
||
(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))
|
||
|
||
(defun guix-devel-build-package-definition ()
|
||
"Build a package defined by the current top-level variable definition."
|
||
(interactive)
|
||
(guix-devel-with-definition def
|
||
(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)))))))
|
||
|
||
(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)))))))
|
||
|
||
(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)))))
|
||
|
||
|
||
;;; 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."
|
||
(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)))))
|
||
|
||
(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*"
|
||
"modify-services"
|
||
"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"))
|
||
|
||
(defvar guix-devel-font-lock-keywords
|
||
`((,(rx (or "#~" "#$" "#$@" "#+" "#+@")) .
|
||
'guix-devel-gexp-symbol)
|
||
(,(guix-guile-keyword-regexp (regexp-opt guix-devel-keywords))
|
||
(1 'font-lock-keyword-face))
|
||
(,(guix-guile-keyword-regexp "modify-phases")
|
||
(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'.")
|
||
|
||
|
||
;;; 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)))
|
||
|
||
(defun guix-devel-indent-modify-phases-keyword (count)
|
||
"Return indentation function for 'modify-phases' keywords."
|
||
(lambda (state indent-point normal-indent)
|
||
(when (ignore-errors
|
||
(goto-char (nth 1 state)) ; start of keyword sexp
|
||
(backward-up-list)
|
||
(looking-at "(modify-phases\\>"))
|
||
(lisp-indent-specform count state indent-point normal-indent))))
|
||
|
||
(defalias 'guix-devel-indent-modify-phases-keyword-1
|
||
(guix-devel-indent-modify-phases-keyword 1))
|
||
(defalias 'guix-devel-indent-modify-phases-keyword-2
|
||
(guix-devel-indent-modify-phases-keyword 2))
|
||
|
||
(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)
|
||
(modify-services 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)
|
||
|
||
;; 'modify-phases' keywords:
|
||
(replace 'guix-devel-indent-modify-phases-keyword-1)
|
||
(add-after 'guix-devel-indent-modify-phases-keyword-2)
|
||
(add-before 'guix-devel-indent-modify-phases-keyword-2))
|
||
|
||
|
||
(defvar guix-devel-keys-map
|
||
(let ((map (make-sparse-keymap)))
|
||
(define-key map (kbd "b") 'guix-devel-build-package-definition)
|
||
(define-key map (kbd "s") 'guix-devel-build-package-source)
|
||
(define-key map (kbd "l") 'guix-devel-lint-package)
|
||
(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"
|
||
: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)))
|
||
|
||
;;;###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)))
|
||
|
||
|
||
(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)
|
||
|
||
(provide 'guix-devel)
|
||
|
||
;;; guix-devel.el ends here
|