HCoop / hcoop / domtool2.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | structure LibpcreiH = struct | |
| 2 | local | |
| 3 | val lh = DynLinkage.open_lib | |
| 4 | { name = "/usr/local/lib/pcre_sml.so", global = true, lazy = true } | |
| 5 | handle DynLinkage.DynLinkError s => raise Fail s | |
| 6 | in | |
| 7 | fun libh s = let | |
| 8 | val sh = DynLinkage.lib_symbol (lh, s) | |
| 9 | in | |
| 10 | fn () => DynLinkage.addr sh | |
| 11 | end | |
| 12 | end | |
| 13 | end |