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

Fix compilation error in pg_bigm caused by PostgreSQL 16dev update #5

Merged
merged 2 commits into from
Apr 11, 2023

Conversation

MasaoFujii
Copy link
Member

Commit 0a20ff54f5 in PostgreSQL 16dev caused pg_bigm to fail compilation due to a missing header file. This commit fixes the issue by updating bigm_op.c to include utils/guc.h. This change ensures that pg_bigm is compatible with PostgreSQL 16dev,
allowing for continued use and development of the extension.

Back-patch to pg_bigm 1.2.

Commit 0a20ff54f5 in PostgreSQL 16dev caused pg_bigm to fail compilation
due to a missing header file. This commit fixes the issue by
updating bigm_op.c to include utils/guc.h. This change ensures that
pg_bigm is compatible with PostgreSQL 16dev,
allowing for continued use and development of the extension.

Back-patch to pg_bigm 1.2.
To ensure compatibility with GitHub Pages, this commit renames
the html/ directory to docs/. This change is necessary because
GitHub Pages uses the docs/ directory as a default location for
serving web pages. By renaming the directory, the project's
documentation will be accessible on the web when published to
GitHub Pages.
@MasaoFujii MasaoFujii merged commit fb8b389 into pgbigm:master Apr 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant