mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
7707e9ec9e
Why3 now looks for a %l/{coq,pvs}/version file to check which version of a
prover was used to compile realizations. In particular, there is no longer
any Config.compile_time_support variable set once and for all.
10 lines
152 B
Bash
Executable File
10 lines
152 B
Bash
Executable File
#!/bin/sh
|
|
|
|
if test -z "$PVS_LIBRARY_PATH"; then
|
|
export PVS_LIBRARY_PATH=$1
|
|
else
|
|
export PVS_LIBRARY_PATH=$1:$PVS_LIBRARY_PATH
|
|
fi
|
|
shift
|
|
exec "$@"
|