export LIBERO_DIR="/storage/Shared/Programs/Microchip/Libero_SoC_v2023.1"
export LM_LICENSE_FILE="1702@gpenguin"
export SNPSLMD_LICENSE_FILE="1702@gpenguin"
export LD_LIBRARY_PATH="/usr/lib/gcc/x86_64-pc-linux-gnu/12:/usr/lib:${LD_LIBRARY_PATH}" 
systemctl --user start libero-license.service
alias libero='${LIBERO_DIR}/Libero/bin64/libero'
alias libero-quit="systemctl --user stop libero-license.service"
export PATH="${PATH}:/storage/Shared/Programs/Microchip/Libero_SoC_v2023.1/Libero/bin64"
export SC_INSTALL_DIR="/storage/Shared/Programs/Microchip/SoftConsole-v2022.2-RISC-V-747"
export PATH="${PATH}:${PATH}:${SC_INSTALL_DIR}/python3/bin:${SC_INSTALL_DIR}/riscv-unknown-elf-gcc/bin"
export BOARD="mpfs-icicle-kit-es"
export FPGENPROG="/storage/Shared/Programs/Microchip/Libero_SoC_v2023.1/Libero/bin64/fpgenprog"
