wip

[soc.git] / flake.nix

diff --git a/flake.nix b/flake.nix
index 3911dde3b58c7866196d9bf49b2f730f719a2074..5b1e57a5a98451817d28e3e58b2d47d015577b68 100644 (file)
--- a/flake.nix
+++ b/flake.nix
@@ -14,9 +14,24 @@
       forAllSystems = nixpkgs.lib.genAttrs supportedSystems;
 
       nixpkgsFor = forAllSystems (system: import nixpkgs { inherit system; overlays = [ self.overlay ]; });
-
     in
     {
-      overlay = final: prev: {};
+      overlay = self: super: {
+        python3Packages = super.python3Packages.override {
+          overrides = pself: psuper: {
+            libresoc-ieee754fpu = pself.callPackage ./nix/ieee754fpu.nix {};
+            libresoc-openpower-isa = pself.callPackage ./nix/openpower-isa.nix {};
+            bigfloat = pself.callPackage ./nix/bigfloat.nix {};
+          };
+        };
+
+        libresoc-verilog = self.callPackage (import ./nix/verilog.nix { inherit version; }) {};
+      };
+
+      packages = forAllSystems (system: {
+        verilog = nixpkgsFor.${system}.libresoc-verilog;
+      });
+
+      defaultPackage = forAllSystems (system: self.packages.${system}.verilog);
     };
 }