Skip to content

Commit

Permalink
update lean executable name
Browse files Browse the repository at this point in the history
  • Loading branch information
rjra2611 committed Jan 19, 2023
1 parent 8f751b5 commit 86e583d
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions scripts/main.spec
Original file line number Diff line number Diff line change
Expand Up @@ -44,12 +44,14 @@ a = Entrypoint('lean', 'console_scripts', 'lean')

pyz = PYZ(a.pure, a.zipped_data, cipher=block_cipher)

# update executable name to lean-cli as modules.json is expected to be inside lean/
# the portable directory can't have two files with name lean
exe = EXE(
pyz,
a.scripts,
[],
exclude_binaries=True,
name='lean',
name='lean-cli',
debug=False,
bootloader_ignore_signals=False,
strip=False,
Expand All @@ -69,5 +71,5 @@ coll = COLLECT(
strip=False,
upx=True,
upx_exclude=[],
name='lean',
name='lean-cli',
)

0 comments on commit 86e583d

Please sign in to comment.