[ refactor ] proper pack setup (#26)

.github/workflows/ci-lib.yml

@@ -10,8 +10,6 @@ on:
   pull_request:
     branches:
       - main
-  schedule:
-    - cron: '0 1 * * *'
 
 defaults:
   run:
@@ -30,6 +28,6 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
       - name: Build lib
-        run: pack install sop
+        run: pack typecheck sop
       - name: Typecheck docs
-        run: pack typecheck docs/docs.ipkg
+        run: pack typecheck sop-docs

README.md

@@ -41,6 +41,7 @@ record Employee where
 
 Note: If a data type includes lazy fields, module `Data.Lazy`
 should be imported as well when deriving interface implementations.
+
 ## Documentation
 
 Most of the exported functions have been properly annotated
@@ -60,8 +61,7 @@ Starting from Idris2 version 0.5.1, tagged releases of the same
 minor version number (e.g. 0.5.x) will be made available, while the main
 branch keeps following the Idris2 main branch.
 
-The latest commit is daily tested to build against the current
-HEAD of the Idris compiler. Since Idris2 releases are happening
+Since Idris2 releases are happening
 rather infrequently at the moment, it is suggested to use
 a package manager like [pack](https://github.com/stefan-hoeck/idris2-pack)
 to install and maintain matching versions of the Idris compiler

docs/docs.ipkg

@@ -1,12 +1,10 @@
 package sop-docs
 
 authors    = "stefan-hoeck"
-version    = 0.5.0
+version    = 0.6.0
 
 sourcedir  = "src"
-depends    = base      >= 0.5.1
-           , elab-util
-           , sop
+depends    = sop
 
 modules = Docs.Intro
         , Docs.Barbies

pack.toml

@@ -0,0 +1,9 @@
+[custom.all.sop]
+type = "local"
+path = "."
+ipkg = "sop.ipkg"
+
+[custom.all.sop-docs]
+type = "local"
+path = "docs"
+ipkg = "docs.ipkg"

sop.ipkg

@@ -1,14 +1,14 @@
 package sop
 
 authors    = "stefan-hoeck"
-version    = 0.5.0
+version    = 0.6.0
 brief      = "Generic representation of data types as sums of products"
 readme     = "README.md"
 license    = "BSD-2 Clause"
 
 sourcedir  = "src"
-depends    = base      >= 0.5.1
-           , elab-util >= 0.5.0
+depends    = base      >= 0.6.0
+           , elab-util
 
 modules = Data.Lazy
         , Data.SOP