@@ -91,12 +91,16 @@ usagemsg = "Idris version " ++ ver ++ "\n" ++
9191 "\t--log [level] Type debugging log level\n" ++
9292 "\t-S Do no further compilation of code generator output\n" ++
9393 "\t-c Compile to object files rather than an executable\n" ++
94− "\t--exec [expr] Execute the expression expr in the interpreter, defaulting to\n" ++
95− "\t Main.main if none provided, and exit.\n" ++
96− "\t--ideslave Ideslave mode (for editors; in/ouput wrapped in s-expressions)\n" ++
94+ "\t--exec [expr] Execute the expression expr in the interpreter,\n" ++
95+ "\t defaulting to Main.main if none provided, and exit.\n" ++
96+ "\t--ideslave Ideslave mode (for editors; in/ouput wrapped in \n" ++
97+ "\t s-expressions)\n" ++
9798 "\t--libdir Show library install directory and exit\n" ++
9899 "\t--link Show C library directories and exit (for C linking)\n" ++
99100 "\t--include Show C include directories and exit (for C linking)\n" ++
100− "\t--target [target] Type the target: C, Java, bytecode, javascript, node\n"
101+ "\t--codegen [cg] Select code generator: C, Java, bytecode, javascript,\n" ++
102+ "\t node or llvm\n" ++
103+ "\t--target [triple] Select target triple (for LLVM codegen)\n" ++
104+ "\t--cpu [cpu] Select target architecture (for LLVM codegen)\n"
101105
102106