Skip to content
Snippets Groups Projects
  • Andre Maroneze's avatar
    753c045c
    [Kernel] remove reliance on 'PWD' environment variable · 753c045c
    Andre Maroneze authored
    The absence of Unix.realpath in OCaml < 4.13 led us to rely on the PWD
    environment variable to avoid issues with symbolic links in directories.
    Now that Frama-C requires OCaml >= 4.13, we can use it instead and avoid
    issues with Dune and Node.js related to out-of-date values for PWD.
    753c045c
    History
    [Kernel] remove reliance on 'PWD' environment variable
    Andre Maroneze authored
    The absence of Unix.realpath in OCaml < 4.13 led us to rely on the PWD
    environment variable to avoid issues with symbolic links in directories.
    Now that Frama-C requires OCaml >= 4.13, we can use it instead and avoid
    issues with Dune and Node.js related to out-of-date values for PWD.