From 9f49272b5a26543fac646ea7b4f1ce8c1097f874 Mon Sep 17 00:00:00 2001
From: Filippo Cremonese <filippocremonese@rev.ng>
Date: Fri, 9 Oct 2020 16:36:35 +0200
Subject: [PATCH] Link qtcreator as revng-ui
---
.orchestra/config/components/ui/cold_revng.lib.yml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/.orchestra/config/components/ui/cold_revng.lib.yml b/.orchestra/config/components/ui/cold_revng.lib.yml
index c73dc6b..c6db606 100644
--- a/.orchestra/config/components/ui/cold_revng.lib.yml
+++ b/.orchestra/config/components/ui/cold_revng.lib.yml
@@ -20,6 +20,8 @@ dependencies:
- ui/quickqanava
- ui/qt-creator
- autoupdater
+post_install_script: |
+ ln -s qtcreator "${TMP_ROOT}${ORCHESTRA_ROOT}/bin/revng-ui"
use_asan: false
#@ end
--
GitLab