Admin/Linux/build
author wenzelm
Mon Dec 23 15:24:14 2019 +0100 (9 months ago ago)
changeset 71547 373dcdd363dc
parent 54313 da2e6282a4f5
permissions -rwxr-xr-x
updated linux_app-20191223: x86_64-linux;
clarified location of lib/scripts/Isabelle.run;
     1 #!/usr/bin/env bash
     2 
     3 gcc -static -m64 -Wall Isabelle.c -o Isabelle