Skip to content

Internal error when 2 dune-project files have the same name stanza #2325

@clecat

Description

@clecat

When launching dune in a directory containing several dune-project files (on itself and the subdirectories) with the same value for the stanza name triggers an internal error message:

Internal error, please report upstream including the contents of _build/log.
Description:
("Scope.DB.create got two projects with the same name"
 (project1 (test src2))
 (project2 (test src1)))
Backtrace:
Raised at file "src/stdune/exn.ml", line 40, characters 5-10
Called from file "src/scope.ml", line 119, characters 8-170
Called from file "src/scope.ml", line 143, characters 6-79
Called from file "src/super_context.ml", line 301, characters 4-123
Called from file "src/gen_rules.ml", line 327, characters 6-161
Called from file "src/fiber/fiber.ml", line 99, characters 6-13
                   
I must not segfault.  Uncertainty is the mind-killer.  Exceptions are
the little-death that brings total obliteration.  I will fully express
my cases.  Execution will pass over me and through me.  And when it
has gone past, I will unwind the stack along its path.  Where the
cases are handled there will be nothing.  Only I will remain.

The directory architecture was the following:

├── src1
│   └── dune-project
└── src2
    └── dune-project

With both dune-project files content being:

(lang dune 1.9)
(name test)

_build/log content:

# dune build
# OCAMLPARAM: unset
$ /usr/bin/nproc > /tmp/dune03af81.output 2> /dev/null
$ /home/charles-edouardlecat/.opam/ocaml-base-compiler/bin/ocamlc.opt -config > /tmp/duned6ad4a.output

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions