From a9c71d5b8ba789362a04acd662cad2bff76565c2 Mon Sep 17 00:00:00 2001 From: Chuyue Sun Date: Thu, 22 Feb 2024 14:38:53 -0800 Subject: [PATCH 1/3] fix INSTALL.md --- INSTALL.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL.md b/INSTALL.md index 42883955..02f768a3 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -63,7 +63,7 @@ Note that the mono package includes F\#. Once these tools are installed, running SCons in the top-level directory will build the Vale tool: -```python.exe scons.py``` +```./build_local.sh``` To verify all Dafny sources in the [src](./src) directory, run: From 819e61f1a405a343bea8cb5e21b9f3498bfc2061 Mon Sep 17 00:00:00 2001 From: Chuyue Sun Date: Thu, 22 Feb 2024 14:41:09 -0800 Subject: [PATCH 2/3] fix --- run_scons.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run_scons.sh b/run_scons.sh index 6fc97dff..7c077ff9 100755 --- a/run_scons.sh +++ b/run_scons.sh @@ -5,7 +5,7 @@ set -e -SCONS_PYTHON_MAJOR_MINOR=3.6 +SCONS_PYTHON_MAJOR_MINOR=3.9 # Windows-only: print out the directory of the Python associated to SCons windows_scons_python_dir () { From 40ab02a403ae7b162e254f66a86fd03ab32fee85 Mon Sep 17 00:00:00 2001 From: Chuyue Sun Date: Thu, 22 Feb 2024 14:45:24 -0800 Subject: [PATCH 3/3] fix --- INSTALL.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index 02f768a3..50620e93 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -63,15 +63,15 @@ Note that the mono package includes F\#. Once these tools are installed, running SCons in the top-level directory will build the Vale tool: -```./build_local.sh``` +```./run_scons.sh``` To verify all Dafny sources in the [src](./src) directory, run: -```python.exe scons.py --DAFNY``` +```./run_scons.sh --DAFNY``` To verify all F* sources in the [src](./src) directory (this requires an installation of [F*](https://github.com/FStarLang/FStar)), run: -```python.exe scons.py --FSTAR``` +```./run_scons.sh --FSTAR``` NOTE: You can override tools/Kremlin by setting the KREMLIN_HOME environment variable to point to the directory where KreMLin is