7 lines
148 B
Bash
Executable file
7 lines
148 B
Bash
Executable file
#!/bin/sh
|
|
|
|
opam init --compiler 4.14.1 --disable-sandboxing --shell-setup
|
|
eval $(opam env)
|
|
opam install frama-c z3 -y
|
|
why3 config detect
|
|
opam clean
|