emacs: add z3 mode and configuration

Signed-off-by: Kenny Ballou <kb@devnulllabs.io>
kennyballou · Apr 30, 2021 · 8458e3c · 8458e3c
1 parent 182dcfa
commit 8458e3c
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 0 deletions.
diff --git a/config/emacs/emacs.d/init.el b/config/emacs/emacs.d/init.el
@@ -118,6 +118,7 @@
 (require 'init-tex)
 (require 'init-toml)
 (require 'init-ocaml)
+(require 'init-z3)
 
 ;; Email and Such
 (require 'init-auth-sources)

diff --git a/config/emacs/emacs.d/lisp/init-z3.el b/config/emacs/emacs.d/lisp/init-z3.el
@@ -0,0 +1,14 @@
+;;; init-z3 --- z3 prover mode
+;;; Commentary:
+;;; Code:
+
+(defvar z3-mode)
+(defvar z3-solver-cmd)
+
+(use-package z3-mode
+  :mode "\\.smt2\\'"
+  :config
+  (setq z3-solver-cmd "z3"))
+
+(provide 'init-z3)
+;;; init-z3.el ends here
diff --git a/overlays/emacs/packages.nix b/overlays/emacs/packages.nix
@@ -249,6 +249,7 @@ in rec {
     xref-js2
     yari
     yasnippet
+    z3-mode
     zenburn-theme
   ]) ++ (with epkgs.elpaPackages; [
     auctex