Rename agda2hs.agda-lib to base.agda-lib

Author: HeinrichApfelmus

.github/workflows/ci.yml

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

.github/workflows/nix-ci.yml

@@ -8,7 +8,7 @@ on:
       - 'lib/**'
       - 'src/**'
       - 'test/**'
-      - 'lib/agda2hs/agda2hs.agda-lib'
+      - 'lib/base/base.agda-lib'
       - 'agda2hs.cabal'
       - 'cabal.project'
       - 'Makefile'
@@ -24,12 +24,12 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        derivation: [agda2hs, agda2hs-lib]
+        derivation: [agda2hs, base-lib]
         include:
           - pretty: "Compile agda2hs"
             derivation: agda2hs
           - pretty: "Typecheck with Agda"
-            derivation: agda2hs-lib
+            derivation: base-lib
     steps:
     - uses: actions/checkout@v3
     - uses: cachix/install-nix-action@v22

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/agda2hs/Haskell/Prelude.agda
-	cp html/agda2hs/Haskell.Prelude.html html/agda2hs/index.html
+	cabal run agda2hs -- --html lib/base/Haskell/Prelude.agda
+	cp html/base/Haskell.Prelude.html html/base/index.html
 
 test/agda2hs : $(FILES)
 	cabal install agda2hs --overwrite-policy=always --installdir=test --install-method=copy

agda2hs.cabal

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