Weishen/Hydro
2
0 Fork 0
mirror of https://gitcode.com/gh_mirrors/hy/Hydro.git synced 2026-10-20 01:38:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

judge: auto add testlib.h to /w

Browse Source
This commit is contained in:
undefined committed 2021-03-03 21:45:26 +08:00
1 parent d33401c4e9
commit 7fdcbc5220
2 files changed
+3 -1
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

packages/hydrojudge/package.json
+1 -1
View File
@@ -1,7 +1,7 @@
{ {
"name": "@hydrooj/hydrojudge", "name": "@hydrooj/hydrojudge",
"bin": "bin/hydrojudge.js", "bin": "bin/hydrojudge.js",
"version": "2.4.1", "version": "2.4.2",
"main": "package.json", "main": "package.json",
"author": "undefined <i@undefined.moe>", "author": "undefined <i@undefined.moe>",
"repository": "https://github.com/hydro-dev/Hydro.git", "repository": "https://github.com/hydro-dev/Hydro.git",
packages/hydrojudge/src/check.ts
+2
View File
@@ -1,4 +1,5 @@
import fs from 'fs-extra'; import fs from 'fs-extra';
import { resolve } from 'path';
import checkers from './checkers'; import checkers from './checkers';
import compile from './compile'; import compile from './compile';
import { SystemError } from './error'; import { SystemError } from './error';
@@ -23,6 +24,7 @@ export async function check(config): Promise<[number, number, string]> {
export async function compileChecker(checkerType: string, checker: string, copyIn: any) { export async function compileChecker(checkerType: string, checker: string, copyIn: any) {
if (!checkers[checkerType]) throw new SystemError('Unknown checker type {0}.', [checkerType]); if (!checkers[checkerType]) throw new SystemError('Unknown checker type {0}.', [checkerType]);
if (checkerType === 'testlib') copyIn['testlib.h'] = { src: resolve(__dirname, '../files/testlib.h') };
const file = await fs.readFile(checker); const file = await fs.readFile(checker);
// TODO cache compiled checker // TODO cache compiled checker
return await compile(parseFilename(checker).split('.')[1], file.toString(), 'checker', copyIn); return await compile(parseFilename(checker).split('.')[1], file.toString(), 'checker', copyIn);