Add devcontainer. Rename base module. Cleanup gitignore, out folder, …

…and misc.xml (#27)
AAU-Dat · Sep 28, 2024 · e98aa1a · e98aa1a
1 parent 6a4dc10
commit e98aa1a
Show file tree

Hide file tree

Showing 7 changed files with 32 additions and 34 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -0,0 +1,5 @@
+FROM movesrwth/stormpy:stable
+
+RUN apt update && apt upgrade -y
+RUN apt install texlive-full -y
+
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,23 @@
+{
+  "name": "Stormpy",
+//  "image": "movesrwth/stormpy:stable",
+  "build": {
+    "dockerfile": "Dockerfile"
+  },
+  "runArgs": ["--name", "stormpy-devcontainer"],
+  "customizations": {
+    "jetbrains": {
+      "plugins": [
+        "nl.rubensten.texifyidea",
+        "com.firsttimeinforever.intellij.pdf.viewer.intellij-pdf-viewer"
+      ]
+    },
+    "vscode": {
+      "extensions": [
+        "James-Yu.latex-workshop",
+        "ms-vscode-remote.vscode-remote-extensionpack",
+        "ms-azuretools.vscode-docker"
+      ]
+    }
+  }
+}
diff --git a/.gitignore b/.gitignore
@@ -54,7 +54,7 @@ cmake-build-*/
 *.iws
 
 # IntelliJ
-out/
+#out/
 
 # mpeltonen/sbt-idea plugin
 .idea_modules/

diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/project-template.iml → BW-ADD.iml b/project-template.iml → BW-ADD.iml
diff --git a/qodana.yaml b/qodana.yaml
diff --git a/report/out/.gitignore b/report/out/.gitignore
@@ -0,0 +1,3 @@
+# Added this file to include the out folder in the repository, despite being otherwise empty
+*
+!.gitignore
-Original file line number
+Diff line change
@@ Expand Up / @@ -54,7 +54,7 @@ cmake-build-*/ @@
     *.iws
     # IntelliJ
-    out/
+    #out/
     # mpeltonen/sbt-idea plugin
     .idea_modules/
@@ Expand Down @@