Admin/Linux/build
author wenzelm
Thu, 21 Jan 2021 18:18:19 +0100
changeset 73142 0398f18ec76c
parent 71338 373dcdd363dc
permissions -rwxr-xr-x
proper hostname;

#!/usr/bin/env bash

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