From b674f1f311048c50336bbb498347bdb72e11eba3 Mon Sep 17 00:00:00 2001 From: Vladimir Kotal Date: Wed, 18 Sep 2024 12:55:45 +0200 Subject: [PATCH] specify deprecated attribute for Oracle Studio compiler --- include/krml/internal/target.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/include/krml/internal/target.h b/include/krml/internal/target.h index c7c599bd..425ed282 100644 --- 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