author | nipkow |
Tue, 07 Apr 2020 17:03:57 +0200 | |
changeset 71723 | 5bbd80875e02 |
parent 71338 | 373dcdd363dc |
child 73191 | 6823dddf9cf1 |
permissions | -rwxr-xr-x |
54313
da2e6282a4f5
native executable even for Linux, to avoid surprises with file managers opening executable script as text file;
wenzelm
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
da2e6282a4f5
native executable even for Linux, to avoid surprises with file managers opening executable script as text file;
wenzelm
parents:
diff
changeset
|
2 |
|
71338 | 3 |
gcc -static -m64 -Wall Isabelle.c -o Isabelle |