Skip to content

Build the JMEOS jar the way its own script defines it #30

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.

Sign up for GitHub

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

Merged
estebanzimanyi merged 1 commit into from
Aug 31, 2026
Merged

Build the JMEOS jar the way its own script defines it #30

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 9 additions & 9 deletions .github/workflows/maven.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,16 +46,16 @@ jobs:
path: jmeos

- name: Build + install the JMEOS jar as org.jmeos:meos:1.0
# Mirror MobilitySpark and MobilityFlink: stage the derived catalog + libmeos into the
# JMEOS checkout and build it (jmeos-core's generate-sources emits GeneratedFunctions
# from the catalog), then install the plain jar/JMEOS.jar under the org.jmeos:meos:1.0
# coordinates the binding depends on. Tests are skipped — JMEOS's own CI exercises its
# FFI suite; only the jar is needed here.
# JMEOS's own tools/regen-from-catalog.sh is the single runnable definition of this
# build — it stages the catalog and libmeos, and jmeos-core's generate-sources emits
# GeneratedFunctions from the catalog. tools/refresh-from-master.sh reaches it through
# the same script, so the CI path and the by-hand path cannot drift. Naming LIBMEOS
# runs JMEOS's FFI suite against the libmeos this job just built, which is what tells a
# jar that merely compiles from one whose generated surface answers.
run: |
mkdir -p jmeos/codegen/input
cp "${{ steps.provision.outputs.catalog-path }}" jmeos/codegen/input/meos-idl.json
cp /usr/local/lib/libmeos.so jmeos/jmeos-core/src/
mvn -B -f jmeos/pom.xml clean install -Dmaven.test.skip=true
CATALOG="${{ steps.provision.outputs.catalog-path }}" \
LIBMEOS=/usr/local/lib/libmeos.so \
jmeos/tools/regen-from-catalog.sh
mvn -B install:install-file \
-Dfile=jmeos/jar/JMEOS.jar \
-DgroupId=org.jmeos -DartifactId=meos -Dversion=1.0 -Dpackaging=jar
Expand Down
1 change: 0 additions & 1 deletion tools/refresh-from-master.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,6 @@
#
# All of refresh-jvm-chain.sh's options pass through, e.g.:
# tools/refresh-from-master.sh --mdb ~/src/MobilityDB # refresh against a local MobilityDB branch
# tools/refresh-from-master.sh --skip-tests # regenerate + compile, skip the test run
#
# MEOSAPI=<path> uses an existing MEOS-API checkout (any branch); otherwise MEOS-API master is
# cloned into the work dir. WORK_DIR overrides the scratch location (default <repo>/.meos-chain).
Expand Down
Loading