Skip to content

Commit 1398ac4

Browse files
oxe-ioxe-i
authored
regenerate lakefile
1 parent b090e36 commit 1398ac4

100 files changed

Lines changed: 405 additions & 11 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎exercises/practice/acronym/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "acronym"
22
version = "0.1.0"
33
defaultTargets = ["AcronymTest"]
44
testDriver = "AcronymTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "Acronym"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "AcronymTest"
1519
root = "AcronymTest"

‎exercises/practice/affine-cipher/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "affine-cipher"
22
version = "0.1.0"
33
defaultTargets = ["AffineCipherTest"]
44
testDriver = "AffineCipherTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "AffineCipher"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "AffineCipherTest"
1519
root = "AffineCipherTest"

‎exercises/practice/all-your-base/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "all-your-base"
22
version = "0.1.0"
33
defaultTargets = ["AllYourBaseTest"]
44
testDriver = "AllYourBaseTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "AllYourBase"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "AllYourBaseTest"
1519
root = "AllYourBaseTest"

‎exercises/practice/allergies/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "allergies"
22
version = "0.1.0"
33
defaultTargets = ["AllergiesTest"]
44
testDriver = "AllergiesTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "Allergies"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "AllergiesTest"
1519
root = "AllergiesTest"

‎exercises/practice/alphametics/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "alphametics"
22
version = "0.1.0"
33
defaultTargets = ["AlphameticsTest"]
44
testDriver = "AlphameticsTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "Alphametics"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "AlphameticsTest"
1519
root = "AlphameticsTest"

‎exercises/practice/anagram/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "anagram"
22
version = "0.1.0"
33
defaultTargets = ["AnagramTest"]
44
testDriver = "AnagramTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "Anagram"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "AnagramTest"
1519
root = "AnagramTest"

‎exercises/practice/armstrong-numbers/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "armstrong-numbers"
22
version = "0.1.0"
33
defaultTargets = ["ArmstrongNumbersTest"]
44
testDriver = "ArmstrongNumbersTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "ArmstrongNumbers"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "ArmstrongNumbersTest"
1519
root = "ArmstrongNumbersTest"

‎exercises/practice/assemble/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "assemble"
22
version = "0.1.0"
33
defaultTargets = ["AssembleTest"]
44
testDriver = "AssembleTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "Assemble"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "AssembleTest"
1519
root = "AssembleTest"

‎exercises/practice/atbash-cipher/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "atbash-cipher"
22
version = "0.1.0"
33
defaultTargets = ["AtbashCipherTest"]
44
testDriver = "AtbashCipherTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "AtbashCipher"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "AtbashCipherTest"
1519
root = "AtbashCipherTest"

‎exercises/practice/bank-account/lakefile.toml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ name = "bank-account"
22
version = "0.1.0"
33
defaultTargets = ["BankAccountTest"]
44
testDriver = "BankAccountTest"
5+
moreLeanArgs = [ "-DwarningAsError=true" ]
56

67
[[lean_lib]]
78
name = "LeanTest"
@@ -10,6 +11,9 @@ srcDir = "vendor/LeanTest"
1011
[[lean_lib]]
1112
name = "BankAccount"
1213

14+
[[lean_lib]]
15+
name = "Extra"
16+
1317
[[lean_exe]]
1418
name = "BankAccountTest"
1519
root = "BankAccountTest"

0 commit comments

Comments
 (0)
⚡