diff options
author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-07-01 19:28:15 +0000 |
---|---|---|
committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-07-01 19:28:15 +0000 |
commit | 1a241d873f03927a50c3b24065ee95d6bdeca79d (patch) | |
tree | 19650ea07125101eac0d5a1a1e6cb93c2f3baf15 /otherlibs/win32unix/unixsupport.c | |
parent | 20710f367540da4b297010c7e9de99e9ac323b46 (diff) |
configure: store $target and $host in the build configuration (fixed).
(patch by Adrien Nader!)
Compared to the previous version of this patch, this fixes too issues.
First, it updates the makefiles for mingw and msvc to set $host and
$target. I'm not completely sure why that was required since these
variables should have evaluated to empty strings which were only tested
for equality later on. Still, it's needed and it avoids an asymetry
between the regular ./configure-based builds and the ones using pre-made
Makefiles.
Second, it update the ocamlbuild config to also store $host and $target.
I had been building the cross-compilers with OCAMLBUILD_NOBOOT (which is
rather new) and updating that config wasn't needed. However it is
required for the "regular" builds.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13862 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.c')
0 files changed, 0 insertions, 0 deletions