From 5f06b6a141d8bd07fc60de546d2bc60a256e5dad Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Don't use cygpath. --- flexdll/mingw32-flexdll-0.11-no-cygpath.patch | 20 ++++++++++++++++++++ flexdll/mingw32-flexdll.spec | 7 ++++++- 2 files changed, 26 insertions(+), 1 deletion(-) create mode 100644 flexdll/mingw32-flexdll-0.11-no-cygpath.patch diff --git a/flexdll/mingw32-flexdll-0.11-no-cygpath.patch b/flexdll/mingw32-flexdll-0.11-no-cygpath.patch new file mode 100644 index 0000000..a7e00e0 --- /dev/null +++ b/flexdll/mingw32-flexdll-0.11-no-cygpath.patch @@ -0,0 +1,20 @@ +--- flexdll/reloc.ml.orig 2008-11-16 09:45:55.000000000 +0000 ++++ flexdll/reloc.ml 2008-11-16 09:46:39.000000000 +0000 +@@ -938,7 +938,7 @@ + parse_cmdline (); + setup_toolchain (); + +- use_cygpath := ++ use_cygpath := false; (* + begin + match !toolchain, !cygpath_arg with + | _, `Yes -> true +@@ -946,7 +946,7 @@ + | (`CYGWIN|`MINGW), `None -> (Sys.command "cygpath -v 2>NUL >NUL" = 0) + | (`MSVC|`LIGHTLD), `None -> false + end; +- ++ *) + + if !verbose >= 2 then ( + Printf.printf "** Use cygpath: %b\n" !use_cygpath; diff --git a/flexdll/mingw32-flexdll.spec b/flexdll/mingw32-flexdll.spec index 92e7314..f744d9d 100644 --- a/flexdll/mingw32-flexdll.spec +++ b/flexdll/mingw32-flexdll.spec @@ -11,7 +11,7 @@ Name: mingw32-flexdll Version: 0.11 -Release: 4%{?dist} +Release: 6%{?dist} Summary: FlexDLL Windows DLL plugin API which is like dlopen License: zlib @@ -23,6 +23,7 @@ Source1: flexlink.exe # Patches for MinGW: Patch1000: mingw32-flexdll-0.11-mingw-cross.patch +Patch1001: mingw32-flexdll-0.11-no-cygpath.patch BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) @@ -71,6 +72,7 @@ make it easy to port applications developed for Unix. %setup -q -n flexdll %patch1000 -p1 +%patch1001 -p1 for f in CHANGES LICENSE README; do chmod -x $f @@ -127,5 +129,8 @@ rm -rf $RPM_BUILD_ROOT %changelog +* Sun Nov 16 2008 Richard W.M. Jones - 0.11-6 +- Permanently disable cygpath (avoids 'NUL' file being created). + * Fri Nov 14 2008 Richard W.M. Jones - 0.11-4 - Initial RPM release. -- 1.8.3.1