[Pkg-julia-devel] Bug#849815: julia: Please set TAGGED_RELEASE_BANNER to identify Debian package builds

[Tony Kelman]

Package: julia
Version: 0.4.7-2
Severity: wishlist

Dear Maintainer,

In order to more clearly identify when an issue gets reported upstream
by someone who may be using the debian package build of julia, I'd like
to request that the debian build process set the TAGGED_RELEASE_BANNER
makefile flag when compiling julia. The identifier string from that flag
will be shown between the version number and the platform triple in the
julia startup banner. Something that identifies the copy of julia as
built in a debian packaging configuration will help us determine whether
reported bugs are due to the debian packaging in particular, if we have
trouble reproducing. I would prefer to have it set in a way that can be
easily (automatically?) overridden by debian derivatives as well.


-- System Information:
Debian Release: jessie/sid
  APT prefers trusty-updates
  APT policy: (500, 'trusty-updates'), (500, 'trusty-security'), (500, 'trusty')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.4.0-43-Microsoft
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash