You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
574 B
24 lines
574 B
#!/bin/bash
|
|
set -e
|
|
|
|
rm -rf build
|
|
|
|
mkdir -p build/pk && cd "$_"
|
|
`git rev-parse --show-toplevel`/../riscv-pk/configure --host=riscv64-unknown-elf
|
|
make -j4
|
|
cd -
|
|
|
|
mkdir -p build/hello && cd "$_"
|
|
riscv64-unknown-elf-gcc -O2 -o hello `git rev-parse --show-toplevel`/ci-tests/hello.c
|
|
cd -
|
|
|
|
mkdir -p build/dummy-slliuw && cd "$_"
|
|
riscv64-unknown-elf-gcc -O2 -o dummy-slliuw `git rev-parse --show-toplevel`/ci-tests/dummy-slliuw.c
|
|
cd -
|
|
|
|
mv build/pk/pk .
|
|
mv build/hello/hello .
|
|
mv build/dummy-slliuw/dummy-slliuw .
|
|
tar -cf spike-ci.tar pk hello dummy-slliuw
|
|
|
|
rm pk hello dummy-slliuw
|
|
|