Merge pull request #485 from vladak/target_h_deprecated_attr_studio

specify deprecated attribute for Oracle Studio compiler
FStarLang · Sep 18, 2024 · baec61d · baec61d
2 parents 8ea29fc + b674f1f
commit baec61d
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