2025-01-03 14:32:58 +00:00
|
|
|
package advent
|
|
|
|
|
version = 0.1.0
|
|
|
|
|
authors = "Nathan McCarty"
|
|
|
|
|
-- 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 = base
|
|
|
|
|
, contrib
|
|
|
|
|
, structures
|
|
|
|
|
, eff
|
|
|
|
|
, elab-util
|
|
|
|
|
, ansi
|
|
|
|
|
, if-unsolved-implicit
|
2025-01-07 14:26:28 +00:00
|
|
|
, c-ffi
|
2025-01-23 03:40:32 +00:00
|
|
|
, refined
|
2025-01-03 14:32:58 +00:00
|
|
|
|
|
|
|
|
-- modules to install
|
|
|
|
|
modules = Runner
|
|
|
|
|
, Util
|
|
|
|
|
, Util.Eff
|
2025-01-20 03:05:30 +00:00
|
|
|
, Util.Digits
|
2025-01-08 02:06:02 +00:00
|
|
|
, Grid
|
2025-01-03 14:32:58 +00:00
|
|
|
|
|
|
|
|
-- main file (i.e. file to load at REPL)
|
|
|
|
|
main = Main
|
|
|
|
|
|
|
|
|
|
-- name of executable
|
|
|
|
|
executable = "advent"
|
|
|
|
|
-- opts =
|
|
|
|
|
sourcedir = "src"
|
|
|
|
|
-- builddir =
|
|
|
|
|
-- outputdir =
|
