Skip to content

Updated the Jenkins workflow to install in separate directories.#1355

Merged
Rohit-Kakodkar merged 1 commit intodevelfrom
jenkins-install-fix
Nov 11, 2025
Merged

Updated the Jenkins workflow to install in separate directories.#1355
Rohit-Kakodkar merged 1 commit intodevelfrom
jenkins-install-fix

Conversation

@lsawade
Copy link
Collaborator

@lsawade lsawade commented Nov 6, 2025

Description

There seems to be a bug that is triggered at installation of the executables. The only explanation I have is that all pipeline installations happen in the same directory.

This PR fixes that by setting specific CMAKE_INSTALL_PREFIX and removing it afterwards as part of the clean post build.

Alternative is not installing at all, but the process should at least be tested.

Issue Number

-/-

Checklist

Please make sure to check developer documentation on specfem docs.

  • I ran the code through pre-commit to check style
  • THE DOCUMENTATION BUILDS WITHOUT WARNINGS/ERRORS
  • I have added labels to the PR (see right hand side of the PR page)
  • My code passes all the integration tests
  • I have added sufficient unittests to test my changes
  • I have added/updated documentation for the changes I am proposing
  • I have updated CMakeLists to ensure my code builds
  • My code builds across all platforms

@lsawade lsawade added the bug Something isn't working label Nov 7, 2025
@Rohit-Kakodkar Rohit-Kakodkar merged commit 2a74aeb into devel Nov 11, 2025
8 checks passed
@Rohit-Kakodkar Rohit-Kakodkar deleted the jenkins-install-fix branch November 11, 2025 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants