summaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-22 20:03:13 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-22 20:03:13 +0100
commit33765315bc7c41be459766ee461effc4b8b841c7 (patch)
treedb88a0edabf62b3031a4cde121933f67ce11e2a2 /README.md
parentmisc (diff)
parentsettings (diff)
downloadact4e-33765315bc7c41be459766ee461effc4b8b841c7.tar.gz
act4e-33765315bc7c41be459766ee461effc4b8b841c7.zip
merge
Diffstat (limited to 'README.md')
-rw-r--r--README.md32
1 files changed, 32 insertions, 0 deletions
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..5bb6b79
--- /dev/null
+++ b/README.md
@@ -0,0 +1,32 @@
+
+
+## Setup
+
+Install VS Code.
+
+Select File -> Open and select *the entire folder*.
+
+VS Code will propose to install "Dev Container". Click "install".
+
+VS Code will give you a message similar to:
+
+> Folder contains a Dev Container configuration file. Reopen folder to develop in a container.
+
+Select "Reopen in container".
+
+Now you should have the folder open while VS Code is in "container development mode".
+
+Create a new terminal using Terminal -> New Terminal.
+
+Run the following:
+
+ make check-TestSimpleIntro
+
+This will have created a file `out-results/result-TestSimpleIntro.html`.
+
+From the file tree to the left, right-click the file and select "open preview". You will see the results of the testing.
+
+Now browse the Python files in `src/`. Verify that autocompletion works..
+
+
+