ptests config under git

3183aa23 · MARCHE Claude · 748e9b4c · 3183aa23
Commit 3183aa23 authored Apr 02, 2015 by MARCHE Claude
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

src/jessie/tests/ptests_config src/jessie/tests/ptests_config +7 -0

No files found.
--- a/src/jessie/tests/ptests_config
+++ b/src/jessie/tests/ptests_config
+DEFAULT_SUITES= basic demo
+TOPLEVEL_PATH=/usr/local/bin/frama-c
+FRAMAC_SHARE=/usr/local/share/frama-c
+FRAMAC_PLUGIN=.
+FRAMAC_PLUGIN_GUI=./gui
+FRAMAC_LIB=/usr/local/lib/frama-c
+OCAMLRUNPARAM=