diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-13 17:36:30 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-27 10:04:55 -0400 |
| commit | 2c00d9048873f3d6d7e188dd1ef7f670a83a5c94 (patch) | |
| tree | 05d886bd40bf13f90ddf7f9e9b9b77cc203778fa /.gitlab | |
| parent | 75bf1337e6623286b3cbf1a1c42dd083c50359d3 (diff) | |
| download | haskell-2c00d9048873f3d6d7e188dd1ef7f670a83a5c94.tar.gz | |
ci: Add test to check that release jobs have profiled libs
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 269d76e633..824699e9c7 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -492,7 +492,7 @@ function test_make() { check_release_build - run "$MAKE" test_bindist TEST_PREP=YES + run "$MAKE" test_bindist TEST_PREP=YES TEST_PROF=${RELEASE_JOB:-} (unset $(compgen -v | grep CI_*); run "$MAKE" V=0 VERBOSE=1 test \ THREADS="$cores" \ @@ -588,6 +588,13 @@ function test_hadrian() { fail "Test compiler has a different BIGNUM_BACKEND ($test_compiler_backend) thean requested ($BIGNUM_BACKEND)" fi + # If we are doing a release job, check the compiler can build a profiled executable + if [ "${RELEASE_JOB:-}" == "yes" ]; then + echo "main = print ()" > proftest.hs + run ${test_compiler} -prof proftest.hs || fail "hadrian profiled libs test" + rm proftest.hs + fi + run_hadrian \ test \ --summary-junit=./junit.xml \ |