Commit eade128e authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'fix/nix/setup-why3-and-fix-caveat' into 'master'

[Nix] Setup WP+Why3 related variables in internal

See merge request frama-c/frama-c!2892
parents 750d13a7 aab723b0
...@@ -295,6 +295,14 @@ rec { ...@@ -295,6 +295,14 @@ rec {
autoPatchelf src/plugins/pathcrawler autoPatchelf src/plugins/pathcrawler
make -j 4 make -j 4
ln -sr src/plugins/pathcrawler/share share/pc ln -sr src/plugins/pathcrawler/share share/pc
# Setup Why3
mkdir home
HOME=$(pwd)/home
why3 config --detect
# Setup WP related
export CAVEAT_IMPORTER_NIX_MODE=yes
export FRAMAC_WP_CACHE=replay
export FRAMAC_WP_CACHEDIR=${plugins.wp-cache.src}
make tests -j4 PTESTS_OPTS="-error-code -j 4" make tests -j4 PTESTS_OPTS="-error-code -j 4"
''; '';
installPhase = '' installPhase = ''
......
Supports Markdown
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