Recent changes to Profiles

Profiles modified by Brad Lanam

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

--- v5
+++ v6
@@ -15,8 +15,26 @@
     }

     profile debug {

-      add_compiler_flag '-g';
+      add_compiler_flag '-O0';
     }
+
+One issue is when a flag, such as the optimization level used above should not be duplicated. e.g.
+
+    add_compiler_flag '-O2';  # default
+    profile debug {
+      add_compiler_flag '-O0';
+    }
+
+would end up adding both `-O2` and `-O0` to the command line.  Instead the default profile must be explicitly named in this case.
+
+    profile default {
+      add_compiler_flag '-O2';
+    }
+    profile debug {
+      add_compiler_flag '-O0';
+    }
+
+Now, the `-O2` flag is only added if no profile is selected.

 A check or variable may be made compiler specific by using the [compiler](SyntaxAttrCompiler) attribute.

Profiles modified by Brad Lanam

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

Profiles modified by Brad Lanam

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

--- v3
+++ v4
@@ -6,12 +6,16 @@

 ##### Working with Profiles

-The current working profile is selected on the command line, and all checks that are not within a profile statement will go into the currently selected profile.
+The current working profile is selected on the command line, and all checks that are not within a profile statement will be attached to the currently selected profile.

 The profile statement should only be used when a check should only be in a particular profile. e.g.

     profile optimized {
       add_compiler_flag '-O3';

+    }
+
+    profile debug {
+      add_compiler_flag '-g';
     }

 A check or variable may be made compiler specific by using the [compiler](SyntaxAttrCompiler) attribute.
@@ -27,6 +31,7 @@

     project {
       name test;

+      compiler c;
     }

     # int64_t appears within the currently selected profile
@@ -45,8 +50,6 @@
       method auto;
     }

-command line:
-
 Note the default profile.

     $ mkc --profile debug test.mkc
@@ -62,8 +65,6 @@
     #define _size_int64_t 8
     #define _size_int8_t 1
     ...
-
-command line:

 Note the default profile.

Profiles modified by Brad Lanam

Brad Lanam — Mon, 29 Jun 2026 15:48:55 -0000

--- v2
+++ v3
@@ -67,8 +67,8 @@

 Note the default profile.


-    $ mkc test.mkc
-    -- default profile: default general
+    $ mkc --profile release test.mkc
+    -- default profile: release general
     ...
     -- check size: int64_t : 8
     -- check size: int32_t : 4

Profiles modified by Brad Lanam

Brad Lanam — Sun, 28 Jun 2026 15:21:44 -0000

Profiles modified by Brad Lanam

Brad Lanam — Sun, 28 Jun 2026 15:17:00 -0000

Wiki Home

Profiles
- Working with Profiles
- Example

Profiles

Working with Profiles

The current working profile is selected on the command line, and all checks that are not within a profile statement will go into the currently selected profile.

The profile statement should only be used when a check should only be in a particular profile. e.g.

profile optimized {
  add_compiler_flag '-O3';
}

A check or variable may be made compiler specific by using the compiler attribute.

profile optimized {
  compiler c;
  add_compiler_flag '-O3';
}

Example

test.mkc:

project {
  name test;
}

# int64_t appears within the currently selected profile
check_size int64_t { header stdint.h; }

profile debug {
  # _size_int8_t only appears for the debug profile.
  check_size int8_t { header stdint.h; }
}
profile release {
  # _size_int32_t only appears for the release profile.
  check_size int32_t { header stdint.h; }
}

configure {
  method auto;
}

command line:

Note the default profile.

$ mkc --profile debug test.mkc
-- default profile: debug general
...
-- check size: int64_t : 8
-- check size: int8_t : 1
...

test_config.h:

...
#define _size_int64_t 8
#define _size_int8_t 1
...

command line:

Note the default profile.

$ mkc test.mkc
-- default profile: default general
...
-- check size: int64_t : 8
-- check size: int32_t : 4
...

test_config.h:

...
#define _size_int32_t 4
#define _size_int64_t 8
...

Wiki Home