Files
OpenRAM/compiler/verify
ThVerg 5696584608 Fix nix develop invocation for verification scripts
run_script() launches the DRC/LVS scripts with

    nix develop --command <script>

from a working directory of OPTS.openram_temp. nix develop resolves its
flake from the working directory, and the temp directory has no
flake.nix, so the command fails before the script ever runs:

    path '/tmp/openram_<user>_<pid>_temp' does not contain a 'flake.nix', searching up
    error: could not find a flake.nix file

Nothing is written to the report file, so verification then dies on the
missing output rather than on the nix error itself, which makes this
confusing to diagnose:

    ERROR: file magic.py: Unable to load LVS results from
    /tmp/openram_<user>_<pid>_temp/<name>.lvs.report
    FileNotFoundError: [Errno 2] No such file or directory

Name the flake explicitly so it is resolved from the repository while
the script still runs in the temp directory, which the scripts depend on
for their relative copies.

Verified on a sky130 build with use_nix = True: before the change no
report is produced and the run asserts, after it both DRC and LVS run
through the devShell and write their reports.
2026-08-11 15:03:55 +02:00
..
2024-01-03 14:32:44 -08:00
2024-01-03 14:32:44 -08:00
2024-01-03 14:32:44 -08:00
2024-01-03 14:32:44 -08:00
2024-01-03 14:32:44 -08:00
2024-01-03 14:32:44 -08:00