diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..a6d14f3 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +/* +!/.gitignore +!/scripts +!/README.org diff --git a/scripts/env b/scripts/env new file mode 100755 index 0000000..8c2b7f2 --- /dev/null +++ b/scripts/env @@ -0,0 +1,6 @@ +export LIBERO_DIR="/storage/Shared/Programs/Microchip/Libero_SoC_v2023.1" +export LM_LICENSE_FILE="1702@gpenguin" +export LD_LIBRARY_PATH="/usr/lib/gcc/x86_64-pc-linux-gnu/12/:${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" diff --git a/scripts/libero-license.service b/scripts/libero-license.service new file mode 100644 index 0000000..1eb150c --- /dev/null +++ b/scripts/libero-license.service @@ -0,0 +1,14 @@ +[Unit] +Description=Libero Licensing Service +After=network.target + +[Service] +Type=simple +Restart=always +RestartSec=30 +ExecStart=/storage/Shared/Programs/Microchip/Libero_SoC_v2023.1/Libero/bin64/lmgrd -z -c /storage/Shared/Programs/Microchip/Libero_SoC_v2023.1/license/License.dat -l /storage/Shared/Programs/Microchip/Libero_SoC_v2023.1/Logs/license.log +SuccessExitStatus=15 +WorkingDirectory=/storage/Shared/Programs/Microchip/Libero_SoC_v2023.1/license + +[Install] +WantedBy=default.target