1// Lean compiler output
2// Module: Lake.Build
3// Imports: Init Lake.Build.Monad Lake.Build.Actions Lake.Build.Index Lake.Build.Module Lake.Build.Package Lake.Build.Library Lake.Build.Imports
4#include <lean/lean.h>
5#if defined(__clang__)
6#pragma clang diagnostic ignored "-Wunused-parameter"
7#pragma clang diagnostic ignored "-Wunused-label"
8#elif defined(__GNUC__) && !defined(__CLANG__)
9#pragma GCC diagnostic ignored "-Wunused-parameter"
10#pragma GCC diagnostic ignored "-Wunused-label"
11#pragma GCC diagnostic ignored "-Wunused-but-set-variable"
12#endif
13#ifdef __cplusplus
14extern "C" {
15#endif
16lean_object* initialize_Init(uint8_t builtin, lean_object*);
17lean_object* initialize_Lake_Build_Monad(uint8_t builtin, lean_object*);
18lean_object* initialize_Lake_Build_Actions(uint8_t builtin, lean_object*);
19lean_object* initialize_Lake_Build_Index(uint8_t builtin, lean_object*);
20lean_object* initialize_Lake_Build_Module(uint8_t builtin, lean_object*);
21lean_object* initialize_Lake_Build_Package(uint8_t builtin, lean_object*);
22lean_object* initialize_Lake_Build_Library(uint8_t builtin, lean_object*);
23lean_object* initialize_Lake_Build_Imports(uint8_t builtin, lean_object*);
24static bool _G_initialized = false;
25LEAN_EXPORT lean_object* initialize_Lake_Build(uint8_t builtin, lean_object* w) {
26lean_object * res;
27if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
28_G_initialized = true;
29res = initialize_Init(builtin, lean_io_mk_world());
30if (lean_io_result_is_error(res)) return res;
31lean_dec_ref(res);
32res = initialize_Lake_Build_Monad(builtin, lean_io_mk_world());
33if (lean_io_result_is_error(res)) return res;
34lean_dec_ref(res);
35res = initialize_Lake_Build_Actions(builtin, lean_io_mk_world());
36if (lean_io_result_is_error(res)) return res;
37lean_dec_ref(res);
38res = initialize_Lake_Build_Index(builtin, lean_io_mk_world());
39if (lean_io_result_is_error(res)) return res;
40lean_dec_ref(res);
41res = initialize_Lake_Build_Module(builtin, lean_io_mk_world());
42if (lean_io_result_is_error(res)) return res;
43lean_dec_ref(res);
44res = initialize_Lake_Build_Package(builtin, lean_io_mk_world());
45if (lean_io_result_is_error(res)) return res;
46lean_dec_ref(res);
47res = initialize_Lake_Build_Library(builtin, lean_io_mk_world());
48if (lean_io_result_is_error(res)) return res;
49lean_dec_ref(res);
50res = initialize_Lake_Build_Imports(builtin, lean_io_mk_world());
51if (lean_io_result_is_error(res)) return res;
52lean_dec_ref(res);
53return lean_io_result_mk_ok(lean_box(0));
54}
55#ifdef __cplusplus
56}
57#endif
58