Demo_PeekPoke_Linux/build-script.sh

@@ -96,7 +96,7 @@ cd "$CWD" && assert-builder-ocarina.py \
 	-o "$OUTPUTDIR" \
 	--subC function1:"$SKELS"/function1.zip \
 	--subC function2:"$SKELS"/function2.zip \
-	--subC taste_probe:/home/taste/tool-inst/share/components_library/peekpoke/taste_probe.zip \
+        --subC taste_probe:$(taste-config --prefix)/share/components_library/peekpoke/taste_probe.zip \
 	$ORCHESTRATOR_OPTIONS
 
 if [ -f user_init_last.sh ]

Demo_PeekPoke_Linux/user_init_pre.sh

-taste-update-data-view DataView.asn $(taste-config --prefix)/share/components_library/peekpoke/peekpoke_dataview.asn
-export USER_CFLAGS=-no-pie
-export USER_LDFLAGS=-no-pie
+cat InterfaceView.aadl.template | \
+   sed "s,/home/taste/tool-inst,$(taste-config --prefix),g" > \
+   InterfaceView.aadl