dtc-utils/dtc-utils.ipkg at master · DepTyCheck/dtc-utils · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
package dtc-utils
version = 0.1.0
authors = "Anton Gusev"
-- maintainers =
-- license =
-- brief =
-- readme =
-- homepage =
-- sourceloc =
-- bugtracker =

-- the Idris2 version required (e.g. langversion >= 0.5.1)
-- langversion

-- packages to add to search path
-- depends =

-- modules to install
modules = Language.Reflection.VarSubst
        , Language.Reflection.QuoteInfo
        , Language.Reflection.ShadowingInfo
        , Language.Reflection.Unifier
        , Language.Reflection.Unifier.Interface
        , Language.Reflection.Unifier.TypecheckUnifier
        , Language.Reflection.Unifier.LegacyUnifier
	, Language.Reflection.Unifier.LegacyUnifier.Runner
        , Language.Reflection.Unifier.LegacyUnifier.Context
        , Language.Reflection.Unifier.LegacyUnifier.Engine
        , Language.Reflection.Unifier.LegacyUnifier.Error
        , Language.Reflection.Unifier.LegacyUnifier.Graph
        , Language.Reflection.Unifier.LegacyUnifier.Monad
        , Language.Reflection.Unifier.LegacyUnifier.State
        , Language.Reflection.Unifier.ManualUnifier
        , Language.Reflection.Unifier.ManualUnifier.Context
        , Language.Reflection.Unifier.ManualUnifier.Context.Main
        , Language.Reflection.Unifier.ManualUnifier.Context.GlobalVars
        , Language.Reflection.Unifier.ManualUnifier.Convert
        , Language.Reflection.Unifier.ManualUnifier.Solver
        , Language.Reflection.Unifier.ManualUnifier.Solver.Constraints
        , Language.Reflection.Unifier.ManualUnifier.IR
        , Language.Reflection.Unifier.ManualUnifier.IR.AppChain
        , Language.Reflection.Unifier.ManualUnifier.Error
        , Language.Reflection.Unifier.ManualUnifier.Log
        , Language.Reflection.Monomorphiser
        , Language.Reflection.Monomorphisation
        , Language.Reflection.Monomorphisation2
        -- , Language.Reflection.Logging
        , Data.FinBitSet

depends = contrib, elab-util, elab-pretty, prettier, elab-util-extra, i-hate-parens, mtl-tuple-impls, fin-lizzie, mk

-- main file (i.e. file to load at REPL)
-- main =

-- name of executable
-- executable =
-- opts =
sourcedir = "src"
-- builddir =
-- outputdir =

-- script to run before building
-- prebuild =

-- script to run after building
-- postbuild =

-- script to run after building, before installing
-- preinstall =

-- script to run after installing
-- postinstall =

-- script to run before cleaning
-- preclean =

-- script to run after cleaning
-- postclean =