?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
add metas for unused-dependencies on sequences
[why3.git] / misc / deployed-wrapper.sh
blobe1594edaee7d5ca0e9d2d3f4ae0877dd4d2c41ec
1 #!/bin/dash
2
3 [ "$1" != "ide" -o "$WHY3IDE" != "web" ] && exec why3 "$@"
4
5 broadwayd &
6 sleep 1
7 export GDK_BACKEND=broadway
8 why3 "$@"
A platform for deductive program verification