Source: cvc3
Severity: normal
Tags: patch
User: [email protected]
Usertags: ppc64el

Dear Maintainer,

The package cvc3 fails to build from source on ppc64el.
Althought it uses autotools-dev config files and it is set as a build-dep,
the target cleanbuilddir/cvc3 forces it to run configure before anything else.

That partially invalidates the use of autotools-dev, since it should help
to configure the package.

I am not sure if this is the ideal way to do this, but I added a workaround
in debian/builds (patch attached) so it at least updates and cleans the 
config.{guess,sub}
in the aforemenetioned target.

Please let me know what you think.

Thanks.
Fernando


-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: ppc64el (ppc64le)

Kernel: Linux 3.13-1-powerpc64le (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
diff -Nru cvc3-2.4.1/debian/changelog cvc3-2.4.1/debian/changelog
--- cvc3-2.4.1/debian/changelog	2012-08-13 00:25:31.000000000 +0000
+++ cvc3-2.4.1/debian/changelog	2014-07-30 15:36:58.000000000 +0000
@@ -1,3 +1,9 @@
+cvc3 (2.4.1-4ppc64el1) UNRELEASED; urgency=medium
+
+  * Enabled autotools-dev in debian/rules 
+
+ -- Fernando Seiti Furusato <[email protected]>  Wed, 30 Jul 2014 15:36:33 +0000
+
 cvc3 (2.4.1-4) unstable; urgency=low
 
   * Transfer package repo to Git.
diff -Nru cvc3-2.4.1/debian/rules cvc3-2.4.1/debian/rules
--- cvc3-2.4.1/debian/rules	2012-08-13 00:25:31.000000000 +0000
+++ cvc3-2.4.1/debian/rules	2014-07-30 15:35:59.000000000 +0000
@@ -14,7 +14,9 @@
 
 # Have to run configure before distclean, or else make will die
 cleanbuilddir/cvc3::
+	dh_autotools-dev_updateconfig
 	./configure --disable-zchaff
+	dh_autotools-dev_restoreconfig
 
 # cvc3-mode.el isn't copied by "make install", so copy it to the 
 # staging directory by hand

Reply via email to