From 4bcc1e6a48bffc1c469e148dd26de216eaf11137 Mon Sep 17 00:00:00 2001 From: fwcd Date: Wed, 12 Apr 2023 16:57:08 +0200 Subject: [PATCH] Make sure that the 'bindists' directory is created --- scripts/make-bindist | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/make-bindist b/scripts/make-bindist index b2f10d2..888e79b 100755 --- a/scripts/make-bindist +++ b/scripts/make-bindist @@ -15,12 +15,14 @@ def main(): args = parser.parse_args() bin_dir = 'bin' + output = args.output print('==> Building...') subprocess.run(['stack', 'install', '--local-bin-path', bin_dir], check=True, cwd=ROOT_DIR) print('==> Archiving...') - with zipfile.ZipFile(args.output, mode='w') as zip: + output.parent.mkdir(parents=True, exist_ok=True) + with zipfile.ZipFile(output, mode='w') as zip: for f in [f'{bin_dir}/curry-language-server', 'LICENSE']: zip.write(ROOT_DIR / f, f)