Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
25cdee53
Commit
25cdee53
authored
Oct 23, 2020
by
Allan Blanchard
Browse files
Update check-reference-configuration with the right Why3 command
parent
e594be20
Changes
1
Hide whitespace changes
Inline
Side-by-side
bin/check-reference-configuration.sh
View file @
25cdee53
...
...
@@ -76,5 +76,5 @@ if [ $has_any_diffs -ne 0 ]; then
echo
" opam switch create
${
working_ocaml
}
"
echo
" opam install depext"
echo
" opam depext --install
$all_packages
"
echo
" rm -f ~/.why3.conf && why3 config --
full-config
"
echo
" rm -f ~/.why3.conf && why3 config --
detect
"
fi
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment