File tree Expand file tree Collapse file tree 2 files changed +10
-3
lines changed Expand file tree Collapse file tree 2 files changed +10
-3
lines changed Original file line number Diff line number Diff line change 3333 text = [ gnutar gzip ] ;
3434 gcc = [ luogu-gcc ] ;
3535 gcc-930 = [ luogu-gcc930 ] ;
36- rustc = [ rust-bin . nightly . latest . default ] ;
36+ rustc = [ rust-bin . nightly . latest . default luogu-gcc ] ;
3737 ghc = [ ghc ] ;
3838 python3-c = [ ( python311 . withPackages ( p : with p ; [
3939 numpy
4040 ] ) ) ] ;
4141 python3-py = [ pypy3 ] ;
42- pascal-fpc = [ fpc ] ;
42+ pascal-fpc = [ fpc binutils ] ;
4343 go = [ go ] ;
4444 php = [ ( php82 . buildEnv {
4545 extensions = { all , ... } : with all ; [
5656 scala = [ ( scala . override { jre = jdk21_headless ; } ) ] ;
5757 lua = [ lua ] ;
5858 mono = [ mono ] ; # TODO: use dotnet
59- ocaml = [ ocaml ] ;
59+ ocaml = [ ocaml luogu-gcc ] ;
6060 julia = [ julia ] ;
6161 } ) ;
6262 # packages."${system}" = {
Original file line number Diff line number Diff line change 1+ #! /bin/sh
2+
3+ rm -rf /nix/var/nix/profiles/judge_*
4+
5+ nix flake show --json \
6+ | jq ' .packages."x86_64-linux"|keys[]' \
7+ | xargs -I {} nix profile install --profile /nix/var/nix/profiles/judge_{} .#{}
You can’t perform that action at this time.
0 commit comments