From 549990a2d69778723630689eae6cdf1e0f8d3991 Mon Sep 17 00:00:00 2001 From: Marco Perone Date: Mon, 20 May 2019 10:12:51 +0200 Subject: [PATCH 1/2] move code into src folder --- permutations.ipkg | 2 ++ {Control => src/Control}/Permutation.idr | 0 {Control => src/Control}/Permutation/Mod.idr | 0 {Control => src/Control}/Permutation/Proofs.idr | 0 {Control => src/Control}/Permutation/Types.idr | 0 {Data => src/Data}/Group.idr | 0 {Test => src/Test}/Spec.idr | 0 test.ipkg | 2 ++ 8 files changed, 4 insertions(+) rename {Control => src/Control}/Permutation.idr (100%) rename {Control => src/Control}/Permutation/Mod.idr (100%) rename {Control => src/Control}/Permutation/Proofs.idr (100%) rename {Control => src/Control}/Permutation/Types.idr (100%) rename {Data => src/Data}/Group.idr (100%) rename {Test => src/Test}/Spec.idr (100%) diff --git a/permutations.ipkg b/permutations.ipkg index cea8663..fc4070e 100644 --- a/permutations.ipkg +++ b/permutations.ipkg @@ -9,6 +9,8 @@ author = Vanessa McHale sourceloc = git://git@github.com: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 b/src/Control/Permutation.idr similarity index 100% rename from Control/Permutation.idr rename to src/Control/Permutation.idr diff --git a/Control/Permutation/Mod.idr b/src/Control/Permutation/Mod.idr similarity index 100% rename from Control/Permutation/Mod.idr rename to src/Control/Permutation/Mod.idr diff --git a/Control/Permutation/Proofs.idr b/src/Control/Permutation/Proofs.idr similarity index 100% rename from Control/Permutation/Proofs.idr rename to src/Control/Permutation/Proofs.idr diff --git a/Control/Permutation/Types.idr b/src/Control/Permutation/Types.idr similarity index 100% rename from Control/Permutation/Types.idr rename to src/Control/Permutation/Types.idr diff --git a/Data/Group.idr b/src/Data/Group.idr similarity index 100% rename from Data/Group.idr rename to src/Data/Group.idr diff --git a/Test/Spec.idr b/src/Test/Spec.idr similarity index 100% rename from Test/Spec.idr rename to src/Test/Spec.idr diff --git a/test.ipkg b/test.ipkg index 8c990f5..e3c7e58 100644 --- a/test.ipkg +++ b/test.ipkg @@ -12,4 +12,6 @@ modules = Control.Permutation.Types , Data.Group , Test.Spec +sourcedir = src + tests = Test.Spec.specSuite From a2646225cc9d3a68123ac0011cfa6ebab3cce28a Mon Sep 17 00:00:00 2001 From: Marco Perone Date: Mon, 20 May 2019 10:13:21 +0200 Subject: [PATCH 2/2] add elba manifest --- .gitignore | 2 ++ elba.toml | 20 ++++++++++++++++++++ 2 files changed, 22 insertions(+) create mode 100644 elba.toml diff --git a/.gitignore b/.gitignore index e69f5f3..59c73de 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ tags +target *.ibc *.swp +elba.lock diff --git a/elba.toml b/elba.toml new file mode 100644 index 0000000..e38e103 --- /dev/null +++ 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"]