[Pkg-ocaml-maint-commits] [mlpost] 01/02: Disable configure check that ocamlbuild has the same version as ocaml
Stéphane Glondu
glondu at moszumanska.debian.org
Sat Jul 22 17:41:21 UTC 2017
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository mlpost.
commit 22b630ea20398b4a603a32185f9f71ec8a8064b1
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Jul 22 19:29:58 2017 +0200
Disable configure check that ocamlbuild has the same version as ocaml
---
.../0001-Do-not-remove-ocamlbuild.Makefile.patch | 1 -
...2-Create-man-dir-before-installing-into-it.patch | 1 -
.../0003-Fix-hyphen-escapes-in-manpage.patch | 1 -
...mlmacroparser-use-.byte-instead-of-.native.patch | 1 -
.../0005-Fully-qualify-name-of-input-ed-files.patch | 1 -
debian/patches/0006-Fix-for-ocamldoc-4.patch | 1 -
...nfigure-check-that-ocamlbuild-has-the-same.patch | 21 +++++++++++++++++++++
debian/patches/series | 1 +
8 files changed, 22 insertions(+), 6 deletions(-)
diff --git a/debian/patches/0001-Do-not-remove-ocamlbuild.Makefile.patch b/debian/patches/0001-Do-not-remove-ocamlbuild.Makefile.patch
index 44a9fa3..6dc8603 100644
--- a/debian/patches/0001-Do-not-remove-ocamlbuild.Makefile.patch
+++ b/debian/patches/0001-Do-not-remove-ocamlbuild.Makefile.patch
@@ -20,4 +20,3 @@ index ef32e7d..f8ee8ec 100644
dist-clean distclean:: clean
- rm -f Makefile config.cache config.log config.status META version.ml myocamlbuild.ml ocamlbuild.Makefile simple.Makefile
+ rm -f Makefile config.cache config.log config.status META version.ml myocamlbuild.ml simple.Makefile
---
diff --git a/debian/patches/0002-Create-man-dir-before-installing-into-it.patch b/debian/patches/0002-Create-man-dir-before-installing-into-it.patch
index 7e81305..c945739 100644
--- a/debian/patches/0002-Create-man-dir-before-installing-into-it.patch
+++ b/debian/patches/0002-Create-man-dir-before-installing-into-it.patch
@@ -20,4 +20,3 @@ index 07301a8..d4e835e 100644
cp -f $(BUILD)$(TOOL) $(BINDIR)/mlpost
cp -f mlpost.1 $(MANDIR)/man1
---
diff --git a/debian/patches/0003-Fix-hyphen-escapes-in-manpage.patch b/debian/patches/0003-Fix-hyphen-escapes-in-manpage.patch
index 9acecd9..1f873f3 100644
--- a/debian/patches/0003-Fix-hyphen-escapes-in-manpage.patch
+++ b/debian/patches/0003-Fix-hyphen-escapes-in-manpage.patch
@@ -52,4 +52,3 @@ index b41ec62..11afcb7 100644
Don't remove intermediates files. The metapost backend use some
intermediates files which are removed without this option.
.TP
---
diff --git a/debian/patches/0004-myocamlmacroparser-use-.byte-instead-of-.native.patch b/debian/patches/0004-myocamlmacroparser-use-.byte-instead-of-.native.patch
index 9c52e2b..4d0a909 100644
--- a/debian/patches/0004-myocamlmacroparser-use-.byte-instead-of-.native.patch
+++ b/debian/patches/0004-myocamlmacroparser-use-.byte-instead-of-.native.patch
@@ -29,4 +29,3 @@ index e0f659c..f60cfaf 100644
flag ["ocaml";"doc"] &
S([A"-hide" ; A "Mlpost"; A"-g"; A "customdoc/img.cmo"]
@ (if "@LABLGTK2@" = "yes"
---
diff --git a/debian/patches/0005-Fully-qualify-name-of-input-ed-files.patch b/debian/patches/0005-Fully-qualify-name-of-input-ed-files.patch
index 6595e9b..e5c8d67 100644
--- a/debian/patches/0005-Fully-qualify-name-of-input-ed-files.patch
+++ b/debian/patches/0005-Fully-qualify-name-of-input-ed-files.patch
@@ -21,4 +21,3 @@ index 71ed108..4469d51 100644
%%redefinition
def doexternalfigure (expr filename) text transformation =
---
diff --git a/debian/patches/0006-Fix-for-ocamldoc-4.patch b/debian/patches/0006-Fix-for-ocamldoc-4.patch
index 4140157..dbbde25 100644
--- a/debian/patches/0006-Fix-for-ocamldoc-4.patch
+++ b/debian/patches/0006-Fix-for-ocamldoc-4.patch
@@ -39,4 +39,3 @@ index 31eea9a..6dd316b 100644
(* we need to deactivate the -html option of ocamldoc, otherwise our generator
* is overwritten by the standard html generator. Ocamlbuild gives the -html
* option to ocamldoc, so this is really required *)
---
diff --git a/debian/patches/0007-Disable-configure-check-that-ocamlbuild-has-the-same.patch b/debian/patches/0007-Disable-configure-check-that-ocamlbuild-has-the-same.patch
new file mode 100644
index 0000000..ce8ab83
--- /dev/null
+++ b/debian/patches/0007-Disable-configure-check-that-ocamlbuild-has-the-same.patch
@@ -0,0 +1,21 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Sat, 22 Jul 2017 19:29:26 +0200
+Subject: Disable configure check that ocamlbuild has the same version as ocaml
+
+---
+ configure.in | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/configure.in b/configure.in
+index 91137f2..4c0f109 100644
+--- a/configure.in
++++ b/configure.in
+@@ -175,7 +175,7 @@ else
+ AC_MSG_RESULT(ok)
+ fi ;;
+ *)
+- if test "$TMPVER" != "$OCAMLVERSION" ; then
++ if false && test "$TMPVER" != "$OCAMLVERSION" ; then
+ AC_MSG_ERROR(ocamlbuild version differs from ocamlc. Aborting.)
+ else
+ AC_MSG_RESULT(ok)
diff --git a/debian/patches/series b/debian/patches/series
index c18d115..3da9695 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
0004-myocamlmacroparser-use-.byte-instead-of-.native.patch
0005-Fully-qualify-name-of-input-ed-files.patch
0006-Fix-for-ocamldoc-4.patch
+0007-Disable-configure-check-that-ocamlbuild-has-the-same.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/mlpost.git
More information about the Pkg-ocaml-maint-commits
mailing list