This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository eliom.

commit 07fe389f4adda08765728c2310241c0f6ac570f5
Author: Stephane Glondu <st...@glondu.net>
Date:   Sun Jun 29 14:16:02 2014 +0200

    Install .o files with .cmx files
---
 .../0002-Install-.o-files-with-.cmx-files.patch    | 22 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 2 files changed, 23 insertions(+)

diff --git a/debian/patches/0002-Install-.o-files-with-.cmx-files.patch 
b/debian/patches/0002-Install-.o-files-with-.cmx-files.patch
new file mode 100644
index 0000000..43a6211
--- /dev/null
+++ b/debian/patches/0002-Install-.o-files-with-.cmx-files.patch
@@ -0,0 +1,22 @@
+From: Stephane Glondu <st...@glondu.net>
+Date: Sun, 29 Jun 2014 14:15:44 +0200
+Subject: Install .o files with .cmx files
+
+---
+ src/syntax/Makefile | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/src/syntax/Makefile b/src/syntax/Makefile
+index 05e66a6..7cae934 100644
+--- a/src/syntax/Makefile
++++ b/src/syntax/Makefile
+@@ -16,7 +16,7 @@ FILES:= pa_eliom_seed.ml    \
+       pa_include.ml
+ 
+ ifeq "${NATDYNLINK}" "YES"
+-FILES_OPT:= $(FILES:.ml=.cmx) $(FILES:.ml=.cmxs)
++FILES_OPT:= $(FILES:.ml=.cmx) $(FILES:.ml=.o) $(FILES:.ml=.cmxs)
+ endif
+ 
+ all:
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 505e163..0639e2b 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 0001-Fix-ocamldoc-invocation-in-src-server-client.patch
+0002-Install-.o-files-with-.cmx-files.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/eliom.git

_______________________________________________
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

Reply via email to