0 | module Pack.Core.Git.Consts
 1 |
 2 | import Pack.Core.Types
 3 |
 4 | %default total
 5 |
 6 | ||| URL of package collections repository
 7 | |||
 8 | ||| TODO: This should become a command line argument
 9 | export
10 | dbRepo : URL
11 | dbRepo = "https://github.com/stefan-hoeck/idris2-pack-db"
12 |
13 | ||| Default URL of pack repository
14 | export
15 | defaultPackRepo : URL
16 | defaultPackRepo = "https://github.com/stefan-hoeck/idris2-pack"
17 |
18 | ||| Default branch of the pack repository
19 | export
20 | defaultPackBranch : Branch
21 | defaultPackBranch = "main"
22 |
23 | ||| Package name we use for temp dirs involving the idris compiler
24 | ||| and its core libraries.
25 | export
26 | compiler : PkgName
27 | compiler = "idris2-compiler"
28 |
29 | ||| Package name we use for temp dirs involving pack-db project.
30 | export
31 | packDB : PkgName
32 | packDB = "pack-db"
33 |