The following commit has been merged in the master branch:
commit ed85e0e825149503e68c708388cbb3eda233e038
Author: Romain Beauxis <to...@rastageeks.org>
Date: Tue Mar 26 15:37:23 2013 -0500
Imported Upstream version 4.00.1~20130426
diff --git a/Makefile b/Makefile
index 8975898..ea788db 100644
--- a/Makefile
+++ b/Makefile
@@ -230,7 +230,7 @@ stamp-binary-all: stamp-build-findlib
# Install flexlink binary
mkdir -p $(BINARY_DIR)$(INSTALL_PREFIX)/lib/flexdll
cd $(BUILD_DIR)/$(FLEXDLL_DIR) && install -m 0755 flexlink.exe
flexdll_mingw.o flexdll_initer_mingw.o \
-
flexdll_mingw64.o flexdll_initer_mingw64.o
+
flexdll_mingw64.o flexdll_initer_mingw64.o \
$(BINARY_DIR)$(INSTALL_PREFIX)/lib/flexdll
# Nothing in /usr/$(MINGW_HOST)/lib/ocaml should 'a priori' be
executable except flexlink.exe..
find $(BINARY_DIR)$(INSTALL_PREFIX)/$(MINGW_HOST)/lib/ocaml -type f
-executable | grep -v flexlink.exe | while read i; do \
--
mingw32-ocaml packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
