From 24f9d2947bc350648bacd50cada37f56c32bce03 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 10 Apr 2020 21:39:00 +0200
Subject: [PATCH] [analysis-scripts] remove obsolete slevel tweaker
---
share/analysis-scripts/analysis.mk | 2 -
share/analysis-scripts/slevel-tweaker.sh | 118 -----------------------
2 files changed, 120 deletions(-)
delete mode 100755 share/analysis-scripts/slevel-tweaker.sh
diff --git a/share/analysis-scripts/analysis.mk b/share/analysis-scripts/analysis.mk
index 8a4d48e462d..e732240db26 100644
--- a/share/analysis-scripts/analysis.mk
+++ b/share/analysis-scripts/analysis.mk
@@ -119,7 +119,6 @@ EVAFLAGS ?= \
-no-deps-print -no-calldeps-print \
-eva-warn-key garbled-mix \
-memexec-all -calldeps -permissive -from-verbose 0 \
- $(SLEVEL) \
$(if $(EVABUILTINS), -eva-builtin=$(call fc_list,$(EVABUILTINS)),) \
$(if $(EVAUSESPECS), -eva-use-spec $(call fc_list,$(EVAUSESPECS)),)
FCFLAGS ?=
@@ -181,7 +180,6 @@ SHELL := /bin/bash
mv $@/{running,command}
touch $@ # Update timestamp and prevents remake if nothing changes
-%.slevel.eva: SLEVEL = -slevel $(word 2,$(subst ., ,$*))
%.eva: EVA = $(FRAMAC) $(FCFLAGS) -eva $(EVAFLAGS)
%.eva: PARSE_RESULT = $(word 1,$(subst ., ,$*)).parse
%.eva: $$(PARSE_RESULT) $$(shell $(DIR)cmd-dep.sh $$@/command $$(EVA)) $(if $(BENCHMARK),.FORCE,)
diff --git a/share/analysis-scripts/slevel-tweaker.sh b/share/analysis-scripts/slevel-tweaker.sh
deleted file mode 100755
index f67979a1ebe..00000000000
--- a/share/analysis-scripts/slevel-tweaker.sh
+++ /dev/null
@@ -1,118 +0,0 @@
-#!/bin/bash -u
-
-declare -A alarms
-declare -A utimes
-
-
-function print_results()
-{
- local s
- local t
-
- if [ -z "$quiet" ]
- then
- echo -e '\e\0143'
- printf "%24s" 'file / slevel'
- for s in $slevels
- do
- printf "%8s" $s
- done
- printf "\n"
- for t in $targets
- do
- printf "\n"
- printf "%18s%6s" $t '#alrm'
- for s in $slevels
- do
- printf "%8s" ${alarms["$t,$s"]-}
- done
- printf "\n"
- printf "%18s%6s" '' 'time'
- for s in $slevels
- do
- printf "%8s" ${utimes["$t,$s"]-}
- done
- printf "\n"
- done
- printf "\n"
- fi
-}
-
-function poll_results()
-{
- for s in $slevels
- do
- for t in $targets
- do
- base=$t.$s.slevel.eva
- if [ -f $base/stats.txt ]
- then
- read alarms["$t,$s"] utimes["$t,$s"] <<< $(
- source $base/stats.txt
- echo ${alarms:-x} ${user_time:- }
- )
- fi
- done
- done
-}
-
-
-# Parse command Line
-
-slevels="0 10 20 50 100 200 500 1000 2000 5000 10000 20000 50000"
-run="make --jobs 9"
-targets=""
-quiet=""
-
-while [[ $# > 0 ]]
-do
- case $1 in
- -f|--file|--makefile)
- run="$run $1 $2"
- shift
- ;;
-
- -B|--always-make)
- run="$run $1"
- ;;
-
- -q|--quiet)
- quiet="yes"
- ;;
-
- *)
- targets="$targets $1"
- ;;
- esac
- shift
-done
-
-
-# List make targets
-
-for s in $slevels
-do
- for t in $targets
- do
- run="$run $t.$s.slevel.eva"
- done
-done
-
-
-# Run and display
-
-{
- $run > /dev/null &
- pid=$!
-
- print_results
-
- while ps -p $pid >/dev/null
- do
- sleep 1
- poll_results
- print_results
- done
-} 2> slevel-tweaker.log
-
-cat slevel-tweaker.log >&2
--
GitLab