Closed kglotfelty closed 8 months ago
with 4.16 we are getting
$ source /soft/ciao-4.16/bin/ciao.sh CIAO configuration is complete... CIAO 4.16.0 Tuesday, December 05, 2023 bindir : /soft/ciao-4.16/bin CALDB : 4.11.0 $ check_ciao_version # check_ciao_version (15 November 2023): ERROR [Errno 2] No such file or directory: '/soft/ciao-4.16/ciao-type'
I've just added a commit to hopefully fix this (forgot to set up a PR so it's gone in directly).
https://github.com/cxcsds/ciao-contrib/commit/a83799bb9b9bf5d223c95ae18f764950d17c1386
with 4.16 we are getting