@@ -45,19 +45,37 @@ should not necessarily be seen as production ready nor for industrial use.
4545.SH OPTIONS
4646 --nobanner Suppress the banner
4747 -q,--quiet Quiet verbosity
48+ --ide-mode Run the Idris REPL with machine-readable syntax
49+ --ide-mode-socket Choose a socket for IDE mode to listen on
50+ --ideslave Deprecated version of --ide-mode
51+ --ideslave-socket Deprecated version of --ide-mode-socket
4852 --log LEVEL Debugging log level
53+ --logging-categories CATS
54+ Colon separated logging categories. Use --listlogcats
55+ to see list.
56+ --nobasepkgs Do not use the given base package
57+ --noprelude Do not use the given prelude
58+ --nobuiltins Do not use the builtin functions
59+ --check Typecheck only, don't start the REPL
4960 -o,--output FILE Specify output file
61+ --interface Generate interface files from ExportLists
62+ --typeintype Turn off Universe checking
5063 --total Require functions to be total by default
5164 --warnpartial Warn about undeclared partial functions
5265 --warnreach Warn about reachable but inaccessible arguments
66+ --listlogcats Display logging categories
5367 --link Display link flags
68+ --listlibs Display installed libraries
5469 --libdir Display library directory
5570 --include Display the includes flags
5671 -V,--verbose Loud verbosity
5772 --ibcsubdir FILE Write IBC files into sub directory
5873 -i,--idrispath ARG Add directory to the list of import paths
74+ -p,--package ARG Add package as a dependency
75+ --port PORT REPL TCP port
5976 --build IPKG Build package
6077 --install IPKG Install package
78+ --repl IPKG Launch REPL, only for executables
6179 --clean IPKG Clean package
6280 --mkdoc IPKG Generate IdrisDoc for package
6381 --checkpkg IPKG Check package only
@@ -65,19 +83,31 @@ should not necessarily be seen as production ready nor for industrial use.
6583 -S,--codegenonly Do no further compilation of code generator output
6684 -c,--compileonly Compile to object files rather than an executable
6785 --mvn Create a maven project (for Java codegen)
68− --codegen TARGET Select code generator: C, Java, bytecode
86+ --codegen TARGET Select code generator: C, Javascript, Node and
87+ bytecode are bundled with Idris
88+ --cg-opt ARG Arguments to pass to code generator
6989 -e,--eval EXPR Evaluate an expression without loading the REPL
7090 --execute Execute as idris
7191 --exec EXPR Execute as idris
7292 -X,--extension EXT Turn on language extension (TypeProviders or
7393 ErrorReflection)
94+ --no-partial-eval Switch off partial evaluation, mainly for debugging
95+ purposes
7496 --target TRIPLE Select target triple (for llvm codegen)
7597 --cpu CPU Select target CPU e.g. corei7 or cortex-m3 (for LLVM
7698 codegen)
7799 --color,--colour Force coloured output
78100 --nocolor,--nocolour Disable coloured output
101+ --consolewidth WIDTH Select console width: auto, infinite, nat
102+ --highlight Emit source code highlighting
103+ --no-elim-deprecation-warnings
104+ Disable deprecation warnings for %elim
105+ --no-tactic-deprecation-warnings
106+ Disable deprecation warnings for the old tactic
107+ sublanguage
79108 -v,--version Print version information
80109 -h,--help Show this help text
110+
81111.SH SEE ALSO
82112
83113+ The IDRIS web site (http://idris-lang.org/