diff --git a/lakefile.toml b/lakefile.toml index 3d54b68..ecee636 100644 --- a/lakefile.toml +++ b/lakefile.toml @@ -1,7 +1,8 @@ name = "ansiColor" version = "0.1.0" defaultTargets = ["AnsiColor"] -testDriver = "tests" +testDriver = "ansiColorTests" +license = "Apache-2.0" [[lean_lib]] name = "AnsiColor" @@ -11,5 +12,5 @@ name = "example" root = "Example" [[lean_lib]] -name = "tests" +name = "ansiColorTests" globs = ["AnsiColorTests.+"]