19 lines
382 B
Plaintext
19 lines
382 B
Plaintext
:set -XOverloadedStrings
|
|
|
|
:set -package process
|
|
|
|
:{
|
|
import System.Exit qualified
|
|
import System.Process qualified
|
|
|
|
_reload_and_make _ = do
|
|
p <- System.Process.spawnCommand "make -f Makefile_happysrcs"
|
|
r <- System.Process.waitForProcess p
|
|
case r of
|
|
System.Exit.ExitSuccess -> pure ":reload"
|
|
_ -> pure ""
|
|
:}
|
|
|
|
:def! r _reload_and_make
|
|
|