Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc

.gitlab-ci.yml

@@ -1,10 +1,13 @@
+variables:
+  NIX_PATH: "nixpkgs=channel:nixos-21.05"
+
 build:
   script:
-    - file src/main/resources/language/translation_de.properties | rg UTF-8
-    - mvn -Dmaven.repo.local=/tmp/m2/repository -Duser.home=/tmp checkstyle:check jacoco:prepare-agent test jacoco:report
-    - python3 /opt/cover2cover.py target/site/jacoco/jacoco.xml src/main/java > target/site/cobertura.xml
-    - python3 /opt/source2filename.py target/site/cobertura.xml
-    - /opt/calcCoverage.sh < target/site/cobertura.xml
+    - nix-shell --pure --run "file src/main/resources/language/translation_de.properties | rg UTF-8"
+    - nix-shell --pure --run "mvn -Dmaven.repo.local=/tmp/m2/repository -Duser.home=/tmp checkstyle:check jacoco:prepare-agent test jacoco:report"
+    - nix-shell --pure --run "python3 ./cover2cover.py target/site/jacoco/jacoco.xml src/main/java > target/site/cobertura.xml"
+    - nix-shell --pure --run "python3 ./source2filename.py target/site/cobertura.xml"
+    - nix-shell --pure --run "./calcCoverage.sh < target/site/cobertura.xml"
   artifacts:
     reports:
       cobertura: target/site/cobertura.xml

shell.nix

@@ -0,0 +1,20 @@
+with (import <nixpkgs> {});
+let
+  mavenJdk11 = maven.override {
+    jdk = pkgs.jdk11;
+  };
+  my-python3-packages = python3-packages: with python3-packages; [
+    lxml
+  ];
+  python3-with-my-packages = pkgs.python3.withPackages my-python3-packages;
+in
+mkShell {
+  nativeBuildInputs = [
+    file
+    ripgrep
+    mavenJdk11
+    nodejs-14_x
+    which # required by Vaadin
+    python3-with-my-packages
+  ];
+}