Added spacemacs bindings for compiling

Author: robkorn

README.md

@@ -5,6 +5,13 @@ This is a Spacemacs layer for K which provides syntax highlighting via k3-mode.
 
 K3-Mode: https://github.com/kframework/k-editor-support/blob/master/emacs/k3-mode.el
 
+Key Bindings and Commands
+=========================
+
+| Key                | Function                                                                        |
+|--------------------|---------------------------------------------------------------------------------|
+| <kbd>SPC m c</kbd> | Compile using Makefile
+
 
 Installation
 ==============
@@ -13,3 +20,4 @@ Installation
         $ mv k-framework ~/.emacs.d/private/local
 
 Then simply add 'k-framework' as one of your configuration layers in your spacemacs config.
+

k-framework/packages.el

@@ -11,4 +11,13 @@
     :defer t
     :mode "\\.k\\'"
   )
+
+)
+
+(defun k-framework/post-init-k3-mode ()
+  (spacemacs/set-leader-keys-for-major-mode 'k3-mode
+    "c" 'compile
+    )
 )
+
+