summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-22 13:54:04 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-22 13:54:04 +0100
commite2dd6011ad2abcec220220f14efdb451c986aea3 (patch)
treee59ddb64dec6f3f6b8a5a3d4c61a224b79324029
parentfix (diff)
downloadact4e-e2dd6011ad2abcec220220f14efdb451c986aea3.tar.gz
act4e-e2dd6011ad2abcec220220f14efdb451c986aea3.zip
fix
-rw-r--r--.devcontainer/devcontainer.json3
-rw-r--r--Makefile8
-rw-r--r--README.md30
3 files changed, 36 insertions, 5 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 6970d3c..626e731 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -9,7 +9,7 @@
// Update 'VARIANT' to pick a Python version: 3, 3.10, 3.9, 3.8, 3.7, 3.6
// Append -bullseye or -buster to pin to an OS version.
// Use -bullseye variants on local on arm64/Apple Silicon.
- "VARIANT": "3.10",
+ "VARIANT": "3.10-bullseye",
// Options
"NODE_VERSION": "none"
}
@@ -34,6 +34,7 @@
// Add the IDs of extensions you want installed when the container is created.
"extensions": [
"ms-python.python",
+ "tht13.html-preview-vscode",
// "ms-python.vscode-pylance"
],
diff --git a/Makefile b/Makefile
index 0aca7d6..3090a59 100644
--- a/Makefile
+++ b/Makefile
@@ -5,17 +5,17 @@ tag=mytag
build:
docker build --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) .
-check: build
+docker-check: build
docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
act4e-test --collections act4e_checks --module act4e_solutions
-check-%: build
+docker-check-%: build
docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
act4e-test --collections act4e_checks --module act4e_solutions --group $*
-local-check:
+check:
act4e-test --collections act4e_checks --module act4e_solutions
-local-check-%:
+check-%:
act4e-test --collections act4e_checks --module act4e_solutions --group $* \ No newline at end of file
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..bf98d63
--- /dev/null
+++ b/README.md
@@ -0,0 +1,30 @@
+
+
+## Setup
+
+Install VS Code.
+
+Select File -> Open and select *the entire folder*.
+
+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..
+
+
+