From 975c5e4116e1f7a7418c1a9a04912de197b38e9a Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Fri, 27 Mar 2020 21:13:12 +0000
Subject: [PATCH] Set up mima-run executable

---
 mima-run/Main.hs |  4 ++++
 package.yaml     | 11 +++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 mima-run/Main.hs

diff --git a/mima-run/Main.hs b/mima-run/Main.hs
new file mode 100644
index 0000000..cf9a9cc
--- /dev/null
+++ b/mima-run/Main.hs
@@ -0,0 +1,4 @@
+module Main where
+
+main :: IO ()
+main = putStrLn "In the beginning, there was nothing."
diff --git a/package.yaml b/package.yaml
index 1b9e9a7..2f8c9db 100644
--- a/package.yaml
+++ b/package.yaml
@@ -26,6 +26,17 @@ dependencies:
 library:
   source-dirs: src
 
+executables:
+  mima-run:
+    source-dirs: mima-run
+    main: Main.hs
+    ghc-options:
+      - -threaded
+      - -rtsopts
+      - -with-rtsopts=-N
+    dependencies:
+      - mima-tools
+
 tests:
   spec:
     source-dirs: test