txlyre 1 year ago
parent
commit
ab3cdd1870
3 changed files with 13 additions and 1 deletions
  1. 1 1
      langs/ada/run.sh
  2. 7 0
      langs/fsharp/Dockerfile
  3. 5 0
      langs/fsharp/run.sh

+ 1 - 1
langs/ada/run.sh

@@ -3,7 +3,7 @@ OUT="$(mktemp)"
 
 cat > "$IN"
 
-gnatmake -gnatwA "$IN" -o "$OUT"
+gnatmake "$IN" -o "$OUT" -gnatwA
 
 if [ -f $OUT ]; then
   exec "$OUT"

+ 7 - 0
langs/fsharp/Dockerfile

@@ -0,0 +1,7 @@
+RUN apt-get install wget -y
+RUN wget -c https://packages.microsoft.com/config/debian/12/packages-microsoft-prod.deb -O packages-microsoft-prod.deb
+RUN yes | dpkg -i packages-microsoft-prod.deb
+RUN rm packages-microsoft-prod.deb
+RUN apt-get update
+RUN apt-get install dotnet-sdk-8.0 dotnet-runtime-8.0 -y
+ENV DOTNET_NOLOGO=true

+ 5 - 0
langs/fsharp/run.sh

@@ -0,0 +1,5 @@
+IN="$(mktemp --suffix .fsx)"
+
+cat > "$IN"
+
+dotnet fsi "$IN"