Admin/Linux/build
author wenzelm
Sat, 28 Nov 2020 16:25:29 +0100
changeset 72759 bd5ee3148132
parent 71338 373dcdd363dc
child 73191 6823dddf9cf1
permissions -rwxr-xr-x
more antiquotations (reverting 4df341249348);

#!/usr/bin/env bash

gcc -static -m64 -Wall Isabelle.c -o Isabelle