Commit 2f893970 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Due to the releng repo for Ellidiss, we just need to point the PATH to it.

parent 8be4eccf
......@@ -2,8 +2,6 @@
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
. ${DIR}/
# ELLIDISS?=/opt/Ellidiss-TASTE-linux
# taste-config
mkdir -p ${PREFIX}/bin
sed -e "s:INSTALL_PREFIX:${PREFIX}:g" >
......@@ -25,14 +23,7 @@ for i in DataView.aadl DataView.asn export_PeekPoke.aadl ; do \
cp peek-poke/component/$$i ${PREFIX}/share/peekpoke/component/$$i ; \
mkdir -p ${PREFIX}/share/config_ellidiss
cp ellidiss/*.tcl $(ELLIDISS)/config/externalTools
cp ellidiss/TASTE_IV_Properties.aadl ${PREFIX}/share/config_ellidiss
cp ellidiss/TASTE_DV_Properties.aadl ${PREFIX}/share/config_ellidiss
sudo cp ellidiss/IVConfig.ini /opt/Ellidiss-TASTE-linux/config/
mkdir -p ${PREFIX}/share/taste-types
cp taste-common-types/taste-types.asn ${PREFIX}/share/taste-types
cp -rf config-files/.kde ~/
cd git-transition/ && ./
ln -sf $(HOME)/.local/bin/opengeode ${PREFIX}/bin/opengeode
$(MAKE) -C qemu-Leon3 || exit 1
# Ellidiss - point the PATH to the repo
REAL_ELLIDISS=$(realpath "${DIR}/../ellidiss-GUI/TASTE-linux/bin")
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment