fix dotnet call of vale

hacl-star · Jun 2, 2022 · 289c59b · 289c59b
1 parent c50ad76
commit 289c59b
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/runtimeconfig.json b/runtimeconfig.json
@@ -0,0 +1,8 @@
+{
+  "runtimeOptions": {
+    "framework": {
+      "name": "Microsoft.NETCore.App",
+      "version": "6.0.0"
+    }
+  }
+}
diff --git a/tools/get_vale.sh b/tools/get_vale.sh
@@ -38,6 +38,9 @@ if [ $vale_version != $old_vale_version ]; then
   rm -rf "vale/bin"
   mv "vale/vale-release-${vale_version}/bin" vale/
   chmod +x vale/bin/*.exe
+  pwd
+  cp $HACL_HOME/runtimeconfig.json vale/bin/vale.runtimeconfig.json
+  cp $HACL_HOME/runtimeconfig.json vale/bin/importFStarTypes.runtimeconfig.json
   echo
   echo -e "\033[0;31mRemember to do:\033[0;0m"
   echo "export VALE_HOME=$(realpath $HACL_HOME/..)/vale"