Skip to content

CLI: add `no-stdlib` flag

E. Rivas requested to merge er433/cli/no_stdlib into dev

type:internal

For LIGO developers

Sometimes (specially when debugging or implementing new features in the stdlib) it can be useful to prevent stdlib/testlib from being automatically included.

This MR adds a new flag --no-stdlib to prevent it.

Changelog details:

Edited by E. Rivas

Merge request reports