diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-03-18 08:23:00 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-04-02 11:19:21 +0200 |
| commit | 383f1307c79b31f4915b3a16a5f450d4c529241b (patch) | |
| tree | 4cebe4746a72b0de9a13de9465a9f6d9463bb9e5 /gnu/packages/emacs-xyz.scm | |
| parent | 8fdf5535c4b2d955ea38c7f9724d5c85ee56e617 (diff) | |
gnu: Separate potassco packages into their own module.
* gnu/packages/potassco.scm: New file.
* gnu/packages/maths.scm (libpotassco, clasp, clingo, python-clingo)
(python-telingo): Move to potassco module. Adjust imports accordingly.
* gnu/packages/emacs-xyz.scm (emacs-pasp-mode): Move to potassco module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/packages/potassco.scm.
Diffstat (limited to 'gnu/packages/emacs-xyz.scm')
| -rw-r--r-- | gnu/packages/emacs-xyz.scm | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index b11fbaf7b7..ed8f7f6820 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -4601,53 +4601,6 @@ written text. Unlike dynamic abbreviation, the text is analysed during idle time, while Emacs is doing nothing else.") (license license:gpl3+))) -(define-public emacs-pasp-mode - (let ((commit "59385eb0e8ebcfc8c11dd811fb145d4b0fa3cc92") - (revision "1")) - (package - (name "emacs-pasp-mode") - (version (git-version "0.1.0" revision commit)) - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/santifa/pasp-mode") - (commit commit))) - (patches - (search-patches "emacs-pasp-mode-quote-file-names.patch")) - (sha256 - (base32 - "1ar4vws3izzmir7m870mccci620ns3c5j26dcmwaxavhgw45wcmf")))) - (build-system emacs-build-system) - (arguments - (list - #:phases - #~(modify-phases %standard-phases - (add-after 'unpack 'defconst-version - (lambda _ - (emacs-batch-edit-file "pasp-mode.el" - '(progn - (search-forward-regexp "(defcustom pasp-mode-version") - (forward-sexp) - (kill-sexp) - (backward-sexp) - (beginning-of-line) - (kill-sexp) - (insert (format "(defconst emacs-pasp-version \"%s\" %s)" - #$version (cadr kill-ring))) - (basic-save-buffer))))) - (add-after 'unpack 'hardcode-clingo - (lambda* (#:key inputs #:allow-other-keys) - (emacs-substitute-variables "pasp-mode.el" - ("pasp-clingo-path" - (search-input-file inputs "/bin/clingo")))))))) - (inputs (list clingo)) - (home-page "https://github.com/santifa/pasp-mode") - (synopsis "Major mode for editing answer set programs") - (description - "This package provides a major mode for editing answer set programs, -in particular ones that can be solved by @command{clingo}.") - (license license:gpl3+)))) - (define-public emacs-pdf-tools (package (name "emacs-pdf-tools") |