From 6dbca782928d80bb94dbbc8fb76acbd3737cf8a4 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 17 Feb 2016 15:04:22 +0100
Subject: [PATCH] Removed obsolete scripts previously used for testing

---
 src/plugins/e-acsl/gcc.sh         | 10 ----------
 src/plugins/e-acsl/gcc_bts.sh     |  3 ---
 src/plugins/e-acsl/gcc_runtime.sh |  3 ---
 src/plugins/e-acsl/gcc_test.sh    | 18 ------------------
 4 files changed, 34 deletions(-)
 delete mode 100755 src/plugins/e-acsl/gcc.sh
 delete mode 100755 src/plugins/e-acsl/gcc_bts.sh
 delete mode 100755 src/plugins/e-acsl/gcc_runtime.sh
 delete mode 100755 src/plugins/e-acsl/gcc_test.sh

diff --git a/src/plugins/e-acsl/gcc.sh b/src/plugins/e-acsl/gcc.sh
deleted file mode 100755
index 8184fbdd06a..00000000000
--- a/src/plugins/e-acsl/gcc.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-
-#export SHARE=`frama-c -print-share-path`
-export SHARE=./share
-
-echo compiling $1
-gcc -std=c99 -pedantic -Wall -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin -o $1.out $SHARE/e-acsl/e_acsl.c $SHARE/e-acsl/memory_model/e_acsl_bittree.c $SHARE/e-acsl/memory_model/e_acsl_mmodel.c $1 -lgmp
-
-echo executing $1
-time ./$1.out
diff --git a/src/plugins/e-acsl/gcc_bts.sh b/src/plugins/e-acsl/gcc_bts.sh
deleted file mode 100755
index 2cdb3e49a1e..00000000000
--- a/src/plugins/e-acsl/gcc_bts.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-./gcc_test.sh bts $@
diff --git a/src/plugins/e-acsl/gcc_runtime.sh b/src/plugins/e-acsl/gcc_runtime.sh
deleted file mode 100755
index b6794c4fd87..00000000000
--- a/src/plugins/e-acsl/gcc_runtime.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-./gcc_test.sh e-acsl-runtime $@
diff --git a/src/plugins/e-acsl/gcc_test.sh b/src/plugins/e-acsl/gcc_test.sh
deleted file mode 100755
index 9ab810fa875..00000000000
--- a/src/plugins/e-acsl/gcc_test.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-
-DIR=$1
-IN=$2
-if [ $# -gt 2 ]; then
-    shift
-    shift
-    BUILTIN=$1
-    ARGS=$@
-fi
-
-gcc -std=c99 -Wall -Wno-unused-function -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin $BUILTIN -o ./tests/$DIR/result/gen_$IN.out ./share/e-acsl/e_acsl.c ./share/e-acsl/memory_model/e_acsl_bittree.c ./share/e-acsl/memory_model/e_acsl_mmodel.c ./tests/$DIR/result/gen_$IN.c -lgmp && ./tests/$DIR/result/gen_$IN.out $ARGS
-
-# gcc -std=c99 -Wall -Wno-unused-function -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin $BUILTIN -o ./tests/$DIR/result/gen_$IN.out ./share/e-acsl/e_acsl.c ./share/e-acsl/memory_model/e_acsl_list.c ./share/e-acsl/memory_model/e_acsl_mmodel.c ./tests/$DIR/result/gen_$IN.c -lgmp && ./tests/$DIR/result/gen_$IN.out $ARGS
-
-# gcc -std=c99 -Wall -Wno-unused-function -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin $BUILTIN -o ./tests/$DIR/result/gen_$IN.out ./share/e-acsl/e_acsl.c ./share/e-acsl/memory_model/e_acsl_splaytree.c ./share/e-acsl/memory_model/e_acsl_mmodel.c ./tests/$DIR/result/gen_$IN.c -lgmp && ./tests/$DIR/result/gen_$IN.out $ARGS
-
-# gcc -std=c99 -Wall -Wno-unused-function -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin $BUILTIN -o ./tests/$DIR/result/gen_$IN.out ./share/e-acsl/e_acsl.c ./share/e-acsl/memory_model/e_acsl_tree.c ./share/e-acsl/memory_model/e_acsl_mmodel.c ./tests/$DIR/result/gen_$IN.c -lgmp && ./tests/$DIR/result/gen_$IN.out $ARGS
-- 
GitLab