Skip to content

Simplify and optimise build process #272

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

Open
davexparker wants to merge 16 commits into
base: master
Choose a base branch
from
Open

Simplify and optimise build process #272

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
e60bd80
Pull out Java compilation from sub-Makefiles into main Makefile.
davexparker Feb 3, 2026
0c1f630
Pull out parser (re)generation into main Makefile.
davexparker Feb 3, 2026
60b277b
C code tidy - remove some old/unused stuff (last_unif).
davexparker Feb 4, 2026
f5f0741
C code tidy - remove some old/unused stuff (tech log).
davexparker Feb 4, 2026
bd50fd5
Merge/move fields/methods within the prism{,mtbdd,sparse,hybrid} shar…
davexparker Feb 4, 2026
f7a0de0
Merge prism{,mtbdd,sparse,hybrid} shared libraries and build from mai…
davexparker Feb 4, 2026
be01082
Build nprism from main Makefile.
davexparker Feb 4, 2026
e6a4794
Merge dv library into single prism shared library.
davexparker Feb 4, 2026
4428eee
Merge odd library into single prism shared library.
davexparker Feb 4, 2026
50e8d98
Merge jdd library into single prism shared library.
davexparker Feb 5, 2026
d0270ba
Merge dd library into single prism shared library.
davexparker Feb 5, 2026
f48a826
Makefile fix: bin scripts, in particular in "make clean".
davexparker Feb 5, 2026
986e960
Makefile: Improve OSTYPE detection on Windows/Cygwin.
davexparker Feb 5, 2026
fe616be
Makefile tidy + optimisation (avoid re-valuation of variables).
davexparker Feb 5, 2026
b39a51a
Bigger GH action matrix for testing (commented out).
davexparker Feb 5, 2026
83355ed
Fix shared library loading on Mac/Linux (SONAME, RPATH, etc.).
davexparker Feb 5, 2026
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
12 changes: 11 additions & 1 deletion .github/workflows/make-tests.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,8 @@ jobs:
matrix:
java: [11, 21]
os: [ubuntu-latest, macos-latest]
#java: [11, 17, 21]
#os: [ubuntu-20.04, ubuntu-22.04, ubuntu-24.04, macos-14, macos-15, macos-26, ubuntu-22.04-arm, ubuntu-24.04-arm, macos-15-intel]
runs-on: ${{ matrix.os }}

steps:
Expand All @@ -34,7 +36,15 @@ jobs:
strategy:
matrix:
java: [11, 21]
runs-on: windows-latest
os: [windows-latest]
#java: [11, 17, 21]
#os: [windows-2019, windows-2022, windows-2025] #, windows-11-arm]
#exclude:
#- os: windows-11-arm
#java: 11
#- os: windows-11-arm
#java: 17
runs-on: ${{ matrix.os }}

steps:
- run: git config --global core.autocrlf input
Expand Down
Loading