diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-05-28 00:31:11 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-05-28 01:15:11 +0000 |
| commit | 1378202e6b0b51d7d338a1042824860f19fcbc9b (patch) | |
| tree | bd88a81d60b71e36275d712678dc623c53333972 /lib/dune | |
| parent | 9dc0391443ca16bf1ab3114d002aad83872f8a73 (diff) | |
| download | Sakura-1378202e6b0b51d7d338a1042824860f19fcbc9b.tar.gz Sakura-1378202e6b0b51d7d338a1042824860f19fcbc9b.zip | |
Link against RNT directly, rather than `dlopen`ing at runtime
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -17,4 +17,5 @@ ctypes ctypes.foreign) (preprocess - (pps ppx_deriving.show ppx_sexp_conv ppx_protocol_conv))) + (pps ppx_deriving.show ppx_sexp_conv ppx_protocol_conv)) + (flags :standard -cclib -lRNT)) |