#!/bin/sh
set -eux
testdir=$1

YOSYS_TARBALL=${YOSYS_TARBALL:-/usr/src/yosys/yosys.tar*}

mkdir -p "$testdir"

echo>&2 -n Unpacking...
tar -xf $YOSYS_TARBALL --strip-components=1 -C "$testdir"
echo done

cd "$testdir"

./debian/rules clean

ln -sf /usr/bin/yosys .
ln -sf /usr/bin/yosys-abc .
ln -sf /usr/bin/yosys-config .

sed -i 's/^test:.*/test: $(EXTRA_TARGETS)/' Makefile

# sed -i 's,^	+cd tests/simple && bash run-test.sh $(SEEDOPT),	+cd tests/various && ./plugin.sh && exit\n\ndummy:\n,' Makefile
# cat Makefile

# cat > tests/various/plugin.sh <<-"EOF"
# set -ex
# env
# rm -f plugin.so
# CXXFLAGS=$(../../yosys-config --cxxflags)
# DATDIR=$(../../yosys-config --datdir)
# DATDIR=${DATDIR//\//\\\/}
# CXXFLAGS=${CXXFLAGS//$DATDIR/..\/..\/share}
# ../../yosys-config --exec --cxx ${CXXFLAGS} --ldflags -shared -o plugin.so plugin.cc
# ../../yosys -m ./plugin.so -p "test" | grep -q "Plugin test passed!"
# EOF


make test CONFIG=gcc ABCEXTERNAL=berkeley-abc ABCPULL=0
