test

Author: moesoha

.github/workflows/test.yml

@@ -0,0 +1,19 @@
+name: "Test"
+on:
+  pull_request:
+  push:
+jobs:
+  tests:
+    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
+        # If you chose API tokens for write access OR if you have a private cache
+        authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+    - run: nix-build
+    - run: nix-shell --run "echo OK"

default.nix

@@ -0,0 +1,75 @@
+{ nixpkgs ? import <nixpkgs> {} }: with nixpkgs; 
+let
+	gcc = (callPackage ./gcc-luogu {}).gcc;
+
+	kotlin-native = callPackage ./kotlin-native {};
+
+	python3 = python39.withPackages(p: with p; [
+		numpy
+	]);
+
+	python2 = python27.withPackages(p: with p; [
+		numpy
+	]);
+
+	pypy2 = pypy;
+in {
+	# C, C++
+	inherit gcc;
+
+	# Rust
+	inherit rustc;
+
+	# Haskell
+	inherit ghc;
+
+	# Pascal
+	inherit fpc;
+
+	# Ruby
+	inherit ruby;
+
+	# PHP
+	inherit php80;
+
+	# Perl
+	inherit perl;
+
+	# Python 3
+	inherit python3;
+	inherit pypy3;
+
+	# Python 2
+	inherit python2;
+	inherit pypy2;
+
+	# C#, F#, Visual Basic
+	inherit mono;
+
+	# Java
+	inherit jdk8;
+
+	# OCaml
+	inherit ocaml;
+
+	# # Julia
+	# inherit julia;
+
+	# Lua
+	inherit lua;
+
+	# Scala
+	inherit scala;
+
+	# Golang
+	inherit go;
+
+	# Node.js
+	inherit nodejs;
+
+	# Kotlin/JVM
+	inherit kotlin;
+
+	# Kotlin/Native
+	inherit kotlin-native;
+}

gcc-luogu/default.nix

@@ -0,0 +1,16 @@
+{ pkgs ? import <nixpkgs> {} }: with pkgs;
+let
+	pname = "luogu-gcc";
+	sourceCC = gcc11.cc;
+
+	cc = sourceCC.overrideAttrs(a: with a; {
+		inherit pname;
+		patches = patches ++ [
+			./disable-pragma-and-attribute-for-optimize.patch
+		];
+	});
+	gcc = wrapCC(cc);
+in {
+	inherit gcc;
+	inherit cc;
+}

gcc-luogu/disable-pragma-and-attribute-for-optimize.patch

@@ -0,0 +1,47 @@
+From 4f0e2a7a2a1a8a59915ea1d1838ca1a8ac86e01e Mon Sep 17 00:00:00 2001
+From: Soha Jin <soha@lohu.info>
+Date: Thu, 1 Jul 2021 16:47:12 +0800
+Subject: [PATCH] disable optimize pragmas and attributes in ONLINE_JUDGE environment
+
+---
+ gcc/c-family/c-attribs.c | 6 ++++++
+ gcc/c-family/c-pragma.c  | 6 ++++++
+ 2 files changed, 12 insertions(+)
+
+diff --git a/gcc/c-family/c-attribs.c b/gcc/c-family/c-attribs.c
+index cdf89d66f..9551c0bcc 100644
+--- a/gcc/c-family/c-attribs.c
++++ b/gcc/c-family/c-attribs.c
+@@ -5336,6 +5336,12 @@ static tree
+ handle_optimize_attribute (tree *node, tree name, tree args,
+ 			   int ARG_UNUSED (flags), bool *no_add_attrs)
+ {
++  if (getenv("ONLINE_JUDGE"))
++    {
++      error_at (DECL_SOURCE_LOCATION (*node), "%qE attribute is disallowed in online judge mode", name);
++      return NULL_TREE;
++    }
++
+   /* Ensure we have a function type.  */
+   if (TREE_CODE (*node) != FUNCTION_DECL)
+     {
+diff --git a/gcc/c-family/c-pragma.c b/gcc/c-family/c-pragma.c
+index 4f8e8e012..4c203726c 100644
+--- a/gcc/c-family/c-pragma.c
++++ b/gcc/c-family/c-pragma.c
+@@ -930,6 +930,12 @@ handle_pragma_optimize (cpp_reader *ARG_UNUSED(dummy))
+   bool close_paren_needed_p = false;
+   tree optimization_previous_node = optimization_current_node;
+ 
++  if (getenv("ONLINE_JUDGE"))
++    {
++      error ("%<#pragma GCC optimize%> is not allowed in online judge mode");
++      return;
++    }
++
+   if (cfun)
+     {
+       error ("%<#pragma GCC optimize%> is not allowed inside functions");
+-- 
+2.32.0
+

kotlin-native/default.nix

@@ -0,0 +1,58 @@
+{ pkgs ? import <nixpkgs> {} }: with pkgs;
+# The compiler Kotlin/Native is just like a piece of shit
+# However this nix file just works on Luogu Judge.
+let
+	pname = "kotlin-native";
+	version = "1.5.20";
+	sha256 = "9449219ec9465b14adda1b730ac14ef02da93e9f98219f7303bf70c4c875b7db";
+
+	unwrapped = stdenv.mkDerivation {
+		pname = "${pname}-unwrapped";
+		inherit version;
+
+		src = fetchurl {
+			url = "https://github.com/JetBrains/kotlin/releases/download/v${version}/kotlin-native-linux-${version}.tar.gz";
+			inherit sha256;
+		};
+		propagatedBuildInputs = [ jre ];
+
+		buildPhase = ''
+			export KONAN_DATA_DIR=$PWD/konan-data
+			export PATH=$PATH:${jre}/bin:$PWD/build-bin
+			cp -r bin build-bin
+			patchShebangs --build build-bin
+			kotlinc-native -Xcheck-dependencies
+			rm -r build-bin
+		'';
+		installPhase = ''
+			mkdir -p $out
+			mv * $out
+			rm $out/bin/kotlinc # kotlinc will be removed in the future
+		'';
+
+		dontFixup = true;
+		dontStrip = true;
+		dontPatchELF = true;
+
+		outputHashMode = "recursive";
+		outputHashAlgo = "sha256";
+		outputHash = "01kxmkd9vcjl0x4g9ylihz6z426zlm7jk2y5q580zs0prncqrk7x";
+	};
+in stdenv.mkDerivation {
+	inherit pname;
+	inherit version;
+
+	dontUnpack = true;
+	buildInputs = [ makeWrapper unwrapped ];
+	propagatedBuildInputs = [ jre ];
+
+	installPhase = ''
+		mkdir -p $out/bin
+		for p in $(ls ${unwrapped}/bin/); do
+			makeWrapper ${unwrapped}/bin/$p $out/bin/$p \
+				--prefix PATH ":" ${jre}/bin \
+				--set KONAN_DATA_DIR ${unwrapped}/konan-data \
+			;
+		done
+	'';
+}