X-Git-Url: https://bearssl.org/gitweb//home/git/?p=BearSSL;a=blobdiff_plain;f=mk%2FmkT0.sh;fp=mk%2FmkT0.sh;h=61de5c6e63c506672723f069d8576ddeeb8938ec;hp=0000000000000000000000000000000000000000;hb=3f00688b9d9f483a6ca97e659eea104995ea15b7;hpb=2f454aad577ae53798935cc32438a2d3f02ba31f

diff --git a/mk/mkT0.sh b/mk/mkT0.sh
new file mode 100755
index 0000000..61de5c6
--- /dev/null
+++ b/mk/mkT0.sh
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+CSC=$(which mono-csc || which dmcs || echo "none")
+
+if [ $CSC = "none" ]; then
+	echo "Error: Please install mono-devel."
+	exit 1
+fi
+
+set -e
+$CSC /out:T0Comp.exe /main:T0Comp /res:T0/kern.t0,t0-kernel T0/*.cs