Add modules to ipkg.

1 files changed, 9 insertions, 0 deletions

diff --git a/soat.ipkg b/soat.ipkg
index e0e51d7..e913be6 100644
--- a/soat.ipkg
+++ b/soat.ipkg
@@ -1,3 +1,12 @@
 package soat
 authors = "Greg Brown"
 sourcedir = "src"
+
+modules = Soat.Data.Product
+        , Soat.Data.Sublist
+        , Soat.FirstOrder.Algebra
+        , Soat.FirstOrder.Signature
+        , Soat.FirstOrder.Term
+        , Soat.Relation
+        , Soat.SecondOrder.Algebra
+        , Soat.SecondOrder.Signature