diff options
| author | Alex Richardson | 2020-05-14 18:01:16 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-05-15 13:43:47 +0100 |
| commit | e6354d8ceea7217e1544606c3c2b79bca4e582fe (patch) | |
| tree | 5263a346c514c027aaf836a7651778460bb68bc2 /src/graph.ml | |
| parent | f1ffbfcadfeb013c1619af9d98770872c1ec230f (diff) | |
Add static to more C functions
This allows me to compile sail-riscv64 and sail-riscv128 code in the same
static library.
Diffstat (limited to 'src/graph.ml')
0 files changed, 0 insertions, 0 deletions