diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-06 08:54:03 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-06 08:54:03 -0500 |
| commit | 40fffc31a12b6b6bae3998cc0ff6aee30f8fe07b (patch) | |
| tree | 75bd065fbd4b3cc2a28b74389d458566606761da | |
| parent | c4b4749083acf290d28b53a0194c35ce247c3c15 (diff) | |
Small reformatting and documentation for '-print-cinclude'
| -rw-r--r-- | doc/manual.tex | 2 | ||||
| -rw-r--r-- | src/main.mlton.sml | 8 |
2 files changed, 6 insertions, 4 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index ac12c3b7..84af835f 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -275,6 +275,8 @@ sqlite3 path/to/database/file <app.sql \item \texttt{-print-ccompiler}: Print the C compiler being used. +\item \texttt{-print-cinclude}: Print the name of the directory where C/C++ header files are installed. + \item \texttt{-protocol [http|cgi|fastcgi|static]}: Set the protocol that the generated application speaks. \begin{itemize} \item \texttt{http}: This is the default. It is for building standalone web servers that can be accessed by web browsers directly. diff --git a/src/main.mlton.sml b/src/main.mlton.sml index e68ecdd8..b0c4e03f 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -56,10 +56,10 @@ fun oneRun args = raise Code OS.Process.success) fun printNumericVersion () = (print (Config.versionNumber ^ "\n"); raise Code OS.Process.success) - fun printCCompiler () = (print ((Settings.getCCompiler ()) ^ "\n"); - raise Code OS.Process.success) - fun printCInclude () = (print ((Config.includ) ^ "\n"); - raise Code OS.Process.success) + fun printCCompiler () = (print (Settings.getCCompiler () ^ "\n"); + raise Code OS.Process.success) + fun printCInclude () = (print (Config.includ ^ "\n"); + raise Code OS.Process.success) fun doArgs args = case args of |