-
Notifications
You must be signed in to change notification settings - Fork 37
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Simplify the awfy repo, and remove unmaintained bits
- move all build instructions to a build.sh in the language-specific folder - update GitHub Actions to avoid deprecation warnings - remove implementations folder - it contained various unmaintained and untested scripts - simplify rebench.conf - it’s not tested, so, this is more of a template of how a setup may look like Signed-off-by: Stefan Marr <[email protected]>
- Loading branch information
Showing
59 changed files
with
238 additions
and
872 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -10,6 +10,7 @@ | |
*.html | ||
.Rhistory | ||
.idea | ||
.vscode | ||
.eclipse-ws | ||
benchmarks.jar | ||
benchmark.data | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,13 @@ | ||
#!/bin/bash | ||
set -e | ||
SCRIPT_PATH=`dirname $0` | ||
set -e # make script fail on first error | ||
SCRIPT_PATH=$(dirname $0) | ||
source $SCRIPT_PATH/../script.inc | ||
|
||
if [[ "$1" = "style" ]] | ||
then | ||
exit 0 | ||
fi | ||
|
||
INFO Build Crystal Benchmarks | ||
pushd $SCRIPT_PATH | ||
crystal build --release --no-debug harness.cr |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
#!/bin/bash | ||
set -e # make script fail on first error | ||
SCRIPT_PATH=$(dirname $0) | ||
source $SCRIPT_PATH/../script.inc | ||
pushd $SCRIPT_PATH | ||
|
||
if [[ "$1" = "style" ]] | ||
then | ||
ant checkstyle-jar && ant checkstyle | ||
else | ||
INFO Build Java Benchmarks | ||
ant jar | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
#!/bin/bash | ||
set -e # make script fail on first error | ||
SCRIPT_PATH=$(dirname $0) | ||
source $SCRIPT_PATH/../script.inc | ||
|
||
INFO Build Node.js Benchmarks | ||
if [[ "$1" = "style" ]] | ||
then | ||
INFO Check style of JavaScript benchmarks | ||
pushd $SCRIPT_PATH | ||
npx eslint . | ||
else | ||
exit 0 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
#!/bin/bash | ||
set -e # make script fail on first error | ||
SCRIPT_PATH=$(dirname $0) | ||
source $SCRIPT_PATH/../script.inc | ||
|
||
if [[ "$1" = "style" ]] | ||
then | ||
INFO Check style of Lua benchmarks | ||
pushd $SCRIPT_PATH | ||
luacheck *.lua | ||
else | ||
exit 0 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
#!/bin/bash | ||
set -e # make script fail on first error | ||
SCRIPT_PATH=$(dirname $0) | ||
source $SCRIPT_PATH/../script.inc | ||
|
||
if [[ "$1" = "style" ]] | ||
then | ||
exit 0 | ||
else | ||
exit 0 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
#!/bin/bash | ||
set -e # make script fail on first error | ||
SCRIPT_PATH=$(dirname $0) | ||
source $SCRIPT_PATH/../script.inc | ||
|
||
if [[ "$1" = "style" ]] | ||
then | ||
exit 0 | ||
else | ||
exit 0 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,31 @@ | ||
#!/bin/bash | ||
set -e # make script fail on first error | ||
SCRIPT_PATH="$(dirname $0)" | ||
source "$SCRIPT_PATH/../script.inc" | ||
|
||
if [[ "$1" = "style" ]] | ||
then | ||
exit 0 | ||
elif [[ "$1" == "squeak" ]] | ||
then | ||
pushd "$SCRIPT_PATH" | ||
if [[ ! -f "Squeak.image" ]] | ||
then | ||
ERR "Squeak.image is needed but not found." | ||
ERR "Please copy a Squeak.image, Squeak.changes and the corresponding *.sources file to this directory." | ||
exit 1 | ||
fi | ||
~/.asdf/installs/awfy/squeak-6.0-22148/bin/squeak -headless Squeak.image build-image-squeak.st | ||
elif [[ "$1" == "pharo" ]] | ||
then | ||
pushd "$SCRIPT_PATH" | ||
if [[ ! -f "Pharo.image" ]] | ||
then | ||
ERR "Pharo.image is needed but not found." | ||
ERR "Please copy a Pharo.image, Pharo.changes and the corresponding *.sources file to this directory." | ||
exit 1 | ||
fi | ||
~/.asdf/installs/awfy/pharo-120/bin/pharo Pharo.image build-image.st | ||
else | ||
exit 0 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.