[Pkg-ocaml-maint-commits] [coq] 02/02: enable make test-suite at build time
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit 64fa31c7ee53e79b112507fb2eea27dc7648328d Author: Enrico Tassi gareuselesi...@debian.org Date: Mon Jul 20 09:53:58 2015 +0200 enable make test-suite at build time --- debian/changelog | 1 + debian/rules | 3 +-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 23fccd0..ea58654 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,7 @@ coq (8.5~beta2+dfsg-2) experimental; urgency=medium * Enable native compiler only on amd64 and i386 + * Enable 'make test-suite' target -- Enrico Tassi gareuselesi...@debian.org Mon, 20 Jul 2015 09:51:21 +0200 diff --git a/debian/rules b/debian/rules index de43511..c57e9a0 100755 --- a/debian/rules +++ b/debian/rules @@ -79,8 +79,7 @@ endif .PHONY: override_dh_auto_test override_dh_auto_test: - # disabled since beta1 does not pass all tests - #$(MAKE) test-suite COMPLEXITY= + $(MAKE) test-suite COMPLEXITY= .PHONY: override_dh_auto_install override_dh_auto_install: -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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
[Pkg-ocaml-maint-commits] [coq] branch master updated (1b01480 - 64fa31c)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to branch master in repository coq. from 1b01480 fix build deps new d57f8a9 disable native compiler on non-mainstream arches new 64fa31c enable make test-suite at build time The 2 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. Summary of changes: debian/changelog | 7 +++ debian/rules | 13 ++--- 2 files changed, 17 insertions(+), 3 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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
[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.5_beta2+dfsg-2 created (now 87a6e3d)
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a change to annotated tag debian/8.5_beta2+dfsg-2 in repository coq. at 87a6e3d (tag) tagging 64fa31c7ee53e79b112507fb2eea27dc7648328d (commit) replaces debian/8.5_beta2+dfsg-1 tagged by Enrico Tassi on Mon Jul 20 09:54:26 2015 +0200 - Log - coq Debian release 8.5~beta2+dfsg-2 Enrico Tassi (2): disable native compiler on non-mainstream arches enable make test-suite at build time --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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
[Pkg-ocaml-maint-commits] [coq] 01/02: disable native compiler on non-mainstream arches
This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository coq. commit d57f8a932cc2ca71b9583df4b8e9fb111f80b180 Author: Enrico Tassi gareuselesi...@debian.org Date: Mon Jul 20 09:52:10 2015 +0200 disable native compiler on non-mainstream arches --- debian/changelog | 6 ++ debian/rules | 10 +- 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 316f566..23fccd0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.5~beta2+dfsg-2) experimental; urgency=medium + + * Enable native compiler only on amd64 and i386 + + -- Enrico Tassi gareuselesi...@debian.org Mon, 20 Jul 2015 09:51:21 +0200 + coq (8.5~beta2+dfsg-1) experimental; urgency=medium * New upstream release diff --git a/debian/rules b/debian/rules index d75b48e..de43511 100755 --- a/debian/rules +++ b/debian/rules @@ -25,12 +25,20 @@ PACKAGES := $(shell dh_listpackages) COQ_VERSION := 8.5beta2 COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI) +ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH) +ifeq ($(ARCH),$(filter $(ARCH),amd64 i386)) +NATIVE_COMPUTE := +else +NATIVE_COMPUTE := -no-native-compiler +endif + CONFIGUREOPTS := -arch Linux -prefix /usr -mandir /usr/share/man \ -configdir /etc/xdg/coq \ -emacslib /usr/share/emacs/site-lisp/coq \ -browser /usr/bin/x-www-browser %s \ -with-doc no \ - -debug + -debug \ + $(NATIVE_COMPUTE) export OCAMLINIT_SED += \ -e 's%@CoqVersion@%$(COQ_VERSION)%' \ -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.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
[Pkg-ocaml-maint-commits] [uutf] branch master created (now e45cc11)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository uutf. at e45cc11 Imported Upstream version 0.9.4 This branch includes the following new commits: new e45cc11 Imported Upstream version 0.9.4 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/uutf.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
[Pkg-ocaml-maint-commits] [uutf] 01/01: pristine-tar data for uutf_0.9.4.orig.tar.bz2
This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch pristine-tar in repository uutf. commit b9a5b1edf0211b50a822ae41bf25e26fac6faa22 Author: Mehdi Dogguy me...@debian.org Date: Mon Jul 20 22:54:54 2015 + pristine-tar data for uutf_0.9.4.orig.tar.bz2 --- uutf_0.9.4.orig.tar.bz2.delta | Bin 0 - 2125 bytes uutf_0.9.4.orig.tar.bz2.id| 1 + 2 files changed, 1 insertion(+) diff --git a/uutf_0.9.4.orig.tar.bz2.delta b/uutf_0.9.4.orig.tar.bz2.delta new file mode 100644 index 000..f64d6cc Binary files /dev/null and b/uutf_0.9.4.orig.tar.bz2.delta differ diff --git a/uutf_0.9.4.orig.tar.bz2.id b/uutf_0.9.4.orig.tar.bz2.id new file mode 100644 index 000..e2cf022 --- /dev/null +++ b/uutf_0.9.4.orig.tar.bz2.id @@ -0,0 +1 @@ +c5ee1acdcf10223c102712d70130f7ddaed2576e -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/uutf.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
[Pkg-ocaml-maint-commits] [uutf] branch pristine-tar created (now b9a5b1e)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch pristine-tar in repository uutf. at b9a5b1e pristine-tar data for uutf_0.9.4.orig.tar.bz2 This branch includes the following new commits: new b9a5b1e pristine-tar data for uutf_0.9.4.orig.tar.bz2 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/uutf.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
[Pkg-ocaml-maint-commits] [uutf] annotated tag upstream/0.9.4 created (now b4745c1)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag upstream/0.9.4 in repository uutf. at b4745c1 (tag) tagging e45cc116a5d2094c7923322083e8340b93d010fc (commit) tagged by Mehdi Dogguy on Mon Jul 20 22:54:54 2015 + - Log - Upstream version 0.9.4 Mehdi Dogguy (1): Imported Upstream version 0.9.4 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/uutf.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
[Pkg-ocaml-maint-commits] [uutf] branch upstream created (now e45cc11)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch upstream in repository uutf. at e45cc11 Imported Upstream version 0.9.4 This branch includes the following new commits: new e45cc11 Imported Upstream version 0.9.4 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/uutf.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
[Pkg-ocaml-maint-commits] [ocaml-jsonm] branch upstream created (now a578f0e)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch upstream in repository ocaml-jsonm. at a578f0e Imported Upstream version 0.9.1 This branch includes the following new commits: new a578f0e Imported Upstream version 0.9.1 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-jsonm.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
[Pkg-ocaml-maint-commits] [ocaml-jsonm] annotated tag upstream/0.9.1 created (now b28155d)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag upstream/0.9.1 in repository ocaml-jsonm. at b28155d (tag) tagging a578f0e8dc52b0956d37fa41d89dc9eb1844e671 (commit) tagged by Mehdi Dogguy on Mon Jul 20 22:32:45 2015 + - Log - Upstream version 0.9.1 Mehdi Dogguy (1): Imported Upstream version 0.9.1 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-jsonm.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
[Pkg-ocaml-maint-commits] [ocaml-jsonm] branch pristine-tar created (now 6253027)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch pristine-tar in repository ocaml-jsonm. at 6253027 pristine-tar data for ocaml-jsonm_0.9.1.orig.tar.bz2 This branch includes the following new commits: new 6253027 pristine-tar data for ocaml-jsonm_0.9.1.orig.tar.bz2 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-jsonm.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
[Pkg-ocaml-maint-commits] [ocaml-jsonm] branch master created (now a578f0e)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository ocaml-jsonm. at a578f0e Imported Upstream version 0.9.1 This branch includes the following new commits: new a578f0e Imported Upstream version 0.9.1 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-jsonm.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
[Pkg-ocaml-maint-commits] [jsonm] branch master created (now 960c908)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository jsonm. at 960c908 Imported Upstream version 0.9.1 This branch includes the following new commits: new 960c908 Imported Upstream version 0.9.1 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/jsonm.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
[Pkg-ocaml-maint-commits] [jsonm] annotated tag upstream/0.9.1 created (now 28a6c52)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag upstream/0.9.1 in repository jsonm. at 28a6c52 (tag) tagging 960c9081b043ccd61c8e3655f77a7a359151ecb6 (commit) tagged by Mehdi Dogguy on Mon Jul 20 22:35:03 2015 + - Log - Upstream version 0.9.1 Mehdi Dogguy (1): Imported Upstream version 0.9.1 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/jsonm.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
[Pkg-ocaml-maint-commits] [jsonm] branch pristine-tar created (now 8f352bb)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch pristine-tar in repository jsonm. at 8f352bb pristine-tar data for jsonm_0.9.1.orig.tar.bz2 This branch includes the following new commits: new 8f352bb pristine-tar data for jsonm_0.9.1.orig.tar.bz2 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/jsonm.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
[Pkg-ocaml-maint-commits] [jsonm] branch upstream created (now 960c908)
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch upstream in repository jsonm. at 960c908 Imported Upstream version 0.9.1 This branch includes the following new commits: new 960c908 Imported Upstream version 0.9.1 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/jsonm.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
[Pkg-ocaml-maint-commits] [ocaml-jsonm] 01/01: pristine-tar data for ocaml-jsonm_0.9.1.orig.tar.bz2
This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch pristine-tar in repository ocaml-jsonm. commit 625302746d1f252c43b41110fef203d067611e5a Author: Mehdi Dogguy me...@debian.org Date: Mon Jul 20 22:32:45 2015 + pristine-tar data for ocaml-jsonm_0.9.1.orig.tar.bz2 --- ocaml-jsonm_0.9.1.orig.tar.bz2.delta | Bin 0 - 1980 bytes ocaml-jsonm_0.9.1.orig.tar.bz2.id| 1 + 2 files changed, 1 insertion(+) diff --git a/ocaml-jsonm_0.9.1.orig.tar.bz2.delta b/ocaml-jsonm_0.9.1.orig.tar.bz2.delta new file mode 100644 index 000..9c5f105 Binary files /dev/null and b/ocaml-jsonm_0.9.1.orig.tar.bz2.delta differ diff --git a/ocaml-jsonm_0.9.1.orig.tar.bz2.id b/ocaml-jsonm_0.9.1.orig.tar.bz2.id new file mode 100644 index 000..151757d --- /dev/null +++ b/ocaml-jsonm_0.9.1.orig.tar.bz2.id @@ -0,0 +1 @@ +92c8dc91bb7cf37c537b802a1762f3350f70e482 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-jsonm.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
