Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
% ./build/exec/idris2 --help
Idris 2, version 0.3.0-9c54d659f
Usage: idris2 [options] [input file]
Available options:
--check, -c Exit after checking source file
--output, -o <file> Specify output file
--exec, -x <name> Execute function after checking source file
--no-prelude Don't implicitly import Prelude
--codegen, --cg <backend> Set code generator (default chez)
--directive <directive> Pass a directive to the current code generator
--package, -p <package> Add a package as a dependency
--source-dir <dir> Set source directory
--build-dir <dir> Set build directory
--output-dir <dir> Set output directory
--prefix Show installation prefix
--paths Show paths
--libdir Show library directory
--build <package file> Build modules/executable for the given package
--install <package file> Install the given package
--typecheck <package file> Typechecks the given package without code generation
--clean <package file> Clean intermediate files/executables for the given package
--repl <package file> Build the given package and launch a REPL instance.
--find-ipkg Find and use an .ipkg file in a parent directory
--ide-mode Run the REPL with machine-readable syntax
--ide-mode-socket [host:port] Run the ide socket mode on given host and port (default "localhost:38398")
--client <REPL command> Run a REPL command then quit immediately
--timing Display timing logs
--no-banner Suppress the banner
--quiet, -q Quiet mode; display fewer messages
--console-width <console width> Width for console output (0 for unbounded) (auto by default)
--color, --colour Forces colored console output (enabled by default)
--no-color, --no-colour Disables colored console output
--verbose Verbose mode (default)
--log <log level> Global log level (0 by default)
--version, -v Display version string
--help, -h, -? Display help text
Environment variables:
EDITOR Editor used in REPL :e command
IDRIS2_PREFIX Idris2 installation prefix
IDRIS2_PATH Places Idris2 looks for import files
IDRIS2_DATA Places Idris2 looks for data files
IDRIS2_LIBS Places Idris2 looks for libraries (for code generation)
IDRIS2_CG Idris2 CG directories
CHEZ chez executable used in Chez codegen
RACKET racket executable used in Racket codegen
RACKET_RACO raco executable used in Racket codegen
GAMBIT_GSI gsi executable used in Gambit codegen
GAMBIT_GSC gsc executable used in Gambit codegen
GAMBIT_GSC_BACKEND gsc executable backend argument
IDRIS2_CC C compiler executable used in RefC codegen
CC C compiler executable used in RefC codegen
NODE node executable used in Node codegen
PATH PATH variable is used to search for executables in certain codegens
%
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment