Merge pull request #16 from h0nzZik/nix-docker

Build a Docker image
h0nzZik · Jun 25, 2024 · c35ead1 · c35ead1
2 parents 4084d93 + a42773f
commit c35ead1
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/.github/workflows/build-and-profile.yml b/.github/workflows/build-and-profile.yml
@@ -43,6 +43,9 @@ jobs:
     - name: 'Run standalone examples'
       run: nix develop -L '.#examples-standalone' --command ./examples-standalone/test.sh
 
+    - name: 'Build Docker image'
+      run: nix build -L '.#minuska-docker' --out-link ./result-minuska-docker
+
 
     #- name: Build
     #  run: nix develop '.#minuska' --command ./build-and-profile.sh

diff --git a/flake.nix b/flake.nix
@@ -146,6 +146,8 @@
           passthru = { coqPackages = pkgs.coqPackages_8_19; };
         } ) { } ;
 
+
+        # TODO remove this
         packages.minuska-symbolic
         = pkgs.coqPackages_8_19.callPackage 
         ( { coq, stdenv }:
@@ -163,6 +165,16 @@
           passthru = { coqPackages = pkgs.coqPackages_8_19; };
         } ) { } ;
 
+
+        packages.minuska-docker
+        = pkgs.dockerTools.buildImage {
+          name = "minuska-docker";
+          config = {
+            Cmd = [ "${self.outputs.packages.${system}.minuska}/bin/minuska" ];
+          };
+        };
+
+
         packages.default = self.outputs.packages.${system}.minuska;
 
         devShells = {