-
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.
Andre Maroneze authoredThe 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.