Add dotnet recipe for Ubuntu 18.04

diff --git a/deps/dotnet/Makefile b/deps/dotnet/Makefile
new file mode 100644 (file)
index 0000000..25c5f28
--- /dev/null
+++ b/deps/dotnet/Makefile
@@ -0,0 +1 @@
+# TODO: Platform-specific script selector for current platform

diff --git a/deps/dotnet/install_on_ubuntu.sh b/deps/dotnet/install_on_ubuntu.sh
new file mode 100755 (executable)
index 0000000..eeadd9f
--- /dev/null
+++ b/deps/dotnet/install_on_ubuntu.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+set -e
+
+PKG='packages-microsoft-prod.deb'
+
+mkdir -p data
+wget https://packages.microsoft.com/config/ubuntu/18.04/"$PKG" -O data/"$PKG"
+sudo apt install ./data/"$PKG"
+sudo apt update
+sudo apt install apt-transport-https
+sudo apt update
+sudo apt install dotnet-sdk-3.1