Skip to content

Conversation

@shym
Copy link

@shym shym commented Mar 5, 2025

Fix the generation of the relative site lib path so that both destdir and path start with a $PREFIX/lib.

Before that patch, running:

./configure -bindir $OPAM_SWITCH_PREFIX/bin -sitelib $OPAM_SWITCH_PREFIX/lib -mandir $OPAM_SWITCH_PREFIX/man -config $OPAM_SWITCH_PREFIX/lib/findlib.conf -with-relative-paths-at $OPAM_SWITCH_PREFIX -no-custom -no-camlp4
make -B findlib.conf

yielded a broken path:

path="REFIX/lib:..."

configure has been tested with dash, bash and busybox sh; the 'info' reported by shellcheck is indeed correct.

Fix the generation of the relative site lib path so that both `destdir`
and `path` start with a `$PREFIX/lib`

Before that patch, running:

```
./configure -bindir $OPAM_SWITCH_PREFIX/bin -sitelib $OPAM_SWITCH_PREFIX/lib -mandir $OPAM_SWITCH_PREFIX/man -config $OPAM_SWITCH_PREFIX/lib/findlib.conf -with-relative-paths-at $OPAM_SWITCH_PREFIX -no-custom -no-camlp4
make -B findlib.conf
```

yielded a broken `path`:

```
path="REFIX/lib:..."
```

`configure` has been tested with `dash`, `bash` and `busybox sh`; the
'info' reported by `shellcheck` is indeed correct
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant