Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language
https://scilla-lang.org
GNU General Public License v3.0
241 stars 79 forks source link

scilla-merger: --help output broken (image zilliqa/scilla:v0.13.0) #1201

Closed maxhiker closed 1 year ago

maxhiker commented 1 year ago

I did setup of scilla 0.13.0 from docker hub: zilliqa/scilla:v0.13.0 Digest:sha256:a0397af9e0e3f166f5e1dfd7ab6a0c253ac20936b9b17eeb5d401d10f0889cdb

root@0de4227a26e0:/app# scilla-merger -help root@0de4227a26e0:/app# scilla-merger --help

gives following output:

Uncaught exception:

  (Arg.Help
    "Usage:\
   \nscilla-merger -gaslimit <limit> -libdir /path/to/stdlib input.scilla\
   \n\
   \n  -version Print Scilla version and exit\
   \n  -libdir Path(s) to libraries separated with ':' (';' on windows)\
   \n  -gaslimit Gas limit\
   \n  -gua Run gas use analysis and print use polynomial.\
   \n  -init Path to initialization json\
   \n  -cf Run cashflow checker and print results\
   \n  -cf-token-field Make the cashflow checker consider a field to be money (implicitly sets -cf)\
   \n  -jsonerrors Print errors in JSON format\
   \n  -contractinfo Print various contract information\
   \n  -typeinfo Print types of variables with location\
   \n  -debuglevel {none|normal|verbose}Set debug logging level\
   \n  -disable-developer-warnings Disable analyses' warnings\
   \n  -dump-callgraph Save callgraph in .dot format\
   \n  -dump-callgraph-stdout Print callgraph to stdout and exit\
   \n  -help  Display this list of options\
   \n  --help  Display this list of options\
   \n")

Raised at Stdlib__arg.parse_and_expand_argv_dynamic_aux in file "arg.ml", line 270, characters 21-44
Called from Scilla_base__RunnerUtil.parse_cli in file "src/base/RunnerUtil.ml", line 307, characters 10-141
Called from Scilla_base__Checker.init_checker in file "src/base/Checker.ml", line 428, characters 12-36
Called from Scilla_base__Checker.check_cmod in file "src/base/Checker.ml" (inlined), line 437, characters 32-59
Called from Dune__exe__Scilla_merger.merge_contracts.(fun) in file "src/runners/scilla_merger.ml", line 59, characters 8-103
Called from Stdlib__list.fold_left in file "list.ml", line 121, characters 24-34
Called from Base__List0.fold in file "src/list0.ml" (inlined), line 21, characters 22-52
Called from Dune__exe__Scilla_merger.merge_contracts in file "src/runners/scilla_merger.ml", line 57, characters 2-238
Called from Dune__exe__Scilla_merger.run in file "src/runners/scilla_merger.ml", line 90, characters 32-65
Called from Dune__exe__Scilla_merger in file "src/runners/scilla_merger.ml", line 95, characters 2-79

Version output is ok:

root@0de4227a26e0:/app# scilla-merger -version
Scilla version: 0.13.0
jubnzv commented 1 year ago

Thank you! #1202 should fix this.