max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: Windows needs more LEAN_EXPORTs (#4941)

Browse source
This commit is contained in:
Sebastian Ullrich 2024-08-07 17:13:13 +02:00 • committed by GitHub
parent a29bca7f00
commit 240ebff549
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/runtime/alloc.h
View file

@ -7,13 +7,14 @@ Author: Leonardo de Moura
#pragma once
#include <stddef.h>
#include <stdint.h>
#include <lean/lean.h>
namespace lean {
void init_thread_heap();
void * alloc(size_t sz);
void dealloc(void * o, size_t sz);
void add_heartbeats(uint64_t count);
uint64_t get_num_heartbeats();
LEAN_EXPORT void * alloc(size_t sz);
LEAN_EXPORT void dealloc(void * o, size_t sz);
LEAN_EXPORT void add_heartbeats(uint64_t count);
LEAN_EXPORT uint64_t get_num_heartbeats();
void initialize_alloc();
void finalize_alloc();
}