| author | Lars Hupel <lars.hupel@mytum.de> |
| Sat, 11 Jun 2016 17:40:52 +0200 | |
| changeset 63289 | 26134a00d060 |
| parent 54313 | da2e6282a4f5 |
| child 71338 | 373dcdd363dc |
| 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 |
|
|
da2e6282a4f5
native executable even for Linux, to avoid surprises with file managers opening executable script as text file;
wenzelm
parents:
diff
changeset
|
3 |
cc -static -m32 Isabelle.c -o Isabelle |
|
da2e6282a4f5
native executable even for Linux, to avoid surprises with file managers opening executable script as text file;
wenzelm
parents:
diff
changeset
|
4 |