Eval infra

This commit is contained in:
Gunnar Morling 2024-01-05 15:26:18 +01:00
parent d7cdd1372d
commit 8703674765
4 changed files with 89 additions and 6 deletions

View File

@ -17,12 +17,11 @@
if [ -z "$1" ]
then
echo "Usage: prepare_evaluation.sh <fork name>"
echo "Usage: cleanup.sh <fork name>"
exit 1
fi
git checkout -b $1
git pull https://github.com/$1/1brc.git
# git pull git@github.com:$1/1brc.git
git checkout .
git checkout main
git branch -D $1
git pull upstream main

24
eval.sh Executable file
View File

@ -0,0 +1,24 @@
#!/bin/sh
#
# Copyright 2023 The original authors
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
if [ -z "$1" ]
then
echo "Usage: eval.sh <fork name>"
exit 1
fi
./evaluate.sh $1 2>&1 | tee $1.out

36
prepare.sh Executable file
View File

@ -0,0 +1,36 @@
#!/bin/sh
#
# Copyright 2023 The original authors
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
set -x
if [ -z "$1" ]
then
echo "Usage: prepare.sh <fork name>:<branch name>"
exit 1
fi
parts=(${1//:/ })
echo " User: ${parts[0]}"
echo "Branch: ${parts[1]}"
git branch -D ${parts[0]} &>/dev/null
git checkout -b ${parts[0]}
git fetch https://github.com/${parts[0]}/1brc.git ${parts[1]}
# git fetch git@github.com:${parts[0]}/1brc.git ${parts[1]}
git reset --hard FETCH_HEAD
git rebase main

24
process.sh Executable file
View File

@ -0,0 +1,24 @@
#!/bin/sh
#
# Copyright 2023 The original authors
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
if [ -z "$1" ]
then
echo "Usage: process_output.sh <fork name>"
exit 1
fi
java --enable-preview --source=21 process_output.java out_expected.txt $1.out