Pipdev

VERSION.txt

@@ -1 +1 @@
-0.1-02a5f8d9
+0.1-3040c41a

dev-tools/update_pipenv.sh

@@ -0,0 +1,30 @@
+#!/bin/bash
+# EMBArk - The firmware security scanning environment
+#
+# Copyright 2024 Siemens Energy AG
+#
+# EMBArk comes with ABSOLUTELY NO WARRANTY.
+#
+# EMBArk is licensed under MIT
+#
+# Author(s): Benedikt Kuehne
+
+# Description: Automates updating the pipfile
+
+# 1. find out which installation
+INSTALL=""
+
+INSTALL="deploy"
+
+if grep -q "EMBARK_INSTALL=dev" ./.env ; then
+  INSTALL="dev"
+fi
+
+# 2. update pipfile
+if [[ "${INSTALL}" == "dev" ]]; then
+  MYSQLCLIENT_LDFLAGS='-L/usr/mysql/lib -lmysqlclient -lssl -lcrypto -lresolv' MYSQLCLIENT_CFLAGS='-I/usr/include/mysql/' PIPENV_VENV_IN_PROJECT=1 pipenv update --dev
+else
+  echo "This is not a developer setup...still trying to update"
+  MYSQLCLIENT_LDFLAGS='-L/usr/mysql/lib -lmysqlclient -lssl -lcrypto -lresolv' MYSQLCLIENT_CFLAGS='-I/usr/include/mysql/' PIPENV_VENV_IN_PROJECT=1 pipenv update
+fi
+# push to web-dir if available

installer.sh

@@ -387,6 +387,7 @@ install_embark_default(){
 
   # write env-vars into ./.env
   write_env
+  echo "EMBARK_INSTALL=deploy" >> ./.env
 
   if [[ "${WSL}" -eq 1 ]]; then
     check_docker_wsl
@@ -468,6 +469,7 @@ install_embark_dev(){
 
   # write env-vars into ./.env
   write_env
+  echo "EMBARK_INSTALL=dev" >> ./.env
   chmod 644 .env
 
   # download images for container