Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
configure: optimistically enable native dynlink on recent 32bit darwi…
…n hosts See camlp4/camlp4#108: native dynlink seems to work correctly on recent OSX machines (Darwin15, OSX 10.11), even on 32 bit setups. 32bit setups were broken by OSX toolchain changes on darwin{10,11} (10.6, 10.7) so all 32bit darwin versions above darwin9 were pessimistically disabled. (Apparently the user demand for 32bit darwin host support is that core_kernel assumes 32bit machines, at least when used in combination with js_of_ocaml).
- Loading branch information