summaryrefslogtreecommitdiff
path: root/src/smtlib.ml
diff options
context:
space:
mode:
authorAlex Richardson2020-05-15 13:43:07 +0100
committerAlex Richardson2020-05-15 13:44:00 +0100
commit363cf77a75cb8237fb13b028c0046b7817dbe734 (patch)
tree2f998c634e73ec2074bc0e07705a7b6f1ddc3705 /src/smtlib.ml
parente6354d8ceea7217e1544606c3c2b79bca4e582fe (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/smtlib.ml')
0 files changed, 0 insertions, 0 deletions