// Copyright (c) 2024, Marvin Borner // SPDX-License-Identifier: MIT #include #include #include #include static int debug_enabled = 0; void debug(const char *format, ...) { if (!debug_enabled) return; fprintf(stderr, "[DEBUG] BLoCade: "); va_list ap; va_start(ap, format); vfprintf(stderr, format, ap); va_end(ap); } void debug_enable(int enable) { debug_enabled = enable; } void fatal(const char *format, ...) { fprintf(stderr, "[FATAL] BloCade: "); va_list ap; va_start(ap, format); vfprintf(stderr, format, ap); va_end(ap); abort(); }