default.nix

@@ -1,48 +0,0 @@
-{
-  pkgs ? (import ./pkgs.nix { }),
-}:
-
-pkgs.callPackage (
-  {
-    stdenv,
-    bluespec,
-    nextpnr,
-    openfpgaloader,
-    trellis,
-    which,
-    yosys,
-  }:
-  stdenv.mkDerivation {
-    pname = "bluespec-joh-template";
-    version = "0.1.0";
-    src = ./.;
-
-    # Versions can be checked with
-    # `nix eval --json ".#bluespec-joh-template.nativeBuildInputs" | nix-shell -p jq --run jq`
-    nativeBuildInputs = [
-      bluespec
-      nextpnr
-      openfpgaloader
-      trellis
-      which
-      yosys
-    ];
-
-    makeFlags = [
-      "-C"
-      "ulx3s_fpga"
-      "mkTop.bit"
-    ];
-
-    installPhase = ''
-      runHook preInstall
-
-      mkdir -p $out
-      cp ./ulx3s_fpga/mkTop.bit $out/
-
-      runHook postInstall
-    '';
-
-    passthru = { inherit pkgs; };
-  }
-) { }

pkgs.nix

@@ -1,9 +0,0 @@
-let
-  date = "2025-02-02";
-  rev = "3a228057f5b619feb3186e986dbe76278d707b6e";
-  sha256 = "0iqla32cwy147lx1jw84174qkf8jyd912vxqjfgggyil1k8fix66";
-in
-builtins.trace "(Using pinned Nixpkgs at ${rev} from ${date} nixos-unstable)" import (fetchTarball {
-  url = "https://github.com/NixOS/nixpkgs/archive/${rev}.tar.gz";
-  inherit sha256;
-})

shell.nix

@@ -1,8 +0,0 @@
-let
-  bluespec-joh-template = import ./default.nix { };
-  pkgs = bluespec-joh-template.pkgs;
-in
-
-pkgs.mkShell {
-  inputsFrom = [ bluespec-joh-template ];
-}