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

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

Ship debug symbols for pre-built binaries #3661

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


Copy link

@monetdb-team monetdb-team commented Nov 30, 2020

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 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 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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
1 participant