From 24f6b3f2c3faeea3405839e015e11dbbadd1a5f9 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 2 May 2010 19:07:56 +0000 Subject: Sketch support for running KLEE tests using 'lit'. - Not working yet. Also, ditch a bunch of unused substitution variables from the site.exp config file. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102872 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/lib/llvm.exp | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) (limited to 'test/lib') diff --git a/test/lib/llvm.exp b/test/lib/llvm.exp index 158cc54c..ce52c4b5 100644 --- a/test/lib/llvm.exp +++ b/test/lib/llvm.exp @@ -42,29 +42,17 @@ proc execOneLine { test PRS outcome lineno line } { # This procedure performs variable substitutions on the RUN: lines of a test # cases. proc substitute { line test tmpFile } { - global srcroot objroot srcdir objdir subdir target_triplet prcontext + global srcroot objroot srcdir objdir subdir target_triplet global llvmgcc llvmgxx llvmgcc_version - global gccpath gxxpath compile_c compile_cxx link llvmlibsdir - global llvmtoolsdir set path [file join $srcdir $subdir] # Substitute all Tcl variables. set new_line [subst $line ] - #replace %prcontext with prcontext.tcl (Must replace before %p) - regsub -all {%prcontext} $new_line $prcontext new_line #replace %llvmgcc with actual path to llvmgcc regsub -all {%llvmgcc} $new_line "$llvmgcc -emit-llvm" new_line #replace %llvmgxx with actual path to llvmg++ regsub -all {%llvmgxx} $new_line "$llvmgxx -emit-llvm" new_line - #replace %compile_c with C compilation command - regsub -all {%compile_c} $new_line "$compile_c" new_line - #replace %compile_cxx with C++ compilation command - regsub -all {%compile_cxx} $new_line "$compile_cxx" new_line - #replace %link with C++ link command - regsub -all {%link} $new_line "$link" new_line - #replace %llvmlibsdir with configure library directory - regsub -all {%llvmlibsdir} $new_line "$llvmlibsdir" new_line #replace %klee with klee binary regsub -all {%klee} $new_line "klee" new_line #replace %kleaver with kleaver binary -- cgit 1.4.1