summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-22 13:38:05 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-22 13:38:05 +0100
commit3f79a6e32d329531e99b05da5f83b4227f75fd2d (patch)
tree841423bf15a346adcfd58abfe4ef1cec12d2cc16
parentfix (diff)
downloadact4e-3f79a6e32d329531e99b05da5f83b4227f75fd2d.tar.gz
act4e-3f79a6e32d329531e99b05da5f83b4227f75fd2d.zip
fix
Diffstat (limited to '')
-rw-r--r--.devcontainer/Dockerfile21
-rw-r--r--.devcontainer/devcontainer.json52
-rw-r--r--Makefile6
-rw-r--r--requirements.txt1
4 files changed, 79 insertions, 1 deletions
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
new file mode 100644
index 0000000..86dee1b
--- /dev/null
+++ b/.devcontainer/Dockerfile
@@ -0,0 +1,21 @@
+# See here for image contents: https://github.com/microsoft/vscode-dev-containers/tree/v0.209.6/containers/python-3/.devcontainer/base.Dockerfile
+
+# [Choice] Python version (use -bullseye variants on local arm64/Apple Silicon): 3, 3.10, 3.9, 3.8, 3.7, 3.6, 3-bullseye, 3.10-bullseye, 3.9-bullseye, 3.8-bullseye, 3.7-bullseye, 3.6-bullseye, 3-buster, 3.10-buster, 3.9-buster, 3.8-buster, 3.7-buster, 3.6-buster
+ARG VARIANT="3.10-bullseye"
+FROM mcr.microsoft.com/vscode/devcontainers/python:0-${VARIANT}
+
+# [Choice] Node.js version: none, lts/*, 16, 14, 12, 10
+ARG NODE_VERSION="none"
+RUN if [ "${NODE_VERSION}" != "none" ]; then su vscode -c "umask 0002 && . /usr/local/share/nvm/nvm.sh && nvm install ${NODE_VERSION} 2>&1"; fi
+
+# [Optional] If your pip requirements rarely change, uncomment this section to add them to the image.
+COPY requirements.txt /tmp/pip-tmp/
+RUN pip3 --disable-pip-version-check --no-cache-dir install -r /tmp/pip-tmp/requirements.txt \
+ && rm -rf /tmp/pip-tmp
+
+# [Optional] Uncomment this section to install additional OS packages.
+# RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
+# && apt-get -y install --no-install-recommends <your-package-list-here>
+
+# [Optional] Uncomment this line to install global node packages.
+# RUN su vscode -c "source /usr/local/share/nvm/nvm.sh && npm install -g <your-package-here>" 2>&1 \ No newline at end of file
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..6970d3c
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,52 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the README at:
+// https://github.com/microsoft/vscode-dev-containers/tree/v0.209.6/containers/python-3
+{
+ "name": "Python 3",
+ "build": {
+ "dockerfile": "Dockerfile",
+ "context": "..",
+ "args": {
+ // 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",
+ // Options
+ "NODE_VERSION": "none"
+ }
+ },
+
+ // Set *default* container specific settings.json values on container create.
+ "settings": {
+ "python.defaultInterpreterPath": "/usr/local/bin/python",
+ "python.linting.enabled": false,
+ "python.linting.pylintEnabled": false,
+ "python.formatting.autopep8Path": "/usr/local/py-utils/bin/autopep8",
+ "python.formatting.blackPath": "/usr/local/py-utils/bin/black",
+ "python.formatting.yapfPath": "/usr/local/py-utils/bin/yapf",
+ "python.linting.banditPath": "/usr/local/py-utils/bin/bandit",
+ "python.linting.flake8Path": "/usr/local/py-utils/bin/flake8",
+ "python.linting.mypyPath": "/usr/local/py-utils/bin/mypy",
+ "python.linting.pycodestylePath": "/usr/local/py-utils/bin/pycodestyle",
+ "python.linting.pydocstylePath": "/usr/local/py-utils/bin/pydocstyle",
+ "python.linting.pylintPath": "/usr/local/py-utils/bin/pylint"
+ },
+
+ // Add the IDs of extensions you want installed when the container is created.
+ "extensions": [
+ "ms-python.python",
+ // "ms-python.vscode-pylance"
+ ],
+
+ // Use 'forwardPorts' to make a list of ports inside the container available locally.
+ // "forwardPorts": [],
+
+ // Use 'postCreateCommand' to run commands after the container is created.
+ // "postCreateCommand": "pip3 install --user -r requirements.txt",
+
+ // Comment out connect as root instead. More info: https://aka.ms/vscode-remote/containers/non-root.
+ "remoteUser": "vscode",
+ "features": {
+ "git": "os-provided",
+ "git-lfs": "latest"
+ }
+}
diff --git a/Makefile b/Makefile
index 5177571..0aca7d6 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,6 @@ tag=mytag
build:
docker build --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) .
-
check: build
docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
act4e-test --collections act4e_checks --module act4e_solutions
@@ -15,3 +14,8 @@ 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:
+ act4e-test --collections act4e_checks --module act4e_solutions
+
+local-check-%:
+ act4e-test --collections act4e_checks --module act4e_solutions --group $* \ No newline at end of file
diff --git a/requirements.txt b/requirements.txt
index e69de29..87bfd82 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -0,0 +1 @@
+ACT4E-exercises \ No newline at end of file