From 14b9dee84ebf87b0ac653208ed02b6f2bd64d5cf Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 9 Jul 2021 09:28:43 +0200 Subject: [PATCH] chore: add missing file --- src/runtime/lean_inlines.c | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 src/runtime/lean_inlines.c diff --git a/src/runtime/lean_inlines.c b/src/runtime/lean_inlines.c new file mode 100644 index 0000000000..bb2705e83a --- /dev/null +++ b/src/runtime/lean_inlines.c @@ -0,0 +1,3 @@ +// generate LLVM IR for `static inline` definitions in lean.h for the LLVM backend +#define static extern // work around clang not emitting code for unused `static` definitions +#include