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

[Nix] Setup WP+Why3 related variables in internal

parent b8d27920
......@@ -295,6 +295,14 @@ rec {
autoPatchelf src/plugins/pathcrawler
make -j 4
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"
'';
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