Use dotnet run for now

Using the compiler directly worked, but it randomly broke.
We don't have the time to dig deeper, and `dotnet run` is not too bad.

Author: kazk

Dockerfile

@@ -27,13 +27,8 @@ RUN set -ex; \
     dotnet restore; \
 # Copy all the necessary files to bin/
     dotnet build --no-restore; \
-# Remove obj/ to get the verbose output to extract reference paths
-    rm -rf bin/Debug/net6.0/run.pdb obj; \
-# Append reference paths to `cnfig.rsp`
-    dotnet run --verbosity normal | grep '\-r:' >> config.rsp; \
 # Sanity check
-    fsc @config.rsp Preloaded.fs Solution.fs Tests.fs Program.fs; \
-    dotnet bin/Debug/net6.0/run.dll; \
+    dotnet run; \
 # Remove examples
     rm Preloaded.fs Solution.fs Tests.fs bin/Debug/net6.0/run.dll;
 

bin/run

@@ -8,8 +8,7 @@ fi
 W=/workspace
 
 # Create container
-# Note that Program.fs must come last
-C=$(docker container create --rm -w $W $IMAGE sh -c "fsc @config.rsp Preloaded.fs Solution.fs Tests.fs Program.fs && dotnet run bin/Debug/net6.0/run.dll")
+C=$(docker container create --rm -w $W $IMAGE dotnet run)
 
 # Copy files from the examples directory
 docker container cp examples/${1:-passing}/. $C:$W

workspace/config.rsp

@@ -6,6 +6,9 @@
   </PropertyGroup>
 
   <ItemGroup>
+    <Compile Include="Preloaded.fs" />
+    <Compile Include="Solution.fs" />
+    <Compile Include="Tests.fs" />
     <Compile Include="Program.fs" />
   </ItemGroup>