Admin/Linux/build
changeset 71338 373dcdd363dc
parent 54313 da2e6282a4f5
child 73191 6823dddf9cf1
equal deleted inserted replaced
71337:e20c47795846 71338:373dcdd363dc
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 
     2 
     3 cc -static -m32 Isabelle.c -o Isabelle
     3 gcc -static -m64 -Wall Isabelle.c -o Isabelle
     4