@@ -45,19 +45,37 @@ should not necessarily be seen as production ready nor for industrial use.
45.SH OPTIONS
45.SH OPTIONS
46 --nobanner Suppress the banner
46 --nobanner Suppress the banner
47 -q,--quiet Quiet verbosity
47 -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
48 --log LEVEL Debugging log level
52 --log LEVEL Debugging log level
53+ --logging-categories CATS
54+ Colon separated logging categories. Use --listlogcats
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
49 -o,--output FILE Specify output file
60 -o,--output FILE Specify output file
61+ --interface Generate interface files from ExportLists
62+ --typeintype Turn off Universe checking
50 --total Require functions to be total by default
63 --total Require functions to be total by default
51 --warnpartial Warn about undeclared partial functions
64 --warnpartial Warn about undeclared partial functions
52 --warnreach Warn about reachable but inaccessible arguments
65 --warnreach Warn about reachable but inaccessible arguments
66+ --listlogcats Display logging categories
53 --link Display link flags
67 --link Display link flags
68+ --listlibs Display installed libraries
54 --libdir Display library directory
69 --libdir Display library directory
55 --include Display the includes flags
70 --include Display the includes flags
56 -V,--verbose Loud verbosity
71 -V,--verbose Loud verbosity
57 --ibcsubdir FILE Write IBC files into sub directory
72 --ibcsubdir FILE Write IBC files into sub directory
58 -i,--idrispath ARG Add directory to the list of import paths
73 -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
59 --build IPKG Build package
76 --build IPKG Build package
60 --install IPKG Install package
77 --install IPKG Install package
78+ --repl IPKG Launch REPL, only for executables
61 --clean IPKG Clean package
79 --clean IPKG Clean package
62 --mkdoc IPKG Generate IdrisDoc for package
80 --mkdoc IPKG Generate IdrisDoc for package
63 --checkpkg IPKG Check package only
81 --checkpkg IPKG Check package only
@@ -65,19 +83,31 @@ should not necessarily be seen as production ready nor for industrial use.
65 -S,--codegenonly Do no further compilation of code generator output
83 -S,--codegenonly Do no further compilation of code generator output
66 -c,--compileonly Compile to object files rather than an executable
84 -c,--compileonly Compile to object files rather than an executable
67 --mvn Create a maven project (for Java codegen)
85 --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
69 -e,--eval EXPR Evaluate an expression without loading the REPL
89 -e,--eval EXPR Evaluate an expression without loading the REPL
70 --execute Execute as idris
90 --execute Execute as idris
71 --exec EXPR Execute as idris
91 --exec EXPR Execute as idris
72 -X,--extension EXT Turn on language extension (TypeProviders or
92 -X,--extension EXT Turn on language extension (TypeProviders or
73 ErrorReflection)
93 ErrorReflection)
94+ --no-partial-eval Switch off partial evaluation, mainly for debugging
74 --target TRIPLE Select target triple (for llvm codegen)
96 --target TRIPLE Select target triple (for llvm codegen)
75 --cpu CPU Select target CPU e.g. corei7 or cortex-m3 (for LLVM
97 --cpu CPU Select target CPU e.g. corei7 or cortex-m3 (for LLVM
77 --color,--colour Force coloured output
99 --color,--colour Force coloured output
78 --nocolor,--nocolour Disable coloured output
100 --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
79 -v,--version Print version information
108 -v,--version Print version information
80 -h,--help Show this help text
109 -h,--help Show this help text
81.SH SEE ALSO
111.SH SEE ALSO
83+ The IDRIS web site (http://idris-lang.org/
113+ The IDRIS web site (http://idris-lang.org/