"src/main/scala/leon/solvers/unrolling/LambdaManager.scala" did not exist on "b5edabade30cda324771e5059583f415603ae765"
Add corrected version of cdo
Compare changes
This version corrects the issue observed with eccodes library. Forcing ~openmp
to produce a different module (and +netcdf
because it was needed for the files of the user).
The problem was solved by adding eccodes-2.38.0 to its recipe (pushed to scitas-spack-packages
).
Tested and confirmed to work with an input from the user:
Apptainer> /ssoft/spack/pinot-noir/jed/v1/spack/opt/spack/linux-rhel9-icelake/gcc-13.2.0/cdo-2.5.0-4yvmgydz56uqdyetcqyjfokolhrh2xii/bin/cdo splitsel,1 era5_sfc_20240410_20240515 era5.out
cdo splitsel: Processed 1 variable over 106 timesteps [0.06s 28MB]
Apptainer>
which produces dozens of files, rather than failing as we'd discussed for the previous version.