Skip to content
Snippets Groups Projects
Commit beb48863 authored by Andre Maroneze's avatar Andre Maroneze Committed by Virgile Prevosto
Browse files

[tests] add dependencies to fc_scripts cram tests

parent f3beb0a0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 8 additions and 0 deletions
tests/fc_script/dune
+ 8
− 0
View file @ beb48863
; Almost all frama-c-script commands require Python ; Almost all frama-c-script commands require Python
(cram (cram
(enabled_if %{read:../../python-3.7-available}) (enabled_if %{read:../../python-3.7-available})
(deps
%{bin:frama-c}
%{bin:frama-c-script}
(glob_files "../../share/analysis-scripts/*")
(glob_files "../../share/compliance/*")
(glob_files "../../share/machdeps/*")
(glob_files "../../share/machdeps/make_machdep/*")
)
) )
(cram (cram
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment