vmchale · marcosh · May 20, 2019 · May 20, 2019
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,5 @@
 tags
+target
 *.ibc
 *.swp
+elba.lock
diff --git a/elba.toml b/elba.toml
@@ -0,0 +1,20 @@
+[package]
+name = "vmchale/permutations"
+version = "0.2.0"
+authors = [ "Vanessa McHale" ]
+
+[dev_dependencies]
+"pheymann/specdris" = { git = "https://github.com/pheymann/specdris/" }
+
+[targets.lib]
+mods = [ "Control.Permutation"
+       , "Control.Permutation.Types"
+       , "Control.Permutation.Mod"
+       , "Control.Permutation.Proofs"
+       , "Data.Group"
+       ]
+
+[[targets.test]]
+path = "src"
+main = "Test.Spec.specSuite"
+idris_opts = [ "-p", "contrib"]
diff --git a/permutations.ipkg b/permutations.ipkg
@@ -9,6 +9,8 @@ author = Vanessa McHale
 sourceloc  = git://[email protected]:vmchale/permutations.git
 bugtracker = http://www.github.com/vmchale/permutations/issues
 
+sourcedir = src
+
 modules = Control.Permutation,
           Control.Permutation.Types,
           Control.Permutation.Mod,

diff --git a/Control/Permutation.idr → src/Control/Permutation.idr b/Control/Permutation.idr → src/Control/Permutation.idr
diff --git a/Control/Permutation/Mod.idr → src/Control/Permutation/Mod.idr b/Control/Permutation/Mod.idr → src/Control/Permutation/Mod.idr
diff --git a/Control/Permutation/Proofs.idr → src/Control/Permutation/Proofs.idr b/Control/Permutation/Proofs.idr → src/Control/Permutation/Proofs.idr
diff --git a/Control/Permutation/Types.idr → src/Control/Permutation/Types.idr b/Control/Permutation/Types.idr → src/Control/Permutation/Types.idr
diff --git a/Data/Group.idr → src/Data/Group.idr b/Data/Group.idr → src/Data/Group.idr
diff --git a/Test/Spec.idr → src/Test/Spec.idr b/Test/Spec.idr → src/Test/Spec.idr
diff --git a/test.ipkg b/test.ipkg
@@ -12,4 +12,6 @@ modules = Control.Permutation.Types
         , Data.Group
         , Test.Spec
 
+sourcedir = src
+
 tests = Test.Spec.specSuite