Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

check_ciao_version fails w/ ciao-install #863

Open
kglotfelty opened this issue Mar 28, 2024 · 1 comment
Open

check_ciao_version fails w/ ciao-install #863

kglotfelty opened this issue Mar 28, 2024 · 1 comment

Comments

@kglotfelty
Copy link
Member 

% sysciao
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'
@DougBurke
Copy link
Member

So, I fixed this on Dec 15 in a83799b but this was obviously after the 4.16.1 release... I'm not sure why this appears to have been directly committed to the main branch rather than via a PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@DougBurke @kglotfelty