diff options
| author | Alain Frisch <alain@frisch.fr> | 2010-05-25 10:00:39 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2010-05-25 10:00:39 +0000 |
| commit | 47dbbc7d7f08b5eae905979eb09921ee50cd0d43 (patch) | |
| tree | c943c5a71190b3cae9578f503dcbba7a8e0a120e /otherlibs/win32unix/windbug.h | |
| parent | 9d27a7fc8ec929763a78a46845f3deef5ee8aebe (diff) | |
Decide at config time if natdynlink is supported or not, but always compile/install dynlink.cmxa to simplify 3rd party packages. A runtime exception signals an unsupported natdynlink.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10461 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/windbug.h')
0 files changed, 0 insertions, 0 deletions