diff options
| author | Basile Clément <basile.clement@ocamlpro.com> | 2024-11-22 14:51:13 +0100 |
|---|---|---|
| committer | Basile Clément <basile.clement@ocamlpro.com> | 2024-11-22 14:51:13 +0100 |
| commit | 32a6049ad5fc6d418a1b193310078b3ab25993de (patch) | |
| tree | bed07ae7c5e9e3ac0ed40d5617591d3c09e70fdc /pkgs/development/python-modules/rangehttpserver | |
| parent | 18e1305cc43f1c9d3b4dad17f6eec5a818207ff6 (diff) | |
ocamlPackages.menhir: support --suggest-menhirLib
menhir provides a `--suggest-menhirLib` option that tries to infer the
path of the menhir library from the path of the menhir binary.
Since the menhir library and the menhir binary are built as different
derivations, this does not work.
This patch hardcodes the location of the menhir library into the menhir
binary, making `--suggest-menhirLib` work.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions