Related to #113

3 files changed, 8 insertions, 2 deletions

diff --git a/src/main.c b/src/main.c
index 17cbdf6..3f6a51f 100644
--- a/src/main.c
+++ b/src/main.c
@@ -47,6 +47,7 @@ void print_usage()
     printf("  -g              Debug info\n");
     printf("  -v, --verbose   Verbose output\n");
     printf("  -q, --quiet     Quiet output\n");
+    printf("  --no-zen        Disable Zen facts\n");
     printf("  -c              Compile only (produce .o)\n");
     printf("  --cpp           Use C++ mode.\n");
     printf("  --cuda          Use CUDA mode (requires nvcc).\n");
@@ -145,6 +146,10 @@ int main(int argc, char **argv)
         {
             g_config.quiet = 1;
         }
+        else if (strcmp(arg, "--no-zen") == 0)
+        {
+            g_config.no_zen = 1;
+        }
         else if (strcmp(arg, "--freestanding") == 0)
         {
             g_config.is_freestanding = 1;
diff --git a/src/zen/zen_facts.c b/src/zen/zen_facts.c
index a86e0cb..0e542b4 100644
--- a/src/zen/zen_facts.c
+++ b/src/zen/zen_facts.c
@@ -406,7 +406,7 @@ void zzen_at(Token t, const char *msg, const char *url)
 
 int zen_trigger_at(ZenTrigger t, Token location)
 {
-    if (g_config.quiet)
+    if (g_config.quiet || g_config.no_zen)
     {
         return 0;
     }
@@ -457,7 +457,7 @@ int zen_trigger_at(ZenTrigger t, Token location)
 
 void zen_trigger_global(void)
 {
-    if (g_config.quiet)
+    if (g_config.quiet || g_config.no_zen)
     {
         return;
     }
diff --git a/src/zprep.h b/src/zprep.h
index 03c17fc..ea38927 100644
--- a/src/zprep.h
+++ b/src/zprep.h
@@ -179,6 +179,7 @@ typedef struct
     int emit_c;          // 1 if --emit-c (keep C file).
     int verbose;         // 1 if --verbose.
     int quiet;           // 1 if --quiet.
+    int no_zen;          // 1 if --no-zen (disable zen facts).
     int repl_mode;       // 1 if --repl (internal flag for REPL usage).
     int is_freestanding; // 1 if --freestanding.
     int mode_transpile;  // 1 if 'transpile' command.