diff --git a/templates/minimal/lake-manifest.json b/templates/minimal/lake-manifest.json index 767660f..4af8c5f 100644 --- a/templates/minimal/lake-manifest.json +++ b/templates/minimal/lake-manifest.json @@ -1,5 +1,5 @@ {"version": "1.1.0", "packagesDir": ".lake/packages", "packages": [], - "name": "template", + "name": "Minimal", "lakeDir": ".lake"} diff --git a/templates/minimal/lakefile.toml b/templates/minimal/lakefile.toml new file mode 100644 index 0000000..1ed85e4 --- /dev/null +++ b/templates/minimal/lakefile.toml @@ -0,0 +1,7 @@ +name = "Minimal" +version = "0.1.0" +defaultTargets = ["minimal"] + +[[lean_exe]] +name = "minimal" +root = "Main"