git.iko.soy/Idris-dev
on master help sign in
document ideslave option
e24baaaHannes Mehnert
src/Main.hs+1
compare with master
unifiedsplit
@@ -91,6 +91,7 @@ usagemsg = "Idris version " ++ ver ++ "\n" ++
91 "\t--log [level] Type debugging log level\n" ++
91 "\t--log [level] Type debugging log level\n" ++
92 "\t-S Do no further compilation of code generator output\n" ++
92 "\t-S Do no further compilation of code generator output\n" ++
93 "\t-c Compile to object files rather than an executable\n" ++
93 "\t-c Compile to object files rather than an executable\n" ++
94+ "\t--ideslave Ideslave mode (for editors; in/ouput wrapped in s-expressions)\n" ++
94 "\t--libdir Show library install directory and exit\n" ++
95 "\t--libdir Show library install directory and exit\n" ++
95 "\t--link Show C library directories and exit (for C linking)\n" ++
96 "\t--link Show C library directories and exit (for C linking)\n" ++
96 "\t--include Show C include directories and exit (for C linking)\n" ++
97 "\t--include Show C include directories and exit (for C linking)\n" ++