Move agda2hs.agda-lib into lib directory

Author: HeinrichApfelmus

.github/workflows/ci.yml

@@ -8,7 +8,7 @@ on:
       - 'lib/**'
       - 'src/**'
       - 'test/**'
-      - 'agda2hs.agda-lib'
+      - 'lib/agda2hs/agda2hs.agda-lib'
       - 'agda2hs.cabal'
       - 'cabal.project'
       - 'Makefile'

.github/workflows/nix-ci.yml

@@ -8,7 +8,7 @@ on:
       - 'lib/**'
       - 'src/**'
       - 'test/**'
-      - 'agda2hs.agda-lib'
+      - 'lib/agda2hs/agda2hs.agda-lib'
       - 'agda2hs.cabal'
       - 'cabal.project'
       - 'Makefile'

Makefile

@@ -11,8 +11,8 @@ repl :
 	cabal repl # e.g. `:set args -itest -otest/build test/AllTests.agda ... main ... :r ... main`
 
 libHtml :
-	cabal run agda2hs -- --html lib/Haskell/Prelude.agda
-	cp html/Haskell.Prelude.html html/index.html
+	cabal run agda2hs -- --html lib/agda2hs/Haskell/Prelude.agda
+	cp html/agda2hs/Haskell.Prelude.html html/agda2hs/index.html
 
 test/agda2hs : $(FILES)
 	cabal install agda2hs --overwrite-policy=always --installdir=test --install-method=copy

agda2hs.cabal

@@ -18,8 +18,9 @@ description:
 extra-doc-files:    CHANGELOG.md
                     README.md
 
-data-files: agda2hs.agda-lib
-            lib/**/*.agda
+data-files:
+    lib/agda2hs/agda2hs.agda-lib
+    lib/agda2hs/**/*.agda
 
 source-repository head
   type:     git