26 lines
751 B
Bash
Executable File
26 lines
751 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# move verilator to the remote server
|
|
|
|
# turn echo on and error on earliest command
|
|
set -ex
|
|
|
|
# get shared variables
|
|
SCRIPT_DIR="$( cd "$( dirname "$0" )" && pwd )"
|
|
source $SCRIPT_DIR/defaults.sh
|
|
|
|
# clean older directories (delete prior directories related to this branch also)
|
|
run_script $LOCAL_CHIPYARD_DIR/.circleci/clean-old-files.sh $CI_DIR
|
|
run "rm -rf $REMOTE_PREFIX*"
|
|
|
|
# set stricthostkeychecking to no (must happen before rsync)
|
|
run "echo \"Ping $SERVER\""
|
|
|
|
run "git clone http://git.veripool.org/git/verilator $REMOTE_VERILATOR_DIR; \
|
|
cd $REMOTE_VERILATOR_DIR; \
|
|
git checkout $VERILATOR_VERSION; \
|
|
autoconf; \
|
|
export VERILATOR_ROOT=$REMOTE_VERILATOR_DIR; \
|
|
./configure; \
|
|
make -j$REMOTE_MAKE_NPROC;"
|