Skip to content
Snippets Groups Projects
Commit b0a2e601 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by Andre Maroneze
Browse files

[Analysis scripts] update build procedure in clone.sh

parent a5079999
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
share/analysis-scripts/clone.sh
+ 2
− 4
View file @ b0a2e601
...@@ -94,10 +94,8 @@ if [ ! -e "$target_path/build/bin/frama-c" ] ...@@ -94,10 +94,8 @@ if [ ! -e "$target_path/build/bin/frama-c" ]
then then
( (
cd "$target_path"; cd "$target_path";
autoconf -f --warnings=none; make -j --quiet > /dev/null;
./configure --quiet --prefix=$(pwd)/build > /dev/null; make install PREFIX=$(pwd)/build > /dev/null;
make -j > /dev/null;
make install > /dev/null;
) )
fi fi
......
share/analysis-scripts/summary.py
+ 0
− 1
View file @ b0a2e601
...@@ -126,7 +126,6 @@ def smart_rename(target): ...@@ -126,7 +126,6 @@ def smart_rename(target):
target = re.sub("main\.eva$", "", target) target = re.sub("main\.eva$", "", target)
target = re.sub("\.eva$", "", target) target = re.sub("\.eva$", "", target)
target = re.sub("\.frama-c/", "", target) target = re.sub("\.frama-c/", "", target)
target = re.sub("qds/frama-c", "qds", target)
return target return target
......
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