Recent changes to CommandLineArg

CommandLineArg modified by Brad Lanam

Brad Lanam — Mon, 13 Jul 2026 12:14:23 -0000

--- v3
+++ v4
@@ -7,7 +7,7 @@

 * --mkc-dir _mkc-dir_
   Sets the location of the temporary mkc_files directory.
 * --no-cache
-  Run mkc without using the cache.
+  Run mkc without loading the cache.
 * --parsedebug
   Turn on bison parser debugging.
 * --prefix _prefix_
@@ -16,11 +16,8 @@
   Select the profile to use.
 * --retest (-r)
   The cache will be loaded, but checks that failed will be re-run.
-* --set-default-profile
-  Sets the name of the default profile to use.  This profile name can
-  be overridden using the ‑‑profile command line argument.
 * --version (-v)
-  Not implemented.
+  Print the _mkc_ version.

 [Wiki Home](Home)

CommandLineArg modified by Brad Lanam

Brad Lanam — Fri, 03 Jul 2026 14:08:49 -0000

CommandLineArg modified by Brad Lanam

Brad Lanam — Fri, 03 Jul 2026 13:37:15 -0000

--- v1
+++ v2
@@ -2,17 +2,17 @@

 ### __mkc__ command line arguments

-* --compiler <compiler>
+* --compiler _compiler_
   Select the default compiler.
-* --mkc-dir <mkc-dir>
+* --mkc-dir _mkc-dir_
   Sets the location of the temporary mkc_files directory.

 * --no-cache
   Run mkc without using the cache.
 * --parsedebug
   Turn on bison parser debugging.
-* --prefix <prefix>
+* --prefix _prefix_
   Not implemented.
-* --profile <profile> (-p)
+* --profile _profile_ (-p)
   Select the profile to use.
 * --retest (-r)
   The cache will be loaded, but checks that failed will be re-run.
</profile></prefix></mkc-dir></compiler>

CommandLineArg modified by Brad Lanam

Brad Lanam — Fri, 03 Jul 2026 13:35:45 -0000

Wiki Home

mkc command line arguments

--compiler <compiler>
Select the default compiler.</compiler>
--mkc-dir <mkc-dir>
Sets the location of the temporary mkc_files directory.</mkc-dir>
--no-cache
Run mkc without using the cache.
--parsedebug
Turn on bison parser debugging.
--prefix <prefix>
Not implemented.</prefix>
--profile <profile> (-p)
Select the profile to use.</profile>
--retest (-r)
The cache will be loaded, but checks that failed will be re-run.
--set-default-profile
Sets the name of the default profile to use. This profile name can
be overridden using the ‑‑profile command line argument.
--version (-v)
Not implemented.

Wiki Home