1 #!/usr/bin/env bash
2
3 gcc -static -m64 -Wall Isabelle.c -o Isabelle
3 gcc -m64 -Wall Isabelle.c -o Isabelle