'+' in include path with dune #1388

vzaliva · 2021-09-15T00:02:33Z

I have the following dune file which compiles fine from command line with dune but not under merlin:

(executable
 (name main)
 ; workaround for https://github.com/ocaml/dune/issues/3636
 (flags (:standard -w -27 -I +../cerberus/frontend)))

In merling-log buffer I see:

"ocaml": {
    "include_dirs": [
      "/home/lord/src/cheri-c-semantics/ubfinder/+../cerberus/frontend"
    ],

If I change it to full path:

(executable
 (name main)
 ; workaround for https://github.com/ocaml/dune/issues/3636
 (flags (:standard -w -27 -I /home/lord/.opam/cerberus/lib/cerberus/frontend)))

it shows in log:

  "ocaml": {
    "include_dirs": [ "/home/lord/.opam/cerberus/lib/cerberus/frontend" ],

and compiles fine.

It looks like an issue with + handling with -I

The text was updated successfully, but these errors were encountered:

vzaliva mentioned this issue Sep 15, 2021

Missing -I when building against a virtual library from another project ocaml/dune#3636

Closed

voodoos added the Kind/Bug label Dec 20, 2021

voodoos added a commit to voodoos/merlin that referenced this issue Dec 21, 2021

Add a test illustrating issue ocaml#1388

213aea0

voodoos linked a pull request Dec 21, 2021 that will close this issue

Fix issue 1388 #1419

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

'+' in include path with dune #1388

'+' in include path with dune #1388

vzaliva commented Sep 15, 2021 •

edited

'+' in include path with dune #1388

'+' in include path with dune #1388

Comments

vzaliva commented Sep 15, 2021 • edited

vzaliva commented Sep 15, 2021 •

edited