diff options
author | Maciej Barć <xgqt@gentoo.org> | 2022-03-10 01:59:37 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-10 02:04:36 +0100 |
commit | cb18383f72e361b80c3a7e9baf529c570037bbad (patch) | |
tree | 9f15a6e246d6862e653935c3bb1260ccfd150bb5 /app-emacs/julia-repl/files | |
parent | app-emacs/julia-mode: new package; add 0.4_p20211023 (diff) | |
download | gentoo-cb18383f72e361b80c3a7e9baf529c570037bbad.tar.gz gentoo-cb18383f72e361b80c3a7e9baf529c570037bbad.tar.bz2 gentoo-cb18383f72e361b80c3a7e9baf529c570037bbad.zip |
app-emacs/julia-repl: new package; add 1.3.0_p20220225
2022.02.25 snapshot
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/julia-repl/files')
-rw-r--r-- | app-emacs/julia-repl/files/50julia-repl-gentoo.el | 4 | ||||
-rw-r--r-- | app-emacs/julia-repl/files/julia-repl-force-compile.patch | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/app-emacs/julia-repl/files/50julia-repl-gentoo.el b/app-emacs/julia-repl/files/50julia-repl-gentoo.el new file mode 100644 index 000000000000..8c76042f08d4 --- /dev/null +++ b/app-emacs/julia-repl/files/50julia-repl-gentoo.el @@ -0,0 +1,4 @@ +(add-to-list 'load-path "@SITELISP@") +(autoload 'julia-repl-mode "julia-repl" + "Minor mode for interacting with a Julia REPL running inside a term." t) +(add-hook 'julia-mode-hook 'julia-repl-mode) diff --git a/app-emacs/julia-repl/files/julia-repl-force-compile.patch b/app-emacs/julia-repl/files/julia-repl-force-compile.patch new file mode 100644 index 000000000000..6d7de553ce39 --- /dev/null +++ b/app-emacs/julia-repl/files/julia-repl-force-compile.patch @@ -0,0 +1,9 @@ +index 41df3f1..7d983f8 100644 +--- a/julia-repl.el ++++ b/julia-repl.el +@@ -1,4 +1,4 @@ +-;;; julia-repl.el --- A minor mode for a Julia REPL -*- lexical-binding:t; no-byte-compile:t -*- ++;;; julia-repl.el --- A minor mode for a Julia REPL -*- lexical-binding:t; -*- + + ;; Copyright (C) 2016 Tamas K. Papp + ;; Author: Tamas Papp <tkpapp@gmail.com> |