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

PGlite changes to Postgres v16 #7

Draft
wants to merge 37 commits into
base: REL_16_STABLE
Choose a base branch
from

Conversation

samwillis
Copy link
Collaborator

No description provided.

tudor and others added 30 commits December 4, 2024 11:09
* update sdk version

* improve local build times

---------

Co-authored-by: tudor <[email protected]>
* initial impl - not working

* disable sdk installation

* add original Dockerfile from pglite repo

* optimize build all

* use a docker image that already contains all prerequisites for building postgres-pglite

* Dockerfile for building a docker image that contains all prerequisites for building postgres-pglite

* cleanup not working github CI files

* more cleanup

* copied github and buildkite relevant files from pglite repo to this repo

* use self-contained builder image

* change trigger branch

---------

Co-authored-by: tudor <[email protected]>
copiltembel and others added 7 commits January 27, 2025 15:24
* new SDK_VERSION 3.1.74.3bi

* new SDK; buildkite fixes

---------

Co-authored-by: tudor <[email protected]>
* add a llvm-ar step before link optimisation

goal: keep libplite.a static with all debug

speed up link/optimisation pass by re using the same static lib

* use clang partial linkin (-r)

---------

Co-authored-by: tudor <[email protected]>
* buildkite uses the new repo to build the sdk

* update pglite-builder image used for wasm

* remove unused Dockerfile

---------

Co-authored-by: tudor <[email protected]>
* remove imports and exports; add the folders to .gitignore

* create patches/exports folder

---------

Co-authored-by: tudor <[email protected]>
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.

3 participants