add scripts

.gitignore

@@ -0,0 +1,4 @@
+/*
+!/.gitignore
+!/scripts
+!/README.org

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"

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