2.2.1 Package.el ¶

Symex is hosted directly at its source repository, so you’ll likely need to use the :vc flag in your use-package config (requires Emacs 30+), either by pointing it straight at the upstream repository, or potentially cloning the repo locally first.

The following instructions use the latter approach (warning: untested):

;; First, clone the repo to /path/to/symex
;; Then:

(use-package symex
  :vc t
  :load-path ("/path/to/symex/symex-core"
              "/path/to/symex/symex"
              "/path/to/symex/symex-ide"      ; if desired
              "/path/to/symex/symex-evil"     ; if desired
              "/path/to/symex/symex-rigpa")   ; if desired
  :config
  (symex-mode 1)
  (global-set-key (kbd "s-;") #'symex-mode-interface)
  ;; allow emacs to find the Info manual
  (add-to-list 'Info-directory-list
               (expand-file-name "/path/to/symex/symex/doc/")))

If you try this and it doesn’t work, or if you get it to work and have alternative instructions, please consider contributing them or at least notifying Symex contributors about it so that we can update these instructions for the next person.

If these instructions don’t work, and if you’re keen on using Package.el (and perhaps you are on an older version of Emacs that doesn’t support installing directly from source repositories), then fear not, as you can still install Symex using Quelpa (See Quelpa).