use env in shebangs to support non-stanard python interpret locations

Fixes: #232

Author: MichalHe

lib/symbioticpy/symbiotic/environment.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 from os import environ, getcwd
 from os.path import isfile, isdir

lib/symbioticpy/symbiotic/exceptions.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 class SymbioticException(Exception):
     def __init__(self, msg):

lib/symbioticpy/symbiotic/optimizations.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 
 optimizations = {

lib/symbioticpy/symbiotic/options.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 import os, sys
 from . utils import err, dbg, enable_debug

lib/symbioticpy/symbiotic/property.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 from . exceptions import SymbioticException
 from os.path import abspath, join

lib/symbioticpy/symbiotic/runtime.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 import os
 

lib/symbioticpy/symbiotic/symbiotic.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 import os
 import sys

lib/symbioticpy/symbiotic/testsuits/metadata.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 from os.path import basename
 from sys import version_info

lib/symbioticpy/symbiotic/testsuits/testcases.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 from os.path import basename
 from sys import version_info

lib/symbioticpy/symbiotic/transform.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 import os
 import sys

lib/symbioticpy/symbiotic/utils/process.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 from subprocess import Popen, PIPE, STDOUT
 from . utils import dbg, print_stderr

lib/symbioticpy/symbiotic/utils/timeout.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 import signal
 

lib/symbioticpy/symbiotic/utils/utils.py

@@ -1,4 +1,4 @@
-#/usr/bin/python
+#/usr/bin/env python3
 
 import sys
 import os

lib/symbioticpy/symbiotic/utils/watch.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 from . utils import dbg
 

lib/symbioticpy/symbiotic/verifier.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 import sys
 

lib/symbioticpy/symbiotic/witnesses/witnesses.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 
 from os.path import basename
 from hashlib import sha256 as hashfunc

scripts/gen-version.sh

@@ -45,7 +45,7 @@ if [ "$BUILD_KLEE" = "yes" ]; then
 fi
 
 VERSFILE="$SRCDIR/lib/symbioticpy/symbiotic/versions.py"
-echo "#!/usr/bin/python" > $VERSFILE
+echo "#!/usr/bin/env python3" > $VERSFILE
 echo "# This file is automatically generated by symbiotic-build.sh" >> $VERSFILE
 echo "" >> $VERSFILE
 echo "versions = {" >> $VERSFILE

scripts/kleetester.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
 from subprocess import Popen, PIPE, STDOUT
 from time import sleep
 from sys import stderr