switch to nix flakes and upgrade many envs

Author: moesoha

.github/workflows/build.yml

@@ -1,16 +1,18 @@
-name: "Build"
+name: build
 on:
     push:
+        branches: [master]
+
 jobs:
     build:
         runs-on: ubuntu-latest
         steps:
-            -   uses: actions/checkout@v2.3.4
-            -   uses: cachix/install-nix-action@v13
-                with:
-                    nix_path: nixpkgs=channel:nixos-unstable
-            -   uses: cachix/cachix-action@v9
-                with:
-                    name: soha
-                    authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
-            -   run: nix-build
+          - uses: actions/checkout@v3
+          - uses: cachix/install-nix-action@v20
+            with:
+                nix_path: nixpkgs=channel:nixos-unstable-small
+          - uses: cachix/cachix-action@v12
+            with:
+                name: luogu-judge
+                authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+          - run: nix flake show --json | jq '.packages."x86_64-linux"|keys[]' | xargs -I {} nix build .#{}

.gitignore

@@ -1,2 +1,5 @@
 result
 result-*
+profile-test
+profile-test-*
+profiles

checker/default.nix

@@ -0,0 +1,17 @@
+self: super: let
+	inherit(super) stdenv;
+in {
+	ljudge-checker = stdenv.mkDerivation (with super; {
+		pname = "ljudge-checkers";
+		version = "0.1.0";
+		src = ./src;
+
+		buildInputs = [ cmake ];
+		configurePhase = "cmake .";
+		buildPhase = "make";
+		installPhase = ''
+			mkdir -p $out/bin
+			mv {noip,strict}-checker $out/bin
+		'';
+	});
+}

checker/overlay.nix

@@ -0,0 +1,73 @@
+{
+	description = "Luogu Judge Environment";
+	inputs = {
+		nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable-small";
+		nixpkgs_gcc930.url = "github:NixOS/nixpkgs/99cd95772761842712f77c291d26443ee039d862";
+		rust-overlay.url = "github:oxalica/rust-overlay";
+	};
+	outputs = inputs@{ self, nixpkgs, nixpkgs_gcc930, rust-overlay, ... }: let
+		system = "x86_64-linux";
+
+		inherit(nixpkgs) lib;
+		pkgs = import nixpkgs {
+			inherit system;
+			overlays = [
+				rust-overlay.overlays.default
+				(self: super: {
+					gcc930 = nixpkgs_gcc930.legacyPackages.${super.system}.gcc9;
+				})
+				(import ./gcc/overlay.nix)
+				(import ./checker/overlay.nix)
+			];
+		};
+
+		createEnv = name: packages: (pkgs.buildEnv {
+			name = "ljudge-env_${builtins.replaceStrings ["/"] ["_"] name}";
+			paths = with pkgs; [
+				coreutils bash
+				ljudge-checker
+			] ++ packages;
+		});
+	in {
+		packages."${system}" = lib.mapAttrs createEnv (with pkgs; {
+			text = [gnutar gzip];
+			gcc = [luogu-gcc];
+			gcc-930 = [luogu-gcc930];
+			rustc = [rust-bin.nightly.latest.default];
+			ghc = [ghc];
+			python3-c = [(python311.withPackages (p: with p; [
+				numpy
+			]))];
+			python3-py = [pypy3];
+			pascal-fpc = [fpc];
+			go = [go];
+			php = [(php82.buildEnv {
+				extensions = { all, ... }: with all; [
+					opcache ctype posix filter bcmath
+					iconv mbstring readline gmp
+				];
+			})];
+			ruby = [ruby];
+			js-node = [nodejs_20];
+			perl = [perl];
+			java-8 = [jdk8_headless];
+			java-21 = [jdk21_headless];
+			kotlin-jvm = [(kotlin.override { jre = jdk21_headless; })];
+			scala = [(scala.override { jre = jdk21_headless; })];
+			lua = [lua];
+			mono = [mono]; # TODO: use dotnet
+			ocaml = [ocaml];
+			julia = [julia];
+		});
+		# packages."${system}" = {
+		# 	text = createJudgeProfile "text" [gnutar gzip];
+
+		# 	# C-family: GCC
+		# 	gcc = pkgs.luogu-gcc;
+		# 	gcc9 = pkgs.luogu-gcc-9;
+
+		# 	# Rust
+		# 	rust = pkgs.rust-bin.nightly.latest.default;
+		# };
+	};
+}

default.nix

@@ -0,0 +1,15 @@
+self: super: let
+	pname = "luogu-gcc";
+
+	applyLuogu = gcc: let
+		cc = gcc.cc.overrideAttrs(a: with a; {
+			inherit pname;
+			patches = patches ++ [
+				./disable-pragma-and-attribute-for-optimize.patch
+			];
+		});
+	in super.wrapCC(cc);
+in {
+	luogu-gcc = applyLuogu(super.gcc13);
+	luogu-gcc930 = applyLuogu(super.gcc930);
+}