Original bug ID: 5209
Reporter: @dra27
Assigned to: @xclerc
Status: closed (set by @xavierleroy on 2012-09-25T18:06:17Z)
Resolution: fixed
Priority: normal
Severity: block
Version: 3.12.0
Fixed in version: 3.12.1+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #5273

Bug description

The test for FreeBSD for natdynlink support in OCaml's configure script seems to be incorrect. I don't know why the cases contain a 'k' or why i386 (the default name for x86) is not included. Is kfreebsd ever a correct symbol? Removing it and allowing 386 allows successful use of natdynlink on FreeBSD 8.1 (a simple test works as well).

This bug would seem to have been introduced with 3.12.0 (the version of configure in 3.11.2 doesn't do this which is presumably why the BSD port maintainer hasn't reported a bug...)

Additional information

The line numbers aren't correct (I'd changed some other things in configure) but the context should be enough:

@@ -626,8 +639,9 @@
i[3456]86--darwin[89]) natdynlink=true;;
powerpc64--linux) natdynlink=true;;
sparc--linux) natdynlink=true;;

• i686--kfreebsd) natdynlink=true;;
• x86_64--kfreebsd) natdynlink=true;;

• i[36]86--freebsd) natdynlink=true;;
• x86_64--freebsd) natdynlink=true;;
  i386-*-gnu0.3) natdynlink=true;;
  esac
  fi