Mentions légales du service

Skip to content
Snippets Groups Projects

Fix 263: wrong default path for COCCINELLE_HOME

Merged Thierry Martinez requested to merge tmartine/coccinelle:fix.263 into master

COCCINELLE_HOME is the directory where standard.iso is looked for. If COCCINELLE_HOME is not defined, we consider the directory $bindir where the current executable is. If $bindir/standard.iso exists, we use COCCINELLE_HOME=$bindir (this is a usual case during development, where we run spatch.opt from the working directory of the repository).

Otherwise, we suppose that coccinelle has been installed (make install), and that standard.iso is installed in $libdir, where $libdir is $exec_prefix/lib.

Before this commit, we considered wrongly that $exec_prefix was equal to $bindir, whereas the default value for $bindir is $exec_prefix/bin. Therefore, we should take for $exec_prefix the parent directory of $bindir.

Merge request reports

Pipeline #419954 passed

Pipeline passed for 540888ff on tmartine:fix.263

Merged by LAWALL JuliaLAWALL Julia 3 years ago (Feb 7, 2022 11:56am UTC)

Merge details

  • Changes merged into with 540888ff.
  • Deleted the source branch.

Pipeline #420021 passed

Pipeline passed for 540888ff on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading