Skip to content

Commit

Permalink
Make sure that the 'bindists' directory is created
Browse files Browse the repository at this point in the history
  • Loading branch information
fwcd committed Apr 12, 2023
1 parent 2c930a2 commit 4bcc1e6
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion scripts/make-bindist
Original file line number Diff line number Diff line change
Expand Up @@ -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)

Expand Down

0 comments on commit 4bcc1e6

Please sign in to comment.