From f33e96e198644e65765a881f13152ce4c9a6f3ff Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 25 Apr 2022 18:10:59 +0200
Subject: [PATCH] separate executable into its own package

---
 quox-exe.ipkg |  7 +++++++
 quox.ipkg     | 20 ++++++++++++++++----
 2 files changed, 23 insertions(+), 4 deletions(-)
 create mode 100644 quox-exe.ipkg

diff --git a/quox-exe.ipkg b/quox-exe.ipkg
new file mode 100644
index 0000000..54a6a47
--- /dev/null
+++ b/quox-exe.ipkg
@@ -0,0 +1,7 @@
+package quox-exe
+
+executable = quox
+main = Quox
+sourcedir = "src"
+
+depends = base, contrib, quox
diff --git a/quox.ipkg b/quox.ipkg
index b604c48..6e0dc60 100644
--- a/quox.ipkg
+++ b/quox.ipkg
@@ -5,8 +5,20 @@ authors = "rhiannon morris"
 -- homepage = "..."
 sourceloc = "https://git.rhiannon.website/rhi/quox"
 
-executable = quox
-main = Quox
-sourcedir = "src"
-
 depends = base, contrib
+
+sourcedir = "src"
+modules =
+  Quox.Error,
+  Quox.NatExtra,
+  Quox.OPE,
+  Quox.Pretty,
+
+  Quox.Syntax,
+  Quox.Context,
+  Quox.Equal,
+  Quox.Name,
+  Quox.Reduce,
+
+  Quox.Typing,
+  Quox.Typechecker