specify deprecated attribute for Oracle Studio compiler

FStarLang · Sep 18, 2024 · b674f1f · b674f1f
1 parent 8ea29fc
commit b674f1f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/include/krml/internal/target.h b/include/krml/internal/target.h
@@ -215,6 +215,8 @@ inline static int32_t krml_time(void) {
 #elif defined(__GNUC__)
 /* deprecated attribute is not defined in GCC < 4.5. */
 #  define KRML_DEPRECATED(x)
+#elif defined(__SUNPRO_C)
+#  define KRML_DEPRECATED(x) __attribute__((deprecated(x)))
 #elif defined(_MSC_VER)
 #  define KRML_DEPRECATED(x) __declspec(deprecated(x))
 #endif