summaryrefslogtreecommitdiff
path: root/make-launcher
diff options
context:
space:
mode:
Diffstat (limited to 'make-launcher')
-rwxr-xr-xmake-launcher59
1 files changed, 0 insertions, 59 deletions
diff --git a/make-launcher b/make-launcher
deleted file mode 100755
index 3eba053..0000000
--- a/make-launcher
+++ /dev/null
@@ -1,59 +0,0 @@
-#!/bin/sh
-# Copyright (C) Martin Ošmera <martin.osmera@gmail.com>
-# Licence: GPL v2
-# Version: 1.1
-# Homepage: http://sourceforge.net/projects/mcu8051ide
-
-# Create launcher for MCU 8051 IDE
-
-# Place the created file into directory /usr/bin and just run mcu8051ide
-# Typical usage:
-# ./make-launcher --path-to-lib=/usr/share/mcu8051ide/lib
-
-
-print_help() {
- echo "Create launcher for MCU 8051 IDE"
- echo "Usage:"
- echo "./make-launcher --path-to-lib=path_to_lib_directory"
- exit
-}
-
-create_launcher() {
-cat > mcu8051ide << EOF
-#!/bin/sh
-cd $value
-exec tclsh8.5 main.tcl "\$@" || echo "Tcl 8.5 is not available on the system. Trying another version ..." && exec tclsh main.tcl || echo "FATAL ERROR: Tcl is not installed on the system! MCU 8051 IDE cannot run without it."
-EOF
-echo "Launcher successfuly created"
-}
-
-
-if [ -z "${1}" ]; then
- print_help
-fi
-
-
-while [ -n "${1}" ]; do
-
- key=`echo ${1} | sed -r -e 's/\=[^\=]+//'`
- value=`echo $(echo ${1} | grep =) | sed -r -e 's/[^\=]+\=//;s/^"//;s/"$//'`
-
- case "$key" in
- --path-to-lib)
- if [ -z $value ]; then
- echo "Warning invalid value: $value"
- echo "Using ~ as value"
- value="~"
- fi
- create_launcher
- chmod 0755 mcu8051ide
- ;;
- -h | --help | --usage)
- print_help
- ;;
- *)
- echo "Unrecognized option: ${1}"
- ;;
- esac
- shift
-done