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.

Sign up for GitHub

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

Jump to bottom

Changes for packaging KEVM on Arch/Ubuntu #614

Closed
wants to merge 24 commits into from
Closed

Changes for packaging KEVM on Arch/Ubuntu #614

wants to merge 24 commits into from

Commits on Jul 18, 2019

  1. PKGBUILD: recursively update submodules before building

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    6fa6501 View commit details
    Browse the repository at this point in the history

  2. PKGBUILD: correct makedepends

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    6a7e43c View commit details
    Browse the repository at this point in the history

  3. .gitignore, PKGBUILD: more self contained Arch packaging

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    2f7f8eb View commit details
    Browse the repository at this point in the history

  4. PKGBUILD: tabs => spaces

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    9aae93b View commit details
    Browse the repository at this point in the history

  5. PKGBUILD: setup CARGO_HOME and RUSTUP_HOME

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    b1383dc View commit details
    Browse the repository at this point in the history

  6. .gitignore: ignore files generated during packaging

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    6cab160 View commit details
    Browse the repository at this point in the history

  7. PKGBUILD: add fakeroot makedepends

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    2c6c3c1 View commit details
    Browse the repository at this point in the history

  8. PKGBUILD: use git source based install

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    a575bfc View commit details
    Browse the repository at this point in the history

  9. PKGBUILD, kframework-git.install: suffix with -git as VCS guide says

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    1e12e0e View commit details
    Browse the repository at this point in the history

  10. PKGBUILD: organize

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    e500308 View commit details
    Browse the repository at this point in the history

  11. debian/control: add pkg-config for building

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    b554f22 View commit details
    Browse the repository at this point in the history

  12. debian/rules: local CARGO_HOME and RUSTUP_HOME

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    4a74eef View commit details
    Browse the repository at this point in the history

  13. INSTALL.md: add packaging documentation

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    bc370ee View commit details
    Browse the repository at this point in the history

  14. debian/control: add llvm-8-tools to Build-Depends

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    c4d4eba View commit details
    Browse the repository at this point in the history

  15. PKGBUILD: user master branch for making package

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    b662aee View commit details
    Browse the repository at this point in the history

  16. PKGBUILD: do not do local CARGO/RUSTUP installs

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    43bdd3a View commit details
    Browse the repository at this point in the history

  17. debian/rules: do not do local install of CARGO/RUSTUP

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    576a65a View commit details
    Browse the repository at this point in the history

  18. debian/control: add haskell-stack dependency

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    78adf89 View commit details
    Browse the repository at this point in the history

  19. INSTALL: add installation instructions

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    b6021a5 View commit details
    Browse the repository at this point in the history

  20. debian/rules: correct default CARGO_HOME

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    587815f View commit details
    Browse the repository at this point in the history

  21. Dockerfile.debian: install haskell-stack and forcibly update it

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    39cd575 View commit details
    Browse the repository at this point in the history

  22. INSTALL: update instructions slightly

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    3f942e4 View commit details
    Browse the repository at this point in the history

  23. debian/rules: try without setting any environment up

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    867f379 View commit details
    Browse the repository at this point in the history

  24. debian/rules: KEVM build doesnt work without CARGO_HOME set

    @ehildenb
    ehildenb committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    9d54f11 View commit details
    Browse the repository at this point in the history