From c5207ab9f119499a287772240a14c5c06840168a Mon Sep 17 00:00:00 2001
From: Soha Jin <soha@jin.sh>
Date: Mon, 13 Nov 2023 14:29:42 +0800
Subject: [PATCH] fix rustc/ocaml/fpc, add profile onekey install script

---
 flake.nix           | 6 +++---
 install-profiles.sh | 7 +++++++
 2 files changed, 10 insertions(+), 3 deletions(-)
 create mode 100755 install-profiles.sh

diff --git a/flake.nix b/flake.nix
index acf05fd..f08a3f7 100644
--- a/flake.nix
+++ b/flake.nix
@@ -33,13 +33,13 @@
 			text = [gnutar gzip];
 			gcc = [luogu-gcc];
 			gcc-930 = [luogu-gcc930];
-			rustc = [rust-bin.nightly.latest.default];
+			rustc = [rust-bin.nightly.latest.default luogu-gcc];
 			ghc = [ghc];
 			python3-c = [(python311.withPackages (p: with p; [
 				numpy
 			]))];
 			python3-py = [pypy3];
-			pascal-fpc = [fpc];
+			pascal-fpc = [fpc binutils];
 			go = [go];
 			php = [(php82.buildEnv {
 				extensions = { all, ... }: with all; [
@@ -56,7 +56,7 @@
 			scala = [(scala.override { jre = jdk21_headless; })];
 			lua = [lua];
 			mono = [mono]; # TODO: use dotnet
-			ocaml = [ocaml];
+			ocaml = [ocaml luogu-gcc];
 			julia = [julia];
 		});
 		# packages."${system}" = {
diff --git a/install-profiles.sh b/install-profiles.sh
new file mode 100755
index 0000000..d9d14e2
--- /dev/null
+++ b/install-profiles.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+rm -rf /nix/var/nix/profiles/judge_*
+
+nix flake show --json \
+	| jq '.packages."x86_64-linux"|keys[]' \
+	| xargs -I {} nix profile install --profile /nix/var/nix/profiles/judge_{} .#{}