From 09255f2b996544dba373b4ee2895e8b0fe08dfcf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Adjemia=20=28Scylla=29?= <stepan@dynare.org>
Date: Mon, 17 Dec 2018 10:46:06 +0100
Subject: [PATCH] Fixed installation or update of x13 binary.
---
externals/x13/installx13.m | 9 +++++++++
externals/x13/updatex13.m | 4 ++++
2 files changed, 13 insertions(+)
diff --git a/externals/x13/installx13.m b/externals/x13/installx13.m
index 32e874b..d2a6817 100644
--- a/externals/x13/installx13.m
+++ b/externals/x13/installx13.m
@@ -26,12 +26,21 @@ if ~exist('x13.zip','file')
end
unzip('x13.zip');
if ismac()
+ if exist('./osx', 'dir')
+ rmdir('osx', 's')
+ end
mkdir osx;
movefile('binaries/osx/*','./osx');
elseif isunix()
+ if exist('./linux', 'dir')
+ rmdir('linux', 's')
+ end
mkdir linux;
movefile('binaries/linux/*','./linux');
elseif ispc()
+ if exist('./windows', 'dir')
+ rmdir('windows', 's')
+ end
mkdir windows;
movefile('binaries/windows/*','./windows');
else
diff --git a/externals/x13/updatex13.m b/externals/x13/updatex13.m
index d6f8f07..adf3126 100644
--- a/externals/x13/updatex13.m
+++ b/externals/x13/updatex13.m
@@ -22,4 +22,8 @@ if exist('x13.zip','file')
delete('x13.zip')
end
+if exist('./binaries', 'dir')
+ rmdir('binaries', 's');
+end
+
installx13();
\ No newline at end of file
--
GitLab