Skip to content
Snippets Groups Projects
Commit 21d1d6c2 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[analysis-scripts] remove deprecated .loop-related rules

parent 3d0cb0ad
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
share/analysis-scripts/frama-c.mk
+ 1
− 9
View file @ 21d1d6c2
...@@ -124,7 +124,7 @@ export LIBOVERLAY_SCROLLBAR=0 ...@@ -124,7 +124,7 @@ export LIBOVERLAY_SCROLLBAR=0
.PHONY: clean .PHONY: clean
clean:: clean::
$(RM) -r *.parse *.eva *.loop $(RM) -r *.parse *.eva
clean-backups: clean-backups:
find . -regextype posix-extended \ find . -regextype posix-extended \
...@@ -219,14 +219,6 @@ SHELL := /bin/bash ...@@ -219,14 +219,6 @@ SHELL := /bin/bash
%.gui: % %.gui: %
$(FRAMAC_GUI) $(FCGUIFLAGS) -load $^/framac.sav & $(FRAMAC_GUI) $(FCGUIFLAGS) -load $^/framac.sav &
# Run loop bound analysis plug-in and store result in *.loop
%.loop: %
@
{
$(FRAMAC) $(FCFLAGS) -load $^/framac.sav -loop -loop-no-branches |
sed -e '1,/Add this to your command line:/d'
} > $@
# Produce and open an SVG + HTML from raw flamegraph data produced by Eva # Produce and open an SVG + HTML from raw flamegraph data produced by Eva
%/flamegraph: %/flamegraph.html %/flamegraph: %/flamegraph.html
@ @
......
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