Use /usr/bin/env in shebang lines

This improves portability as not all systems have bash, perl, or python
in /usr/bin (FreeBSD is one such example).

Author: tautschnig

.githooks/pre-commit

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Runs scripts/cpplint.py on the modified files
 # Based on https://github.com/s0enke/git-hooks/
 #

.github/workflows/pull-request-check-clang-format.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Stop on errors
 set -e

.github/workflows/pull-request-check-cpplint.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Stop on errors
 set -e

doc/doxygen-root/doxygen-markdown/markdown.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -euo pipefail
 

doc/slides/cbmc-latex-beamer/do_figures

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 FIG="cbmc-flow.fig frontend.fig"
 

integration/linux/compile_linux.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Fail on errors
 # set -e # not for now

jbmc/regression/jbmc-json-ui/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 JBMC_PATH=$1
 shift

jbmc/regression/jbmc/deterministic_assignments_json/generate-json.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 mvn package
 java -cp target/jsonGenerator-1.0-SNAPSHOT-jar-with-dependencies.jar:. org.cprover.JsonGenerator

jbmc/regression/strings-smoke-tests/performance.py

@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 '''
 This script collects the running times of the tests present in the current

regression/acceleration/accelerate.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 cleanup()
 {

regression/contracts-dfcc/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/contracts/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/extract_type_header/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-analyzer-simplify/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-harness-multi-file-project/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -x
 set -e

regression/goto-harness/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-inspect/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-instrument-chc/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-instrument-json/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-instrument-typedef/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-instrument-wmm-core/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-instrument/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/goto-synthesizer/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/k-induction/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/linking-goto-binaries/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/memory-analyzer/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/snapshot-harness/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/solver-hardness/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 cbmc=$1
 

regression/symtab2gb-cbmc/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/symtab2gb/chain.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/test-script/program_runner.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

regression/test.pl

@@ -1,4 +1,4 @@
-#!/usr/bin/perl
+#!/usr/bin/env perl
 
 use subs;
 use strict;

scripts/bash-autocomplete/cbmc.sh.template

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 _cbmc_autocomplete()
 {
   #list of all switches cbmc has. IMPORTANT: in the template file, this variable must be defined on line 5.

scripts/bash-autocomplete/extract_switches.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

scripts/benchmark/process_wrapper.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 _term() {
   # Remove the handler first

scripts/build_doxygen.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -euo pipefail
 

scripts/check_help.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

scripts/csmith.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # This script runs CSmith to generate N examples, and for each of them:
 # 1. Compiles the code with the system compiler.

scripts/format_classpath.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 unameOut="$(uname -s)"
 case "${unameOut}" in

scripts/make-rpm

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 svn export http://svn.cprover.org/svn/cbmc
 mv cbmc cbmc-3.9

scripts/run_diff.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

scripts/run_doxygen.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 echo "Running doxygen version $(doxygen --version)"
 

scripts/run_lint.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 script_folder=`dirname $0`
 

scripts/run_test_upload_cov_report.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -eou pipefail
 FLAG=$1

scripts/string_table_check.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 whitelist=" \
 "

src/ansi-c/compiler_headers/get-gcc-builtins.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

src/cbmc/dist-linux

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 umask u=rwx,g=rx,o=rx
 
 make

src/cbmc/dist-macos

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 umask u=rwx,g=rx,o=rx
 
 # http://s.sudre.free.fr/Stuff/PackageMaker_Howto.html

src/cbmc/dist-src

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 umask u=rwx,g=rx,o=rx
 
 VERSION=`./cbmc --version`

src/cbmc/dist-win

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 make
 strip cbmc.exe

src/goto-cc/dist-linux

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 make
 strip goto-cc
 

src/goto-cc/dist-win

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 make
 strip goto-cc.exe

src/goto-diff/scripts/diff-filter.pl

@@ -1,4 +1,4 @@
-#!/usr/bin/perl -w
+#!/usr/bin/env perl -w
 
 use strict;