#!/bin/sh
set -eux

usage () { echo>&2 "Usage: yosys-testuite"; exit 1; }
[ $# -eq 0 ] || usage

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

make test CONFIG=gcc
