diff options
| author | Andreas Grois <andi@grois.info> | 2025-11-19 22:49:06 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2025-11-19 22:49:06 +0100 |
| commit | 79e561bb05230c7e97f7e75723bf13a03e6bb9ab (patch) | |
| tree | a6ac3945f53a44d34553afbc1f736509b9dd74ba /lakefile.toml | |
| parent | d630448964447d0b0953893152873db85db4c9e0 (diff) | |
Diffstat (limited to 'lakefile.toml')
| -rw-r--r-- | lakefile.toml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/lakefile.toml b/lakefile.toml index 91e4800..85a03a9 100644 --- a/lakefile.toml +++ b/lakefile.toml @@ -1,14 +1,18 @@ name = "lean-astar" version = "0.1.0" defaultTargets = ["LeanAStar"] -testDriver = "LeanAStarTest" +testDriver = "leanastartest" [[lean_lib]] name = "LeanAStar" -[[lean_exe]] +[[lean_lib]] name = "LeanAStarTest" +[[lean_exe]] +name = "leanastartest" +root = "LeanAStarTest" + [[require]] name = "BinaryHeap" git = "http://git.grois.info/BinaryHeap" |