From d62be60f044dbab3baf091fb7c99a834263acab0 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Fri, 3 Feb 2017 12:38:43 +0100
Subject: [PATCH] Make preinstall

---
 Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Makefile b/Makefile
index 3838681200..3639c3a8c6 100755
--- a/Makefile
+++ b/Makefile
@@ -411,6 +411,7 @@ define functionCommonPreinstall
 	mkdir -p $(1)/TTool/tmlcode
 	cp $(TTOOL_DOC)/README_tml $(1)/TTool/tmlcode
 #UPPAAL
+
 	mkdir -p $(1)/TTool/uppaal
 	cp $(TTOOL_DOC)/README_uppaal $(1)/TTool/uppaal
 # Proverif
@@ -451,6 +452,10 @@ endef
 
 preinstall_windows:
 	$(call functionCommonPreinstall,$(TTOOL_PREINSTALL_WINDOWS)/)
+#UPPAAL
+	cp $(TTOOL_PRIVATE)/stocks/uppaal.tar.gz $(TTOOL_PREINSTAL_WINDOWS)/
+	cd $(TTOOL_PREINSTALL_WINDOWS)/ && gunzip -f uppaal.tar.gz && tar -xof uppaal.tar && rm uppaal.tar
+#bin
 	cp $(TTOOL_DOC)/config_windows.xml $(TTOOL_PREINSTALL_WINDOWS)/TTool/bin/config.xml
 	cp $(TTOOL_DOC)/ttool_windows.bat $(TTOOL_PREINSTALL_WINDOWS)/ttool.bat
 # Make the tgz file
@@ -458,6 +463,10 @@ preinstall_windows:
 
 preinstall_macos:
 	$(call functionCommonPreinstall,$(TTOOL_PREINSTALL_MACOS)/)
+#UPPAAL
+	cp $(TTOOL_PRIVATE)/stocks/uppaal_macos.tar.gz $(TTOOL_PREINSTALL_MACOS)/
+	cd $(TTOOL_PREINSTALL_MACOS)/ && gunzip -f uppaal_macos.tar.gz && tar -xof uppaal_macos.tar && rm uppaal_macos.tar
+#bin
 	cp $(TTOOL_DOC)/config_macosx.xml $(TTOOL_PREINSTALL_MACOS)/TTool/bin/config.xml
 	cp $(TTOOL_DOC)/ttool4preinstalllinux.exe $(TTOOL_PREINSTALL_MACOS)/ttool.exe
 # Make the tgz file
@@ -466,6 +475,8 @@ preinstall_macos:
 preinstall_linux:
 # Common part
 	$(call functionCommonPreinstall,$(TTOOL_PREINSTALL_LINUX)/)
+	cp $(TTOOL_PRIVATE)/stocks/uppaal.tar.gz $(TTOOL_PREINSTALL_LINUX)/
+	cd $(TTOOL_PREINSTALL_LINUX)/ && gunzip -f uppaal.tar.gz && tar -xof uppaal.tar && rm uppaal.tar
 # Configuration and executable
 	cp $(TTOOL_DOC)/config_windows.xml $(TTOOL_PREINSTALL_LINUX)/TTool/bin/config.xml
 	cp $(TTOOL_DOC)/ttool4preinstalllinux.exe $(TTOOL_PREINSTALL_LINUX)/ttool.exe
-- 
GitLab