diff options
| author | Alex Richardson | 2020-05-15 13:43:07 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-05-15 13:44:00 +0100 |
| commit | 363cf77a75cb8237fb13b028c0046b7817dbe734 (patch) | |
| tree | 2f998c634e73ec2074bc0e07705a7b6f1ddc3705 /src/state.ml | |
| parent | e6354d8ceea7217e1544606c3c2b79bca4e582fe (diff) | |
Also allow adding static to model_{init,fini,main}()
Without this I get the following linker error when trying to include both
64 and 128 bit sail-riscv code in the same binary:
duplicate symbol '_model_init' in:
libsail_wrapper128.a(sail_wrapper_128.c.o)
libsail_wrapper128.a(sail_wrapper_64.c.o)
duplicate symbol '_model_main' in:
libsail_wrapper128.a(sail_wrapper_128.c.o)
libsail_wrapper128.a(sail_wrapper_64.c.o)
duplicate symbol '_model_fini' in:
libsail_wrapper128.a(sail_wrapper_128.c.o)
libsail_wrapper128.a(sail_wrapper_64.c.o)
# Conflicts:
# src/jib/c_backend.ml
Diffstat (limited to 'src/state.ml')
0 files changed, 0 insertions, 0 deletions
