diff options
| author | Matthew Hall <hallmatthew314@gmail.com> | 2022-09-06 22:54:36 +1200 |
|---|---|---|
| committer | Matthew Hall <hallmatthew314@gmail.com> | 2022-09-06 22:54:36 +1200 |
| commit | b5aecfbd9d32bf894ab82d7b594f91a5f59acb2a (patch) | |
| tree | 2a23c00a6da1191375b75836b575808a92335751 /src/flint.cr | |
| parent | 2fe381c9a1719718d4a4dfc662f07db47af7831f (diff) | |
Add supported languages flag
Diffstat (limited to 'src/flint.cr')
| -rw-r--r-- | src/flint.cr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/flint.cr b/src/flint.cr index a14e0c8..6d68305 100644 --- a/src/flint.cr +++ b/src/flint.cr @@ -61,6 +61,11 @@ module Flint parser.on("-m CELLS", "--memory-size=CELLS", "specify the number of memory cells available, defaults vary depending on language") do |_cells| language_options[:memory_size] = _cells end + parser.on("--supported-languages", "print a list of languages supported by flinti and exit") do + puts "Languages supported by flint (not guaranteed to be fully implemented):" + Language.names.each { |name| puts name } + exit(0) + end parser.unknown_args do |_args| crash("ERROR: No language chosen", parser) if _args.size == 0 |