The following commit has been merged in the master branch:
commit 181d214ac29f4bc75fa4608e514adce14aacae51
Author: Mehdi Dogguy <me...@debian.org>
Date: Sat Apr 6 13:26:45 2013 +0200
Do not compile and install opam_check
diff --git a/debian/buildsys/byte.itarget b/debian/buildsys/byte.itarget
index eb6ba6f..7634908 100644
--- a/debian/buildsys/byte.itarget
+++ b/debian/buildsys/byte.itarget
@@ -1,4 +1,3 @@
src/client/opamMain.byte
src/scripts/opam_mk_repo.byte
-src/scripts/opam_check.byte
src/scripts/opam_repo_check.byte
diff --git a/debian/buildsys/opt.itarget b/debian/buildsys/opt.itarget
index b513edf..8aa35da 100644
--- a/debian/buildsys/opt.itarget
+++ b/debian/buildsys/opt.itarget
@@ -1,4 +1,3 @@
src/client/opamMain.native
src/scripts/opam_mk_repo.native
-src/scripts/opam_check.native
src/scripts/opam_repo_check.native
diff --git a/debian/rules b/debian/rules
index 2b15922..7503a29 100755
--- a/debian/rules
+++ b/debian/rules
@@ -33,7 +33,6 @@ override_dh_auto_install:
cp _build/src/client/opamMain.$(BINEXT)
$(DESTDIR)/usr/bin/opam
cp _build/src/scripts/opam_mk_repo.$(BINEXT)
$(DESTDIR)/usr/bin/opam-mk-repo
cp _build/src/scripts/opam_repo_check.$(BINEXT)
$(DESTDIR)/usr/bin/opam-repo-check
- cp _build/src/scripts/opam_check.$(BINEXT)
$(DESTDIR)/usr/bin/opam-check
.PHONY: override_dh_install
override_dh_install:
--
opam 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
