.gitignore

-/target
 /result
+/target
 
 # Supervisé par:
 chatain

.gitlab-ci.yml

-image: "vlafeychine/rust"
+image: vlafeychine/rust
+
+variables:
+  CARGO_HOME: "$CI_PROJECT_DIR/.cache/cargo/"
+
+cache:
+  key:
+    files:
+      - Cargo.lock
+  paths:
+    - .cache/cargo/
 
 format:
   script:

flake.nix

@@ -10,32 +10,51 @@
   outputs = { self, flake-utils, rust-overlay, nixpkgs }:
     flake-utils.lib.eachDefaultSystem (system:
       let
-        rustPackages = pkgs.rust-bin.nightly.latest;
-        pkgs = import nixpkgs {
-          inherit system;
-          overlays = [ (import rust-overlay) ];
-        };
+        overlays = [ (import rust-overlay) ];
+        pkgs = import nixpkgs { inherit overlays system; };
+        rust = pkgs.rust-bin.nightly.latest;
       in rec {
-        packages.default = pkgs.rustPlatform.buildRustPackage {
-          pname = "proost";
-          version = "0.1.0";
+        packages = {
+          default = pkgs.rustPlatform.buildRustPackage {
+            pname = "proost";
+            version = "0.1.0";
+
+            nativeBuildInputs = [ rust.minimal ];
+
+            src = ./.;
+            cargoLock.lockFile = ./Cargo.lock;
+
+            meta = with pkgs.lib; {
+              description = "A simple proof assistant written in Rust";
+              homepage = "https://gitlab.crans.org/loutr/proost";
+              license = licenses.gpl3;
+            };
+          };
+
+          docker-ci = let
+            rust-ci =
+              rust.minimal.override { extensions = [ "clippy" "rustfmt" ]; };
+          in pkgs.dockerTools.buildImage {
+            name = "proost-ci";
 
-          nativeBuildInputs = [ rustPackages.default ];
+            copyToRoot = pkgs.buildEnv {
+              name = "proost-dependencies";
+              paths = with pkgs; [ bash coreutils gcc openssh rust-ci ];
+            };
 
-          src = ./.;
-          cargoLock.lockFile = ./Cargo.lock;
+            runAsRoot = "mkdir /tmp";
 
-          meta = with pkgs.lib; {
-            description = "A simple proof assistant written in Rust";
-            homepage = "https://gitlab.crans.org/loutr/proost";
-            license = licenses.gpl3;
+            config = {
+              Env =
+                [ "SSL_CERT_FILE=${pkgs.cacert}/etc/ssl/certs/ca-bundle.crt" ];
+              Entrypoint = [ "${pkgs.bash}/bin/sh" "-c" ];
+            };
           };
         };
 
         devShells.default = pkgs.mkShell {
           name = "proost-dev";
-          packages = packages.default.nativeBuildInputs
-            ++ (with rustPackages; [ rustfmt clippy ]);
+          packages = [ rust.default rust.rust-analyzer ]; 
         };
       });
 }