From 21d1d6c295e14e4e80554f09b8b1d0d6e94066f3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 10 Apr 2020 20:57:51 +0200
Subject: [PATCH] [analysis-scripts] remove deprecated .loop-related rules
---
share/analysis-scripts/frama-c.mk | 10 +---------
1 file changed, 1 insertion(+), 9 deletions(-)
diff --git a/share/analysis-scripts/frama-c.mk b/share/analysis-scripts/frama-c.mk
index bdd84071a7d..db18e0999fe 100644
--- a/share/analysis-scripts/frama-c.mk
+++ b/share/analysis-scripts/frama-c.mk
@@ -124,7 +124,7 @@ export LIBOVERLAY_SCROLLBAR=0
.PHONY: clean
clean::
- $(RM) -r *.parse *.eva *.loop
+ $(RM) -r *.parse *.eva
clean-backups:
find . -regextype posix-extended \
@@ -219,14 +219,6 @@ SHELL := /bin/bash
%.gui: %
$(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
%/flamegraph: %/flamegraph.html
@
--
GitLab