From bc9e5b0ea863a17537987faa5a72b00efc7767d1 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 18 Jul 2022 22:09:58 -0400
Subject: Upgrade nixpkgs, ghc923

I ended up deleting miso, and consequently all files under Hero/ and Miso/,
because I couldn't get miso to build with GHC 9.2.

Other things:

- Niv has been wrapped by Biz/Bild/Deps.hs, so I can extend it to my liking.
- Apply-refact is gone because I couldn't get it to build.
- Disabled python stuff.
---
 Hero/Prod.nix | 57 ---------------------------------------------------------
 1 file changed, 57 deletions(-)
 delete mode 100644 Hero/Prod.nix

(limited to 'Hero/Prod.nix')

diff --git a/Hero/Prod.nix b/Hero/Prod.nix
deleted file mode 100644
index 3f2ced7..0000000
--- a/Hero/Prod.nix
+++ /dev/null
@@ -1,57 +0,0 @@
-{ bild ? import ../Biz/Bild.nix {}
-, nixpkgs ? import ../Biz/Bild/Nixpkgs.nix
-}:
-
-# Production server for herocomics.app
-
-bild.os {
-  imports = [
-    ../Biz/OsBase.nix
-    ../Biz/Packages.nix
-    ../Biz/Users.nix
-    ./Service.nix
-  ];
-  networking.hostName = "prod-herocomics";
-  networking.domain = "herocomics.app";
-  boot.loader.grub.device = "/dev/vda";
-  fileSystems."/" = { device = "/dev/vda1"; fsType = "ext4"; };
-  networking = {
-    firewall.allowedTCPPorts = [ 22 80 443 ];
-    nameservers = [
-      "67.207.67.2"
-      "67.207.67.3"
-    ];
-    defaultGateway = "138.68.40.1";
-    defaultGateway6 = "";
-    dhcpcd.enable = false;
-    usePredictableInterfaceNames = nixpkgs.lib.mkForce true;
-    interfaces = {
-      eth0 = {
-        ipv4.addresses = [
-          { address="138.68.40.97"; prefixLength=21; }
-          { address="10.46.0.5"; prefixLength=16; }
-        ];
-        ipv6.addresses = [
-          { address="fe80::b063:c4ff:fee5:d636"; prefixLength=64; }
-        ];
-        ipv4.routes = [ { address = "138.68.40.1"; prefixLength = 32; } ];
-        ipv6.routes = [ { address = ""; prefixLength = 32; } ];
-      };
-
-    };
-  };
-
-  services = {
-    herocomics = {
-      enable = true;
-      port = 3000;
-      host = bild.ghc ./Host.hs;
-      node = bild.ghcjs ./Node.hs;
-      keep = "/var/lib/hero";
-    };
-
-    udev.extraRules = ''
-      ATTR{address}=="b2:63:c4:e5:d6:36", NAME="eth0"
-    '';
-  };
-}
-- 
cgit v1.2.3