Owothia graduates, or something. Mostly I don't want infrastructure to depend on stuff in //users. Does anyone know where owothia is running anyways? Change-Id: I198c7ac935736c7aee3ba4fbda1453b82aa10283 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3103 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
		
			
				
	
	
		
			22 lines
		
	
	
	
		
			423 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			22 lines
		
	
	
	
		
			423 B
		
	
	
	
		
			Nix
		
	
	
	
	
	
{ pkgs ? (import ../../../. {}).third_party, ... }:
 | 
						|
 | 
						|
let
 | 
						|
  inherit (pkgs)
 | 
						|
    haskellPackages
 | 
						|
    haskell
 | 
						|
    gitignoreSource
 | 
						|
    ;
 | 
						|
in
 | 
						|
 | 
						|
(haskellPackages.extend (haskell.lib.packageSourceOverrides {
 | 
						|
  owothia = gitignoreSource ./.;
 | 
						|
})).shellFor {
 | 
						|
  packages = p: [ p.owothia ];
 | 
						|
  withHoogle = true;
 | 
						|
  doBenchmark = true;
 | 
						|
  buildInputs = with haskellPackages; [
 | 
						|
    cabal-install
 | 
						|
    hlint
 | 
						|
    haskell-language-server
 | 
						|
  ];
 | 
						|
}
 |