_ Git - BearSSL/blob - mk/mkT0.sh

   1 #! /bin/sh
   2
   3 CSC=$(which mono-csc || which dmcs || echo "none")
   4
   5 if [ $CSC = "none" ]; then
   6         echo "Error: Please install mono-devel."
   7         exit 1
   8 fi
   9
  10 set -e
  11 $CSC /out:T0Comp.exe /main:T0Comp /res:T0/kern.t0,t0-kernel T0/*.cs