HCoop / hcoop / domtool2.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | structure LibsslH = struct | |
| 2 | local | |
| 3 | val global = "/usr/local/lib/openssl_sml.so" | |
| 4 | val locl = "openssl/openssl_sml.so" | |
| 5 | ||
| 6 | val lh = DynLinkage.open_lib | |
| 7 | { name = if Posix.FileSys.access (global, []) then global else locl, global = true, lazy = true } | |
| 8 | handle DynLinkage.DynLinkError s => raise Fail s | |
| 9 | in | |
| 10 | fun libh s = let | |
| 11 | val sh = DynLinkage.lib_symbol (lh, s) | |
| 12 | in | |
| 13 | fn () => DynLinkage.addr sh | |
| 14 | end | |
| 15 | end | |
| 16 | end |