KRML_HOST_IGNORE may still be around

cf. FStarLang/karamel#385 (comment)
project-everest · Oct 16, 2023 · 50aa571 · 50aa571
1 parent 45bf778
commit 50aa571
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/3d/EverParseEndianness.h b/src/3d/EverParseEndianness.h
@@ -40,6 +40,10 @@ typedef EVERPARSE_STRING PRIMS_STRING;
 #  define KRML_MAYBE_UNUSED_VAR(x) (void)(x)
 #endif
 
+#ifndef KRML_HOST_IGNORE
+#  define KRML_HOST_IGNORE(x) (void)(x)
+#endif
+
 #ifndef KRML_HOST_PRINTF
 #  include <stdio.h>
 #  define KRML_HOST_PRINTF printf

diff --git a/src/3d/EverParseEndianness_Windows_NT.h b/src/3d/EverParseEndianness_Windows_NT.h
@@ -41,6 +41,10 @@ typedef EVERPARSE_STRING PRIMS_STRING;
 #  define KRML_MAYBE_UNUSED_VAR(x) (void)(x)
 #endif
 
+#ifndef KRML_HOST_IGNORE
+#  define KRML_HOST_IGNORE(x) (void)(x)
+#endif
+
 #ifndef KRML_HOST_PRINTF
 #  include <stdio.h>
 #  define KRML_HOST_PRINTF printf