Skip to content

CI: change use of FORCE_JULIAINTERFACE_COMPILATION #1339

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

Draft
fingolfin wants to merge 2 commits into
base: master
Choose a base branch
from
Draft

CI: change use of FORCE_JULIAINTERFACE_COMPILATION #1339

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8444fda
CI: change use of FORCE_JULIAINTERFACE_COMPILATION
fingolfin Jan 31, 2026
ac5745e
tweak
fingolfin Jan 31, 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
21 changes: 8 additions & 13 deletions etc/ci_test.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,29 +5,24 @@ set -x

AnyFailures=No

# Force recompilation of JuliaInterface with coverage instrumentation
export CFLAGS="--coverage"
export LDFLAGS="--coverage"
mkdir -p coverage

#
export FORCE_JULIAINTERFACE_COMPILATION=true
cd pkg/JuliaInterface
pwd
# Force recompilation of JuliaInterface with coverage instrumentation
CFLAGS="--coverage" LDFLAGS="--coverage" FORCE_JULIAINTERFACE_COMPILATION=true ${GAP} --nointeract
${GAP} makedoc.g
${GAP} --cover ../../coverage/JuliaInterface.coverage tst/testall.g || AnyFailures=Yes
${GAP} --cover ../../coverage/JuliaInterface.coverage makedoc.g tst/testall.g || AnyFailures=Yes
gcov -o gen/src/ src/*.c*
# We should delete the coverage instrumentation in JuliaInterface now
# by calling `make clean`. However, this does not work because the
# `gaproot_for_building` only exists while GAP.jl runs.
# So we instead start a new GAP.jl session that forces a recompilation
# of JuliaInterface with default settings, thus overwriting the
# coverage instrumentation.
FORCE_JULIAINTERFACE_COMPILATION=true ${GAP} --nointeract
cd ../..

#
export FORCE_JULIAINTERFACE_COMPILATION=
cd pkg/JuliaExperimental
pwd
${GAP} makedoc.g
${GAP} --cover ../../coverage/JuliaExperimental.coverage tst/testall.g || AnyFailures=Yes
${GAP} --cover ../../coverage/JuliaExperimental.coverage makedoc.g tst/testall.g || AnyFailures=Yes
cd ../..

if [ ${AnyFailures} = Yes ]
Expand Down
Loading