Replace /bin/bash by /usr/bin/env bash

Signed-off-by: Nicky Mouha <nmouha@users.noreply.github.com>

Author: nmouha

META.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 
 # Helper script to query META.yml

Makefile

@@ -19,7 +19,7 @@
 	run_size_512 run_size_768 run_size_1024 run_size \
 	host_info
 
-SHELL := /bin/bash
+SHELL := /usr/bin/env bash
 .DEFAULT_GOAL := build
 
 all: build

proofs/cbmc/Makefile.common

@@ -88,7 +88,7 @@ CBMC_STARTER_KIT_VERSION = CBMC starter kit 2.11
 # results that are hard to explain.  Dependency handling in this
 # Makefile.common may not be perfect.
 
-SHELL=/bin/bash
+SHELL=/usr/bin/env bash
 
 default: report
 

proofs/cbmc/lib/z3_bv_sort

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Copyright (c) The mlkem-native project authors
 # SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 z3 rewriter.bv_sort_ac=true "$@"

proofs/cbmc/lib/z3_smt_only

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Copyright (c) The mlkem-native project authors
 # SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 z3 tactic.default_tactic=smt "$@"

proofs/cbmc/proof_guide.md

@@ -365,14 +365,14 @@ e.g. to improve proof performance, you can create a small wrapper script and pas
 An example of such a script is [lib/z3_smt_only](lib/z3_smt_only) which looks like this:
 
 ```
-#!/bin/bash
+#!/usr/bin/env bash
 z3 tactic.default_tactic=smt "$@"
 ```
 
 There is also a script [lib/z3_bv_sort](lib/z3_bv_sort) which looks like this:
 
 ```
-#!/bin/bash
+#!/usr/bin/env bash
 z3 rewriter.bv_sort_ac "$@"
 ```