diff --git a/scripts/mpi2prv.jl b/scripts/mpi2prv.jl new file mode 100755 index 0000000..d42d2ed --- /dev/null +++ b/scripts/mpi2prv.jl @@ -0,0 +1,18 @@ +#!/usr/bin/env julia + +# Use this script like +# ./mpi2prv.jl +# +# Example: +# ./mpi2prv.jl set-0/*.mpit output.prv +# +# NOTE: you must run this in an environment where `Extrae_jll` is installed. If you want to +# run this in a specific environment, either set the environment variable `JULIA_PROJECT` +# (https://docs.julialang.org/en/v1/manual/environment-variables/#JULIA_PROJECT): +# JULIA_PROJECT= ./mpi2prv.jl +# or run the script with +# julia --project= mpi2prv.jl + +using Extrae_jll: mpi2prv + +run(`$(mpi2prv()) $(ARGS)`)