X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=ocaml%2Fmingw32-ocaml.spec;fp=ocaml%2Fmingw32-ocaml.spec;h=08c18bbd481720a2a00a546217716a7b0e0e909c;hb=375ef99d7edf7c5c6d0e86477a4ee25d04000cb6;hp=4dfc76b493a7080a3cb68e65b91dcb9a42956c67;hpb=1a0526d893771a72f9cb52a92819a4d6cffb48b1;p=fedora-mingw.git diff --git a/ocaml/mingw32-ocaml.spec b/ocaml/mingw32-ocaml.spec index 4dfc76b..08c18bb 100644 --- a/ocaml/mingw32-ocaml.spec +++ b/ocaml/mingw32-ocaml.spec @@ -47,9 +47,18 @@ CFLAGS="$RPM_OPT_FLAGS" \ -libdir %{_libdir}/ocaml \ -x11lib %{_libdir} \ -x11include %{_includedir} \ - -mandir %{_mandir}/man1 + -mandir %{_mandir}/man1 \ + -cc %{_mingw32_cc} \ + -as %{_mingw32_as} +# ./configure creates the following files: +# config/Makefile - containing mainly paths and names of build tools +# config/m.h - containing the machine description +# config/s.h - containing the environment / API description + +# Overwrite the generated m.h & s.h with the ones from Windows NT. cp config/m-nt.h config/m.h +cp config/s-nt.h config/s.h make world bootstrap opt opt.opt @@ -74,5 +83,5 @@ rm -rf $RPM_BUILD_ROOT %changelog -* Fri Oct 24 2008 Richard W.M. Jones - 3.11.0+beta1-1 +* Fri Nov 14 2008 Richard W.M. Jones - 3.11.0+beta1-1 - Initial RPM release.