Skip to content

Provision MEOS without the GSL and GEOS packages - #216

Merged
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:ci/provision-without-gsl-and-geos
Oct 27, 2026
Merged

estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:ci/provision-without-gsl-and-geos

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

MEOS calls neither GSL nor GEOS: its random draws come from the pg_prng
generators of PostgreSQL, and the libmeos of MobilityDB master a23e01a60b needs
and calls no GSL or GEOS symbol. The provision-meos action and the workflow
openapi-validate.yml install neither libgsl-dev nor libgeos-dev, for the libclang
sysroot as for the libmeos build.

Witness: the libmeos built at a23e01a60b names libjson-c, libproj, libh3,
libgdal, libm, libxml2, libz and libc as the libraries it needs, and nm finds
no gsl_ and no GEOS symbol it calls.

Why: a binding provisioned through this action installs only what MEOS
builds against. GEOS still loads through the GDAL the runner packages, which
links it; a GDAL built without GEOS removes it.

MEOS calls neither GSL nor GEOS: its random draws come from the pg_prng
generators of PostgreSQL, and the libmeos of MobilityDB master a23e01a60b needs
and calls no GSL or GEOS symbol. The provision-meos action and the workflow
openapi-validate.yml install neither libgsl-dev nor libgeos-dev, for the libclang
sysroot as for the libmeos build.

Witness: the libmeos built at a23e01a60b names libjson-c, libproj, libh3,
libgdal, libm, libxml2, libz and libc as the libraries it needs, and nm finds
no gsl_ and no GEOS symbol it calls.

Why: a binding provisioned through this action installs only what MEOS
builds against. GEOS still loads through the GDAL the runner packages, which
links it; a GDAL built without GEOS removes it.
@estebanzimanyi
estebanzimanyi merged commit 18fcdca into MobilityDB:master Oct 27, 2026
3 checks passed
@estebanzimanyi
estebanzimanyi deleted the ci/provision-without-gsl-and-geos branch October 27, 2026 16:40
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