From 6f3c1eb91fdef0fe6692eb8e05c4aa5d9063a8d2 Mon Sep 17 00:00:00 2001
From: yann <yann@kali.home>
Date: Tue, 24 Mar 2020 11:10:31 +0100
Subject: [PATCH] Adding Debian/Kali support

---
 scripts/devenv.bash.debian | 75 ++++++++++++++++++++++++++++++++++++++
 ttcn/LibIts                |  2 +-
 2 files changed, 76 insertions(+), 1 deletion(-)
 create mode 100755 scripts/devenv.bash.debian

diff --git a/scripts/devenv.bash.debian b/scripts/devenv.bash.debian
new file mode 100755
index 000000000..c6a9aaa76
--- /dev/null
+++ b/scripts/devenv.bash.debian
@@ -0,0 +1,75 @@
+#!/bin/bash
+
+# Turn on debug mode
+#set -vx
+#set -e
+
+# Colors and Prompt
+#export PS1="\w\$ "
+#export PS1="\D{%Y-%m-%d %H:%M:%S} \w\n\$ "
+
+export EDITOR=emacs
+set -o emacs
+
+# Home working directories
+export HOME_FRAMEWORKS=${HOME}/frameworks
+export HOME_LIB=${HOME}/lib
+export HOME_BIN=${HOME}/bin
+export HOME_ETC=${HOME}/etc
+export HOME_TMP=${HOME}/tmp
+export HOME_DOCS=${HOME}/docs
+
+# Home common include directory
+export HOME_INC=${HOME}/include
+
+# Update PATH environment variable
+export PATH=${HOME_BIN}:${PATH}
+
+# Update LD_LIBRARY_PATH environment variable
+if [ -z "${LD_LIBRARY_PATH}" ]
+then
+    export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:${HOME}/dev/etsi_its/lib
+else 
+    export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:${HOME}/dev/etsi_its/lib:${LD_LIBRARY_PATH}
+fi
+
+
+# Add JAVA support
+#export JAVA_VERSION=1.8.0_92
+#export JAVA_JDK=jdk${JAVA_VERSION}
+#if [ -d "${HOME_FRAMEWORKS}/${JAVA_JDK}" ]
+#then
+#    export JAVA_HOME=${HOME_FRAMEWORKS}/${JAVA_JDK}/bin
+#else
+#    unset JAVA_VERSION
+#    unset JAVA_JDK
+#fi
+
+# Add TITAN support
+export TOP=${HOME_FRAMEWORKS}/titan/titan.core
+export TTCN3_DIR=${TOP}/Install
+if [ -d ${TTCN3_DIR} ]
+then
+    export TTCN3_BROWSER=mozilla
+    export PATH=${TTCN3_DIR}/bin:${PATH}
+    export LD_LIBRARY_PATH=${TTCN3_DIR}/lib:${LD_LIBRARY_PATH}
+    export MANPATH=${TTCN3_DIR}/man:${MANPATH}
+    export TTCN3_LICENSE_FILE=${TTCN3_DIR}/etc/license/license.dat
+    export PATH_DEV_TTCN=${HOME}/dev/ttcn3
+    # ITS support
+    export PATH_DEV_ITS=${HOME}/dev/etsi_its
+    # Emergency Communication support
+    export PATH_DEV_EMCOM=${HOME}/dev/etsi_emcom
+    # Mobile-Edge Computing support
+    export PATH_DEV_MEC=${HOME}/dev/etsi_mec
+    # Validation folder
+    export VALIDATION_DIR=${HOME}
+fi
+
+export BROWSER=netsurf
+
+export OPENSSL_DIR=/usr/local
+
+export LSAN_OPTIONS=verbosity=1:log_threads=1
+
+
diff --git a/ttcn/LibIts b/ttcn/LibIts
index 85cb2b6c7..63ccaf663 160000
--- a/ttcn/LibIts
+++ b/ttcn/LibIts
@@ -1 +1 @@
-Subproject commit 85cb2b6c78a91a7d1370036baa632d557c509ed4
+Subproject commit 63ccaf6630a5e2f37f949f23cdeee2cfdbbe0f48
-- 
GitLab