Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ship debug symbols for pre-built binaries #3661

Closed
monetdb-team opened this issue Nov 30, 2020 · 0 comments
Closed

Ship debug symbols for pre-built binaries #3661

monetdb-team opened this issue Nov 30, 2020 · 0 comments
Labels
enhancement New feature or request SQL

Comments

@monetdb-team
Copy link

Date: 2015-02-02 14:15:31 +0100
From: Richard Hughes <<richard.monetdb>>
To: SQL devs <>
Version: 11.19.9 (Oct2014-SP2)

Last updated: 2015-05-07 12:37:47 +0200

Comment 20619

Date: 2015-02-02 14:15:31 +0100
From: Richard Hughes <<richard.monetdb>>

Created attachment 317
Generate monetdb-dbg.deb package

It's generally helpful for users to have access to debug symbols for the pre-built binaries downloaded from the MonetDB web site. It allows not-particularly-technical users to generate more useful crash reports without needing to go through the hassle of building from source. Debug symbols are also good for profiling tools.

The attached patch does this for the .deb packages, following the instructions at https://wiki.debian.org/DebugPackage. I'm not personally familiar with the other deployment platforms you offer.

Attached file: monetdb-dbg-package.diff (text/plain, 1245 bytes)
Description: Generate monetdb-dbg.deb package

Comment 20624

Date: 2015-02-03 11:12:26 +0100
From: MonetDB Mercurial Repository <>

Changeset b79f3dc67f49 made by Sjoerd Mullender sjoerd@acm.org in the MonetDB repo, refers to this bug.

For complete details, see http//devmonetdborg/hg/MonetDB?cmd=changeset;node=b79f3dc67f49

Changeset description:

Also provide debug packages for Debian and Ubuntu.
This fixes bug #3661.

Comment 20625

Date: 2015-02-03 11:13:24 +0100
From: @sjoerdmullender

Thanks for the suggestion and the patch. I have applied the patch.

@monetdb-team monetdb-team added enhancement New feature or request SQL labels Nov 30, 2020
@sjoerdmullender sjoerdmullender added this to the Ancient Release milestone Feb 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request SQL
Projects
None yet
Development

No branches or pull requests

2 participants