Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

TryLean4Bundle: Windows Bundle Creator #6859

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

MohanadAhmed
Copy link
Collaborator

@MohanadAhmed MohanadAhmed commented Aug 29, 2023

TryLean4Bundle: Windows Bundle Creator

A Windows batch script and a CI yml file that create an self extracting archive. The user should

  1. just download the archive,
  2. double click the archive to expand
  3. double click the RunLean.bat script in the expanded archive.

The script currently downloads 7 dependencies into CI then unpacks them in the appropriate locations and finally packs them back.

To try a bundle created using these scripts but from a different repo see (https://github.com/MohanadAhmed/TryLean4Bundle/releases)


Open in Gitpod

@MohanadAhmed MohanadAhmed added the CI Modifies the continuous integration / deployment setup label Aug 29, 2023
@MohanadAhmed MohanadAhmed changed the title Windows Bundle Creator TryLean4Bundle: Windows Bundle Creator Aug 30, 2023
@MohanadAhmed MohanadAhmed added help-wanted The author needs attention to resolve issues WIP Work in progress labels Aug 30, 2023
@bors bors bot changed the base branch from master to ScottCarnahan/BinomialRing2 September 17, 2023 03:26
@semorrison semorrison changed the base branch from ScottCarnahan/BinomialRing2 to master September 17, 2023 12:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Modifies the continuous integration / deployment setup help-wanted The author needs attention to resolve issues WIP Work in progress
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant