#!/bin/bash
# Copyright 2021 Ian Jackson and contributors to Hippotat
# SPDX-License-Identifier: GPL-3.0-or-later
# There is NO WARRANTY.

set -e

mkdir -p tmp
rm -rf tmp/uml
mkdir -p -m2700 tmp/uml

ln -s "$PWD" tmp/uml/org-pwd
ln -s org-pwd/target tmp/uml/target
ln -s "${0%/*/*}" tmp/uml/src

dd if=/dev/urandom of=tmp/uml/random-seed bs=1k count=4

"${0%/*}"/psusan-uml-run -proxycmd "${0%/*}"/psusan-uml-psusan -N -v -v