diff options
Diffstat (limited to 'translate/grt/config')
-rw-r--r-- | translate/grt/config/win32.c | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/translate/grt/config/win32.c b/translate/grt/config/win32.c index 18e5a2d..465f929 100644 --- a/translate/grt/config/win32.c +++ b/translate/grt/config/win32.c @@ -130,6 +130,23 @@ __ghdl_run_through_longjump (int (*func)(void)) return res; } +#include <math.h> + +double acosh (double x) +{ + return log (x + sqrt (x*x - 1)); +} + +double asinh (double x) +{ + return log (x + sqrt (x*x + 1)); +} + +double atanh (double x) +{ + return log ((1 + x) / (1 - x)) / 2; +} + #ifndef WITH_GNAT_RUN_TIME void __gnat_raise_storage_error(void) { |