Skip to content

Commit b0cfcde

Browse files
NeloopMartin Kruliš
authored andcommitted
Typo and better handling of args construction
1 parent e62b648 commit b0cfcde

1 file changed

Lines changed: 8 additions & 6 deletions

File tree

app/helpers/ExerciseConfig/Pipeline/Box/Boxes/PrologCompilationBox.php

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ public static function init() {
4747
}
4848

4949
/**
50-
* JudgeNormalBox constructor.
50+
* Constructor.
5151
* @param BoxMeta $meta
5252
*/
5353
public function __construct(BoxMeta $meta) {
@@ -110,14 +110,16 @@ public function compile(CompilationParams $params): array {
110110
$args = array_merge($args,
111111
$this->getInputPortValue(self::$ARGS_PORT_KEY)->getValue());
112112
}
113+
114+
array_push($args,
115+
"-o",
116+
$this->getOutputPortValue(self::$BINARY_FILE_PORT_KEY)->getValue(ConfigParams::$EVAL_DIR),
117+
"-c"
118+
);
119+
113120
$task->setCommandArguments(
114121
array_merge(
115122
$args,
116-
[
117-
"-o",
118-
$this->getOutputPortValue(self::$BINARY_FILE_PORT_KEY)->getValue(ConfigParams::$EVAL_DIR),
119-
"-c"
120-
],
121123
$this->getInputPortValue(self::$SOURCE_FILES_PORT_KEY)->getValue(ConfigParams::$EVAL_DIR),
122124
$this->getInputPortValue(self::$EXTRA_FILES_PORT_KEY)->getValue(ConfigParams::$EVAL_DIR),
123125
[ $this->getInputPortValue(self::$RUNNER_FILE_PORT_KEY)->getValue(ConfigParams::$EVAL_DIR) ]

0 commit comments

Comments
 (0)