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.
20 lines
367 B
20 lines
367 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 -
|
|
|
|
mv build/pk/pk .
|
|
mv build/hello/hello .
|
|
|
|
tar -cf spike-ci.tar pk hello
|
|
|
|
rm pk hello
|
|
|