pack.toml

################
### Settings ###
################

[install]
whitelist = [ "deptycheck-docs", "pil-fun" ]

##################
### DepTyCheck ###
##################

[custom.all.deptycheck]
type = "local"
path = "."
ipkg = "deptycheck.ipkg"
test = "tests/tests.ipkg"

[custom.all.docs]
type = "local"
path = "docs"
ipkg = "docs.ipkg"

################
### Examples ###
################

[custom.all.sorted-list]
type = "local"
path = "examples/sorted-list"
ipkg = "sorted-list.ipkg"
test = "tests/tests.ipkg"

[custom.all.covering-seq]
type = "local"
path = "examples/covering-seq"
ipkg = "covering-seq.ipkg"
test = "tests/tests.ipkg"

[custom.all.uniq-list]
type = "local"
path = "examples/uniq-list"
ipkg = "uniq-list.ipkg"
test = "tests/tests.ipkg"

[custom.all.sorted-tree-naive]
type = "local"
path = "examples/sorted-tree-naive"
ipkg = "sorted-tree-naive.ipkg"
test = "tests/tests.ipkg"

[custom.all.sorted-tree-indexed]
type = "local"
path = "examples/sorted-tree-indexed"
ipkg = "sorted-tree-indexed.ipkg"
test = "tests/tests.ipkg"

[custom.all.pil-reg]
type = "local"
path = "examples/pil-reg"
ipkg = "pil-reg.ipkg"
test = "tests/tests.ipkg"

[custom.all.pil-fun]
type = "local"
path = "examples/pil-fun"
ipkg = "pil-fun.ipkg"
test = "tests/tests.ipkg"