Explicitly use mono to run Dafny

zaoqi-unsafe · Oct 16, 2016 · 91e04e5 · 91e04e5
1 parent efacfc9
commit 91e04e5
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -388,7 +388,7 @@ QR.dc: QR.dfy
 	@echo "#######################"
 	@echo
 	dafny QR.dfy
-	./QR.exe > QR.dc
+	mono QR.exe > QR.dc
 
 QR.ec: QR.dc
 	@echo

diff --git a/README.md b/README.md
@@ -88,7 +88,7 @@ Then, build the bundled interpreters.
     $ coffee QR.coffee > QR.lisp
     $ clisp QR.lisp > QR.d
     $ gdc -o QR QR.d && ./QR > QR.dfy
-    $ dafny QR.dfy && ./QR.exe > QR.dc
+    $ dafny QR.dfy && mono QR.exe > QR.dc
     $ dc QR.dc > QR.ec
     $ ecp -c QR.ec -o QR.sym && ecc -c QR.ec -o QR.c && ecs -console QR.sym QR.imp -o QR.main.ec &&
       ecp -c QR.main.ec -o QR.main.sym && ecc -c QR.main.ec -o QR.main.c &&

diff --git a/src/code-gen.rb b/src/code-gen.rb
@@ -712,7 +712,7 @@ class Dc < CodeGen
 
 class Dafny < CodeGen
   File = "QR.dfy"
-  Cmd = "dafny QR.dfy && ./QR.exe > OUTFILE"
+  Cmd = "dafny QR.dfy && mono QR.exe > OUTFILE"
   Apt = "dafny"
   Code = %q("method Main(){print#{E[PREV]};}")
 end