Remove klee-gcc

1 files changed, 0 insertions, 44 deletions

diff --git a/scripts/klee-gcc b/scripts/klee-gcc
deleted file mode 100755
index 2add2248..00000000
--- a/scripts/klee-gcc
+++ /dev/null
@@ -1,44 +0,0 @@
-#!/usr/bin/env python
-
-# ===-- klee-gcc ----- ----------------------------------------------------===##
-# 
-#                      The KLEE Symbolic Virtual Machine
-# 
-#  This file is distributed under the University of Illinois Open Source
-#  License. See LICENSE.TXT for details.
-# 
-# ===----------------------------------------------------------------------===##
-
-import os, sys
-
-def isLinkCommand():
-    # Look for '-Wl,' as a signal that we are calling the linker. What a hack.
-    for arg in sys.argv:
-        if arg.startswith('-Wl,'):
-            return True
-
-def main():
-    if not isLinkCommand():
-        os.execvp("llvm-gcc", ["llvm-gcc", "-emit-llvm"] + sys.argv[1:])
-        return 1
-
-    # Otherwise, strip out arguments that llvm-ld doesn't understand. I don't
-    # want my previous explicit declaration of hackyness to imply that this bit
-    # of code here is not also a complete and total hack, it is.
-    args = sys.argv[1:]
-    linkArgs = []
-    for a in args:
-        if a in ('-g', '-W', '-O', '-D', '-f',
-                 '-fnested-functions', '-pthread'):
-            continue
-        elif a.startswith('-Wl,'):
-            continue
-
-        linkArgs.append(a)
-    
-    os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)
-    return 1
-
-if __name__ == '__main__':
-    main()
-