amaranth-yosys-shell-hook.sh

amaranthYosysShellHook() {
    set -e
    export HDX_START="$(pwd)"

    local _found=0 _dir
    for _dir in .; do
      if test -d "$_dir/yosys" -a -d "$_dir/amaranth"; then
        cd "$_dir"
        _found=1
        break
      fi
    done

    if test "$_found" -eq 0; then
      echo "hdx: ERROR: '$(pwd)' doesn't contain 'yosys' and 'amaranth' directories."
      echo "hdx: 'nix develop hdx#yosys-amaranth' only works when executed with cwd"
      echo "hdx: containing these, otherwise I can't set up correctly."
      exit 1
    fi

    cd yosys

    export HDX_OUT="$(pwd)/hdx-out"
    if ! test -d "$HDX_OUT"; then
      echo "hdx: Running \`mkdir $HDX_OUT\` for Yosys install outputs."
      mkdir "$HDX_OUT"
    fi
    export PATH="$HDX_OUT/bin:$PATH"

    # Install a Makefile.conf that will compile Yosys correctly (and for debug),
    # and install it where we expect.  Ensure we don't overwrite a user's own one.
    cat >Makefile.conf.hdx <<'EOF'
@Makefile.conf.hdx@
EOF
    if test -f Makefile.conf; then
      if ! diff --color -u Makefile.conf Makefile.conf.hdx; then
        echo
        echo "hdx: ERROR: '$(pwd)/Makefile.conf' exists and differs from what I want to install."
        echo "hdx: Not doing any more.  '$(pwd)/Makefile.conf.hdx' is left in place."
        exit 1
      fi
    fi
    mv Makefile.conf.hdx Makefile.conf

    # Append the created output directory to .git/info/exclude so it doesn't
    # make their Yosys checkout look dirty.
    if ! grep -q hdx-out .git/info/exclude; then
      echo "hdx: Appending '/hdx-out' to '$(pwd)/.git/info/exclude'."
      echo /hdx-out >> .git/info/exclude
    fi

    cd ..

    # amaranthSetupHook expects cwd to be an Amaranth checkout.
    cd amaranth
}

amaranthYosysShellHook